Facundo Domínguez

@ranjitjhala, @nikivazou, there is no test depending on the code in [Bare.Elaborate](https://github.com/ucsd-progsys/liquidhaskell/blob/17bc8d8a41cd0c68df02255c4c502116f9adfdd1/liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Elaborate.hs) which this PR is removing. Section 3.2 of [Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell](https://www.cs.umd.edu/~mwh/papers/lh-typeclasses.pdf)...

I just noticed some related tests that used to run on GHCs earlier than 9. https://github.com/ucsd-progsys/liquidhaskell/blob/92c0a7eeb93045ace8a83df311c51287dee056fc/tests/tests.cabal#L2601

Thanks @0cjs. [Here's](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/unicode_syntax.html) the list of syntax symbols that GHC supports. Of these, perhaps only `->`, `::`, and `=>` are relevant to LH. It needs to be seen whether this...

The GHC parser would allow for more expressions than LH can handle. We would need to produce errors when the user uses unsupported syntax, produce good location info, and translate...

Hello @jvanbruegge. I'm guessing that this is a limitation of the termination checker indeed. Perhaps @nikivazou can comment on how difficult it would be to make it work. This alternative...

> The alternative also has a termination error. And it is a bug that Liquid Haskell does not report it. Right?

> So would it be possible for the LHB plugin to install a parsedResultAction hook instead of trying to get comments from the supposed original text source files? Maybe. I...

> I'm not sure what that saved file is for, but when testing locally, just removing the entire line doesn't seem to break anything, so maybe this could be controlled...

> Tangentially related, but the plugin also seems to create .smt2 files in the .liquid subdirectory. I think it would be fine to produce these only when `--save` is active,...

On the side of costs, we would need to make sure patches pass tests in both compiler versions. The hardest thing to support is probably going to be the move...