prefer code_inline over code_unfold; use code_unfold_post where appropriate
(* Author: Florian Haftmann, TU Muenchen *)header {* Pervasive test of code generator using pretty literals *}theory Codegenerator_Pretty_Testimports Codegenerator_Prettybeginexport_code * in SML module_name CodegenTest in OCaml module_name CodegenTest file - in Haskell file -end