In my opinion, the most important benefit of multi-repl
is correctness and reliability. While HLS works reasonably well, no one can disagree that HLS crashes sometimes. Sometimes HLS reports lovely error messages such as Overlapping instances
and reports the same location twice. Sometimes HLS fails with interface file errors. The only way to fix these kinds of errors is restarting HLS, sometimes clearing out the caches.
Many of these hard-errors happen because the support for loading multiple components without cabalās multi-repl
feature (like a library, executable, test suites, sub-libraries, etcā¦) is simply a hack. A pretty good one, and it served us well for many years by now, but a hack nonetheless.
The multi-repl
feature will improve the correctness and reliability of HLS, once its infancy issues have been fixed.