Err package:liquidhaskell-boot
This module contains the *types* related creating Errors. It depends
only on Fixpoint and basic haskell libraries, and hence, should be
importable everywhere.
Cyclic Refined Type Alias Definitions
bad data type specification (?)
Non well sorted Qualifier
The refinement of a data constructor doesn't admit a refinement on the
return type that isn't deemd safe
refined datacon mismatches haskell datacon
constructors in refinement do not match original datatype
multiple alias with same name error
duplicate fields in same datacon
multiple definitions of the same instance measure
multiple definitions of the same measure
name resolves to multiple possible GHC vars
multiple specs for same binder error
GHC error: parsing or type checking
Haskell bad Measure error
hole dependencies form a cycle error