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.
eliminated old fold;
authorwenzelm
Mon, 15 Feb 2010 18:50:16 +0100
changeset 35131 7e24282f2dd7
parent 35130 0991c84e8dcf
child 35132 d137efecf793
eliminated old fold;
src/HOL/Tools/record.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/record.ML	Mon Feb 15 18:03:42 2010 +0100
+++ b/src/HOL/Tools/record.ML	Mon Feb 15 18:50:16 2010 +0100
@@ -674,7 +674,7 @@
 
 
 fun record_update_tr [t, u] =
-      Library.foldr (op $) (rev (gen_fields_tr "_updates" "_update" updateN u), t)
+      fold (curry op $) (gen_fields_tr "_updates" "_update" updateN u) t
   | record_update_tr ts = raise TERM ("record_update_tr", ts);
 
 fun update_name_tr (Free (x, T) :: ts) = Free (suffix updateN x, T) $$ ts
isabelle