Namen (II)

Der Typ des CPS-Transformators ist dann:

transform' :: Exp -> State [ String ] Exp
transform' x = case x of 
    ...
Schnittstelle nach außen:
transform :: Exp -> Exp
transform = 
   evalState ( transform' x ) ( unused x )



Johannes Waldmann 2011-01-23