--- a/src/HOL/List.thy Thu Jan 19 15:45:10 2006 +0100
+++ b/src/HOL/List.thy Thu Jan 19 21:22:08 2006 +0100
@@ -2652,14 +2652,12 @@
in
-val list_codegen_setup = [
- Codegen.add_codegen "list_codegen" list_codegen,
- Codegen.add_codegen "char_codegen" char_codegen,
+val list_codegen_setup =
+ Codegen.add_codegen "list_codegen" list_codegen #>
+ Codegen.add_codegen "char_codegen" char_codegen #>
fold (CodegenPackage.add_pretty_list "Nil" "Cons") [
("ml", (7, "::")),
- ("haskell", (5, ":"))
- ]
-];
+ ("haskell", (5, ":"))];
end;
*}
@@ -2705,6 +2703,6 @@
setup list_codegen_setup
-setup "[CodegenPackage.rename_inconsistent]"
+setup CodegenPackage.rename_inconsistent
end