Matt Walker

Can someone merge this change? I also did this.

I have added more tests. The second test in the checklist fails, and I'm not sure why. LH doesn't declare it unsafe, it seems to just issue an error, so...

I have tried many times to get this to work, but I can't seem to. I *thought* I was close at one point, but I can't seem to close the...

I have converted to a draft until I can wrap my head around this better, and will be working on other simpler issues.

## My Thoughts - `git` should be used to track historical data. - Zero monetary cost: just make a new open source project `liquidhaskell-timing-data`. - Exact correspondence with commits: commits...

cc @facundominguez

I was speaking with a colleague, and they brought up the possible complication of rebases with respect to the git workflow, but I think it's still workable with a little...

I think it has to do with the `IORef` that has been `unsafePerformIO`d that holds the global config, or `cmdargs` itself. When processing the config using ```haskell processPragmas :: Config...

I tried removing those lines and it still crashes, so I guess not?

tests/basic/pos/GADTFields02.hs currently fails with: ```text liquidhaskell > > **** LIQUID: UNSAFE ************************************************************ liquidhaskell > > liquidhaskell > > tests/basic/pos/GADTFields02.hs:21:1: error: liquidhaskell > > Liquid Type Mismatch liquidhaskell > > ....