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.
reoriented hook application order
authorhaftmann
Fri, 17 Aug 2007 13:58:59 +0200
changeset 24305 b1df9e31cda1
parent 24304 69d40a562ba4
child 24306 7798a0f37253
reoriented hook application order
src/HOL/Tools/datatype_hooks.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/typecopy_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_hooks.ML	Fri Aug 17 13:58:58 2007 +0200
+++ b/src/HOL/Tools/datatype_hooks.ML	Fri Aug 17 13:58:59 2007 +0200
@@ -30,6 +30,6 @@
   DatatypeHooksData.map (cons (serial (), hook));
 
 fun all dtcos thy =
-  fold (fn (_, f) => f dtcos) (DatatypeHooksData.get thy) thy;
+  fold_rev (fn (_, f) => f dtcos) (DatatypeHooksData.get thy) thy;
 
 end;
--- a/src/HOL/Tools/typecopy_package.ML	Fri Aug 17 13:58:58 2007 +0200
+++ b/src/HOL/Tools/typecopy_package.ML	Fri Aug 17 13:58:59 2007 +0200
@@ -78,7 +78,7 @@
   (TypecopyData.map o apsnd o cons) (serial (), hook);
 
 fun invoke_hooks tyco_info thy =
-  fold (fn (_, f) => f tyco_info) ((snd o TypecopyData.get) thy) thy;
+  fold_rev (fn (_, f) => f tyco_info) ((snd o TypecopyData.get) thy) thy;
 
 
 (* add a type copy *)
isabelle