src/Tools/Code_Generator.thy
author wenzelm
Thu Sep 02 00:48:07 2010 +0200 (2010-09-02)
changeset 38980 af73cf0dc31f
parent 38970 53d1ee3d98b8
child 39323 ce5c6a8b0359
permissions -rw-r--r--
turned show_question_marks into proper configuration option;
show_question_marks only affects regular type/term pretty printing, not raw Term.string_of_vname;
tuned;
     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/cache_io.ML"
    11   "~~/src/Tools/auto_solve.ML"
    12   "~~/src/Tools/auto_counterexample.ML"
    13   "~~/src/Tools/quickcheck.ML"
    14   "~~/src/Tools/value.ML"
    15   "~~/src/Tools/Code/code_preproc.ML" 
    16   "~~/src/Tools/Code/code_thingol.ML"
    17   "~~/src/Tools/Code/code_simp.ML"
    18   "~~/src/Tools/Code/code_printer.ML"
    19   "~~/src/Tools/Code/code_target.ML"
    20   "~~/src/Tools/Code/code_namespace.ML"
    21   "~~/src/Tools/Code/code_ml.ML"
    22   "~~/src/Tools/Code/code_haskell.ML"
    23   "~~/src/Tools/Code/code_scala.ML"
    24   "~~/src/Tools/Code/code_eval.ML"
    25   "~~/src/Tools/nbe.ML"
    26 begin
    27 
    28 setup {*
    29   Code_Preproc.setup
    30   #> Code_Simp.setup
    31   #> Code_ML.setup
    32   #> Code_Haskell.setup
    33   #> Code_Scala.setup
    34   #> Code_Eval.setup
    35   #> Nbe.setup
    36   #> Quickcheck.setup
    37 *}
    38 
    39 end