author | haftmann |
Wed, 14 Jul 2010 16:02:50 +0200 | |
changeset 37825 | adc1143bc1a8 |
parent 37824 | 365e37fe93f3 |
child 40711 | 81bc73585eec |
permissions | -rw-r--r-- |
(* Author: Florian Haftmann, TU Muenchen *) header {* Pervasive test of code generator *} theory Generate imports Candidates begin subsection {* Check whether generated code compiles *} text {* If any of the checks fails, inspect the code generated by a corresponding @{text export_code} command. *} export_code "*" checking SML OCaml? Haskell? Scala? end