Skip to content

Latest commit

 

History

History
14 lines (8 loc) · 362 Bytes

TODO.md

File metadata and controls

14 lines (8 loc) · 362 Bytes

  1. Fix how Failure Error is rendered -- make it look like a TypeError.

  2. fail errors not showing up as build breakers?

/Users/rjhala/research/liquidhaskell-tutorial/src/Tutorial_02_Logic.lhs:36:10: error: Failure Error: Binder Tutorial_02_Logic.ax6 declared to fail is used by Tutorial_02_Logic.flogbert | 36 | {-@ fail ax6 @-} | ^