Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified code
authorhaftmann
Sun, 11 Mar 2007 15:02:44 +0100
changeset 22435 16e6ddc30f92
parent 22434 081a62852313
child 22436 c9e384a956df
clarified code
src/HOL/Tools/datatype_codegen.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_codegen.ML	Sat Mar 10 16:31:55 2007 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML	Sun Mar 11 15:02:44 2007 +0100
@@ -525,8 +525,8 @@
 
 (* registering code types in code generator *)
 
-fun codetype_hook x =
-  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) x;
+fun codetype_hook dtspecs =
+  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) dtspecs;
 
 
 (* instrumentalizing the sort algebra *)
isabelle