| author | wenzelm |
| Tue, 24 Nov 2009 17:19:33 +0100 | |
| changeset 33889 | 4328de748fb2 |
| parent 33820 | 082d9bc6992d |
| child 34026 | 1e6206763036 |
| permissions | -rw-r--r-- |
| haftmann@30929 | 1 |
(* Title: Tools/Code_Generator.thy |
| haftmann@30929 | 2 |
Author: Florian Haftmann, TU Muenchen |
| haftmann@30929 | 3 |
*) |
| haftmann@30929 | 4 |
|
| haftmann@30929 | 5 |
header {* Loading the code generator modules *}
|
| haftmann@30929 | 6 |
|
| haftmann@30929 | 7 |
theory Code_Generator |
| wenzelm@33820 | 8 |
imports Pure |
| haftmann@30929 | 9 |
uses |
| wenzelm@33889 | 10 |
"~~/src/Tools/auto_solve.ML" |
| wenzelm@33820 | 11 |
"~~/src/Tools/auto_counterexample.ML" |
| wenzelm@33889 | 12 |
"~~/src/Tools/quickcheck.ML" |
| haftmann@30929 | 13 |
"~~/src/Tools/value.ML" |
| haftmann@31771 | 14 |
"~~/src/Tools/Code/code_preproc.ML" |
| haftmann@31771 | 15 |
"~~/src/Tools/Code/code_thingol.ML" |
| haftmann@31771 | 16 |
"~~/src/Tools/Code/code_printer.ML" |
| haftmann@31771 | 17 |
"~~/src/Tools/Code/code_target.ML" |
| haftmann@31771 | 18 |
"~~/src/Tools/Code/code_ml.ML" |
| haftmann@31771 | 19 |
"~~/src/Tools/Code/code_haskell.ML" |
| haftmann@30929 | 20 |
"~~/src/Tools/nbe.ML" |
| haftmann@30929 | 21 |
begin |
| haftmann@30929 | 22 |
|
| haftmann@30929 | 23 |
setup {*
|
| haftmann@31125 | 24 |
Code_Preproc.setup |
| haftmann@31125 | 25 |
#> Code_ML.setup |
| haftmann@30929 | 26 |
#> Code_Haskell.setup |
| haftmann@30929 | 27 |
#> Nbe.setup |
| haftmann@30929 | 28 |
*} |
| haftmann@30929 | 29 |
|
| blanchet@33552 | 30 |
end |