src/Tools/code/code_haskell.ML
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name; renamed NameSpace.map_base to NameSpace.map_base_name; eliminated alias Sign.base_name = NameSpace.base_name;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2009-02-17 haftmann 2009-02-17 unified variable names in case expressions; no exponential fork in translation of case expressions
2009-02-07 haftmann 2009-02-07 check for destination directory, do not allocate it gratuitously
2009-02-03 haftmann 2009-02-03 added stub about datatype abstraction
2009-02-02 haftmann 2009-02-02 avoid name clash of generated modules and includes
2008-12-17 haftmann 2008-12-17 GHC ext pragma in generated Haskell modules
2008-10-29 haftmann 2008-10-29 explicit check for pattern discipline before code translation
2008-10-24 haftmann 2008-10-24 simplified syntax for class parameters
2008-10-22 haftmann 2008-10-22 code identifier namings are no longer imperative
2008-09-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-09-06 haftmann 2008-09-06 dropped "run" marker in monad syntax
2008-09-01 haftmann 2008-09-01 restructured code generation of literals
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module