Module "Flat2Fcy.curry"

Translation of old FlatCurry format into new one.

Author: Michael Hanus

Version: August 2005


 Exported names:

Functions:
flc2fcy | writeFCY


 Summary of exported functions:

writeFCY  :: String -> Prog -> IO ()  deterministic 
          Writes a FlatCurry program (old format) into a file in .fcy format.
flc2fcy  :: Prog -> Prog  deterministic flexible
          Converts old FlatCurry format into new one.

 Imported modules:

Flat
FlatCurry
Prelude
ReadShowTerm

 Exported datatypes:


 Exported functions:

writeFCY :: String -> Prog -> IO ()  deterministic 

Writes a FlatCurry program (old format) into a file in .fcy format.


flc2fcy :: Prog -> Prog  deterministic flexible

Converts old FlatCurry format into new one.



Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Jun 16 17:29:12 2009