Copyright | (c) 2009, Holger Siegel |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | non-portable (DoRec) |
Safe Haskell | None |
Language | Haskell2010 |
Curry.ExtendedFlat.UnMutual
Description
Turns mutually recursive declarations into a single recursive declaration, of a tuple value, trying to minimize the number of the tuple. This is an implementation of the algorithm described in http://www.informatik.uni-kiel.de/~mh/lehre/diplomarbeiten/siegel.pdf
- unMutualProg :: Prog -> Prog
Documentation
unMutualProg :: Prog -> Prog Source #
Convert mutually recursive declarations into a single recursive declaration using tuples.