equal
deleted
inserted
replaced
|
1 (* Title: Tools/Code_Generator.thy |
|
2 Author: Florian Haftmann, TU Muenchen |
|
3 *) |
|
4 |
|
5 header {* Loading the code generator modules *} |
|
6 |
|
7 theory Code_Generator |
|
8 imports Pure |
|
9 uses |
|
10 "~~/src/Tools/value.ML" |
|
11 "~~/src/Tools/code/code_name.ML" |
|
12 "~~/src/Tools/code/code_wellsorted.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 |
|
20 |
|
21 setup {* |
|
22 Code_ML.setup |
|
23 #> Code_Haskell.setup |
|
24 #> Nbe.setup |
|
25 *} |
|
26 |
|
27 end |