equal
deleted
inserted
replaced
7 theory Code_Generator |
7 theory Code_Generator |
8 imports Pure |
8 imports Pure |
9 uses |
9 uses |
10 "~~/src/Tools/value.ML" |
10 "~~/src/Tools/value.ML" |
11 "~~/src/Tools/quickcheck.ML" |
11 "~~/src/Tools/quickcheck.ML" |
12 "~~/src/Tools/code/code_wellsorted.ML" |
12 "~~/src/Tools/code/code_preproc.ML" |
13 "~~/src/Tools/code/code_thingol.ML" |
13 "~~/src/Tools/code/code_thingol.ML" |
14 "~~/src/Tools/code/code_printer.ML" |
14 "~~/src/Tools/code/code_printer.ML" |
15 "~~/src/Tools/code/code_target.ML" |
15 "~~/src/Tools/code/code_target.ML" |
16 "~~/src/Tools/code/code_ml.ML" |
16 "~~/src/Tools/code/code_ml.ML" |
17 "~~/src/Tools/code/code_haskell.ML" |
17 "~~/src/Tools/code/code_haskell.ML" |
18 "~~/src/Tools/nbe.ML" |
18 "~~/src/Tools/nbe.ML" |
19 begin |
19 begin |
20 |
20 |
21 setup {* |
21 setup {* |
22 Code_ML.setup |
22 Code_Preproc.setup |
|
23 #> Code_ML.setup |
23 #> Code_Haskell.setup |
24 #> Code_Haskell.setup |
24 #> Nbe.setup |
25 #> Nbe.setup |
25 *} |
26 *} |
26 |
27 |
27 end |
28 end |