author | haftmann |
Tue, 12 May 2009 19:30:33 +0200 | |
changeset 31125 | 80218ee73167 |
parent 31036 | 64ff53fc0c0c |
child 31771 | 2b04504fcb69 |
permissions | -rw-r--r-- |
1 (* Title: Tools/Code_Generator.thy
2 Author: Florian Haftmann, TU Muenchen
3 *)
5 header {* Loading the code generator modules *}
7 theory Code_Generator
8 imports Pure
9 uses
10 "~~/src/Tools/value.ML"
11 "~~/src/Tools/quickcheck.ML"
12 "~~/src/Tools/code/code_preproc.ML"
13 "~~/src/Tools/code/code_thingol.ML"
14 "~~/src/Tools/code/code_printer.ML"
15 "~~/src/Tools/code/code_target.ML"
16 "~~/src/Tools/code/code_ml.ML"
17 "~~/src/Tools/code/code_haskell.ML"
18 "~~/src/Tools/nbe.ML"
19 begin
21 setup {*
22 Code_Preproc.setup
23 #> Code_ML.setup
24 #> Code_Haskell.setup
25 #> Nbe.setup
26 *}
28 end