author | blanchet |
Tue, 31 Aug 2010 21:01:47 +0200 | |
changeset 38944 | 827c98e8ba8b |
parent 37825 | adc1143bc1a8 |
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