liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Split

Contents

Description

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

Synopsis

Split Subtyping Constraints

Split Well-formedness Constraints

Split Strata Constraints

???

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

Panic

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

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