Skip to content

Latest commit

 

History

History
22 lines (15 loc) · 1.13 KB

TODO.EASY.md

File metadata and controls

22 lines (15 loc) · 1.13 KB
  • Verification of Libraries

  • fix parser error message

    • Parse Errors #241
    • Liquid Haskell doesn't accept Haskell names containing ' (single-quote) #273
    • Error messages #400
    • Add list of reserved tokens
  • Parse Propositional Variables in Refinements #338

  • Combine GHC and Liquid Type Aliases #381

  • Applying data type with wrong number of abstract refinement params could give better errors #297

  • Export qualifiers from measure types #302

  • systematically remove all error calls

NV: Not sure how easy this is, as it requires deep understanding of the code to distinguish dead code from our errors.