Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Check that a value definition does not violate any consumption constraints.
Synopsis
- checkValDef :: (VName, [Pat ParamType], Exp, ResRetType, Maybe (TypeExp Info VName), SrcLoc) -> ((Exp, ResRetType), [TypeError])