curry-base-0.4.2: Functions for manipulating Curry programs

Copyright(c) 2009, Holger Siegel
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilitynon-portable (DoRec)
Safe HaskellNone
LanguageHaskell2010

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

Synopsis

Documentation

unMutualProg :: Prog -> Prog Source #

Convert mutually recursive declarations into a single recursive declaration using tuples.