| author | haftmann |
| Wed Sep 26 09:05:58 2007 +0200 (2007-09-26) | |
| changeset 24718 | 16b11ba36350 |
| parent 24432 | d555d941f983 |
| child 24810 | 862b71696efe |
| permissions | -rw-r--r-- |
| haftmann@19281 | 1 |
(* ID: $Id$ |
| haftmann@19281 | 2 |
Author: Florian Haftmann, TU Muenchen |
| haftmann@19281 | 3 |
*) |
| haftmann@19281 | 4 |
|
| haftmann@21877 | 5 |
header {* Tests and examples for code generator *}
|
| haftmann@19281 | 6 |
|
| haftmann@19281 | 7 |
theory Codegenerator |
| haftmann@21911 | 8 |
imports ExecutableContent |
| haftmann@19281 | 9 |
begin |
| haftmann@19281 | 10 |
|
| haftmann@24432 | 11 |
ML {* (*FIXME get rid of this*)
|
| haftmann@24430 | 12 |
nonfix union; |
| haftmann@24430 | 13 |
nonfix inter; |
| haftmann@24718 | 14 |
nonfix upto; |
| haftmann@24430 | 15 |
*} |
| haftmann@24430 | 16 |
|
| haftmann@24423 | 17 |
export_code * in SML module_name CodegenTest |
| haftmann@23811 | 18 |
in OCaml file - |
| haftmann@23811 | 19 |
in Haskell file - |
| haftmann@19281 | 20 |
|
| haftmann@24432 | 21 |
ML {*
|
| haftmann@24432 | 22 |
infix union; |
| haftmann@24432 | 23 |
infix inter; |
| haftmann@24718 | 24 |
infix 4 upto; |
| haftmann@24432 | 25 |
*} |
| haftmann@24432 | 26 |
|
| wenzelm@23266 | 27 |
end |