Language.Haskell.Liquid.Constraint.Split

Constraint Splitting ------------------------------------------------------

Split Subtyping Constraints

splitC :: SubC -> CG [FixSubC]

Split Well-formedness Constraints

splitW :: WfC -> CG [FixWfC]

???

envToSub :: [(a, b)] -> ([(a, b)], b, b)

Panic

panicUnbound :: PPrint x => CGEnv -> x -> a

Constraint Generation Panic -----------------------------------------------