plredmond

I've tried other variations (such as, eg. `length`, which is also typeclass method) but wasn't able to reproduce the crash

I'm building with nix, using a recent `nixos-20.03` package set with some overrides: * built-from-source * built-from-hackage It's possible that the crash I've found is related to an old version...

These are the build flags I'm using: ``` -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--exact-data -fplugin-opt=LiquidHaskell:--reflection -fplugin-opt=LiquidHaskell:--ple -fplugin-opt=LiquidHaskell:--no-adt -Wall -threaded -rtsopts -with-rtsopts=-N ```

I haven't kept the habit of adding these feature flags to my source-code, and instead put them all in the project config file. I'm glad you thought to ask!

I think it would be great if everything was auto-reflected :heavy_plus_sign: But.. Currently reflection has some bad interactions with module exports and hierarchies... Namely, your modules have to expose all...

My original branch passed CI/CD: https://github.com/plredmond/liquidhaskell/commit/e5af8eb2ab5bbb3c13bd99f66ff8ad6553a9beec. I'm looking at why this rebased branch doesn't pass.

Thanks for joining the demo meeting. In the PR description above, I've un-hidden the bit which describes the changes to LH at a high-level, and I've split the TODO list...

I tried adding `{-@ LIQUID "--no-class-check" @-}` to the file, but it did not resolve the issue. [Edit: `{-@ LIQUID "--skip-module" @-}` resolves it, but that has other implications.]

@lkuper hit this bug today because the tip of one of our development branches derives generic instances of data structures for serialization (https://github.com/lsd-ucsc/cbcast-lh/blob/964f6452612e8d4045210cd40f18af5d0a52dba9/lib/CBCAST.hs#L57-L59)

I've experienced a similar bug a couple of times recently, though it's very hard to reproduce and seems sometimes to relate to cached compilation files. Here are the situations that...