Language.Haskell.Liquid.Constraint.Fresh

Documentation

refreshArgsTop :: (Var, SpecType) -> CG SpecType

freshTyType :: Bool -> KVKind -> CoreExpr -> Type -> CG SpecType

Generation: Freshness -----------------------------------------------------

Right now, we generate NO new pvars. Rather than clutter code with uRType calls, put it in one place where the above invariant is obviously enforced. Constraint generation should ONLY use freshTyType and freshTyExpr

freshTyExpr :: Bool -> KVKind -> CoreExpr -> Type -> CG SpecType

trueTy :: Bool -> Type -> CG SpecType

addKuts :: PPrint a => a -> SpecType -> CG ()

Orphan instances

Freshable CG Integer

This is all hardwiring stuff to CG ----------------------------------------

Methods

fresh :: CG Integer

true :: Bool -> Integer -> CG Integer

refresh :: Bool -> Integer -> CG Integer