Safe Haskell | None |
---|---|
Language | Haskell2010 |
Inserts an additional lambda into all coinductive auxiliary definitions (== target type Inf XX). E.g.:
f : A -> B -> C -> Inf A f = a b c -> body is converted to f = a b c _ -> body
Assumes that flat/sharp are implemented as follows:
flat = x -> x sharp = x -> x ()