changeset 24249 | 1f60b45c5f97 |
parent 24195 | 7d1a16c77f7c |
child 24348 | c708ea5b109a |
24248:d276e4b53d6b | 24249:1f60b45c5f97 |
---|---|
6 |
6 |
7 theory Codegenerator |
7 theory Codegenerator |
8 imports ExecutableContent |
8 imports ExecutableContent |
9 begin |
9 begin |
10 |
10 |
11 code_gen "*" in SML to CodegenTest |
11 code_gen "*" in SML module_name CodegenTest |
12 in OCaml file - |
12 in OCaml file - |
13 in Haskell file - |
13 in Haskell file - |
14 |
14 |
15 end |
15 end |