curry-base-0.4.2: Functions for manipulating Curry programs

Safe HaskellNone
LanguageHaskell2010

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.

Synopsis

Documentation

eraseTypes :: Prog -> Prog Source #

Erase type annotations