--- a/src/HOL/List.thy Wed Aug 30 12:28:39 2006 +0200
+++ b/src/HOL/List.thy Wed Aug 30 15:11:17 2006 +0200
@@ -2738,11 +2738,11 @@
val list_codegen_setup =
Codegen.add_codegen "list_codegen" list_codegen
#> Codegen.add_codegen "char_codegen" char_codegen
- #> CodegenPackage.add_pretty_list "ml" "Nil" "Cons"
+ #> CodegenPackage.add_pretty_list "ml" "List.list.Nil" "List.list.Cons"
print_list NONE (7, "::")
- #> CodegenPackage.add_pretty_list "haskell" "Nil" "Cons"
+ #> CodegenPackage.add_pretty_list "haskell" "List.list.Nil" "List.list.Cons"
print_list (SOME (print_char, print_string)) (5, ":")
- #> CodegenPackage.add_appconst_i
+ #> CodegenPackage.add_appconst
("List.char.Char", CodegenPackage.appgen_char dest_char);
end;