Replaced "raise RecError" by "primrec_err" in function
gen_primrec_i to prevent error message from being suppressed.
(* ID: $Id$
Author: Florian Haftmann, TU Muenchen
*)
header {* Tests and examples for code generator *}
theory Codegenerator
imports ExecutableContent
begin
code_gen "*" (SML) (Haskell) (OCaml)
code_gen (SML #) (Haskell -) (OCaml -)
end