Safe Haskell | None |
---|---|
Language | Haskell2010 |
Curry.ExtendedFlat.EraseTypes
Description
Erases type annotations in an ExtendedFlat module. In functions, it preserves annotations that contain free type variables, i.e. type variables which do not occur in the function's type signature.
In the remaining type annotations, free type variables are replaced by the unit type ().
(c) 2009, Holger Siegel.
- eraseTypes :: Prog -> Prog
Documentation
eraseTypes :: Prog -> Prog Source #
Erase type annotations