liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Bare.Plugged

Synopsis

Documentation

makePluggedSig :: Bool -> ModName -> TCEmb TyCon -> TyConMap -> HashSet StableName -> PlugTV Var -> LocSpecType -> LocSpecType Source #

NOTE: Be *very* careful with the use functions from RType -> GHC.Type, e.g. toType, in this module as they cannot handle LH type holes. Since this module is responsible for plugging the holes we obviously cannot assume, as in e.g. L.H.L.Constraint.* that they do not appear.