author | haftmann |
Wed, 13 Jan 2010 08:56:16 +0100 | |
changeset 34887 | 31209fb24176 |
parent 34306 | e8b8ee60c1e2 |
child 37475 | 98c6f9dc58d0 |
permissions | -rw-r--r-- |
31378 | 1 |
|
2 |
(* Author: Florian Haftmann, TU Muenchen *) |
|
24195 | 3 |
|
31378 | 4 |
header {* Pervasive test of code generator using pretty literals *} |
24195 | 5 |
|
31378 | 6 |
theory Codegenerator_Pretty_Test |
7 |
imports Codegenerator_Pretty |
|
24195 | 8 |
begin |
9 |
||
25963 | 10 |
export_code * in SML module_name CodegenTest |
11 |
in OCaml module_name CodegenTest file - |
|
12 |
in Haskell file - |
|
34887
31209fb24176
deactivate pretty code test for Scala -- no proper setup yet
haftmann
parents:
34306
diff
changeset
|
13 |
(*in Scala file -*) |
25616 | 14 |
|
24195 | 15 |
end |