author | haftmann |
Wed, 26 Sep 2007 09:05:58 +0200 | |
changeset 24718 | 16b11ba36350 |
parent 24432 | d555d941f983 |
child 24810 | 862b71696efe |
permissions | -rw-r--r-- |
(* ID: $Id$ Author: Florian Haftmann, TU Muenchen *) header {* Tests and examples for code generator *} theory Codegenerator imports ExecutableContent begin ML {* (*FIXME get rid of this*) nonfix union; nonfix inter; nonfix upto; *} export_code * in SML module_name CodegenTest in OCaml file - in Haskell file - ML {* infix union; infix inter; infix 4 upto; *} end