src/HOL/ex/Codegenerator.thy
author haftmann
Wed Dec 27 19:10:00 2006 +0100 (2006-12-27)
changeset 21911 e29bcab0c81c
parent 21898 46be40d304d7
child 21922 76e1fce071aa
permissions -rw-r--r--
added OCaml code generation (without dictionaries)
     1 (*  ID:         $Id$
     2     Author:     Florian Haftmann, TU Muenchen
     3 *)
     4 
     5 header {* Tests and examples for code generator *}
     6 
     7 theory Codegenerator
     8 imports ExecutableContent
     9 begin
    10 
    11 code_gen "*" (SML #) (Haskell -)
    12 
    13 ML {* set Toplevel.debug *}
    14 code_gen (OCaml "~/projects/codegen/test/OCaml/ROOT.ocaml")
    15 
    16 code_gen "*"(OCaml "~/projects/codegen/test/OCaml/ROOT.ocaml")
    17 
    18 end