Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Split
Contents
Description
Constraint Splitting ------------------------------------------------------
Split Subtyping Constraints
Split Well-formedness Constraints
Split Strata Constraints
???
Panic
panicUnbound :: PPrint x => CGEnv -> x -> a Source #
Constraint Generation Panic -----------------------------------------------