src/Pure/Tools/codegen_package.ML

     gens = merge_gens (gens1, gens2),
     logic_data = merge_logic_data (logic_data1, logic_data2),
     target_data = Symtab.join (K (merge_target_data #> SOME))
       (target_data1, target_data2)
   };
-  fun print thy _ = writeln "sorry, this stuff is too complicated...";
+  fun print _ _ = ();
 end);
+
+val _ = Context.add_setup CodegenData.init;
 
 fun map_codegen_data f thy =
   case CodegenData.get thy
    of { modl, gens, target_data, logic_data } =>
       let val (modl, gens, target_data, logic_data) =

   primclassP, primtycoP, primconstP, syntax_tycoP, syntax_constP];
 val _ = OuterSyntax.add_keywords ["\\<Rightarrow>", "=>", constantsK, dependingK];
 
 
 
-(** setup **)
-
-val _ = Context.add_setup [
-  CodegenData.init,
-(*   add_appconst_i ("op =", ((2, 2), appgen_eq)),  *)
-  add_eqextr ("defs", eqextr_defs),
-  add_defgen ("clsdecl", defgen_clsdecl),
-  add_defgen ("funs", defgen_funs),
-  add_defgen ("clsmem", defgen_clsmem),
-  add_defgen ("datatypecons", defgen_datatypecons)(*,
-  add_defgen ("clsinst", defgen_clsinst)  *)
-];
+(** theory setup **)
+
+val _ = Context.add_setup
+ (add_eqextr ("defs", eqextr_defs) #>
+  add_defgen ("clsdecl", defgen_clsdecl) #>
+  add_defgen ("funs", defgen_funs) #>
+  add_defgen ("clsmem", defgen_clsmem) #>
+  add_defgen ("datatypecons", defgen_datatypecons));
+
+(*   add_appconst_i ("op =", ((2, 2), appgen_eq))  *)
+(*   add_defgen ("clsinst", defgen_clsinst)  *)
 
 end; (* local *)
 
 end; (* struct *)