Stop deferring type errors

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

https://ucsd-progsys.github.io/liquidhaskell-tutorial/

MIT License

74 stars 27 forks source link

Stop deferring type errors #120

Closed matthew-healy closed 1 year ago

matthew-healy commented 2 years ago

Previously the argument -fdefer-type-errors was passed to GHC. This could result in confusing errors when, for example, typos are included in source code, as GHC wouldn't catch the error, so LH would fail to compile with confusing error messages.

Merging this will fix #119.

ranjitjhala commented 1 year ago

thanks @matthew-healy !! Sorry to have missed this!