liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Types.Literals

Synopsis

Documentation

literalConst :: TCEmb TyCon -> Literal -> (Sort, Maybe Expr) Source #

literalConst returns Nothing for unhandled lits because otherwise string-literals show up as global int-constants which blow up qualifier instantiation.