changeset 31378 | d1cbf6393964 |
parent 29933 | 125d513d9e39 |
child 34306 | e8b8ee60c1e2 |
31377:a48f9ef9de15 | 31378:d1cbf6393964 |
---|---|
1 |
|
2 (* Author: Florian Haftmann, TU Muenchen *) |
|
3 |
|
4 header {* Pervasive test of code generator using pretty literals *} |
|
5 |
|
6 theory Codegenerator_Pretty_Test |
|
7 imports Codegenerator_Pretty |
|
8 begin |
|
9 |
|
10 export_code * in SML module_name CodegenTest |
|
11 in OCaml module_name CodegenTest file - |
|
12 in Haskell file - |
|
13 |
|
14 end |