| author | boehmes |
| Thu, 10 Dec 2009 18:10:59 +0100 | |
| changeset 34052 | b2e6245fb3da |
| parent 31378 | d1cbf6393964 |
| child 34306 | e8b8ee60c1e2 |
| 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 - |
|
| 25616 | 13 |
|
| 24195 | 14 |
end |