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.
proper purge
authorhaftmann
Mon, 16 Nov 2009 10:16:40 +0100
changeset 33708 b45d3b8cc74e
parent 33704 6aeb8454efc1
child 33709 93a4a42603a7
proper purge
src/Pure/Isar/code.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/code.ML	Sun Nov 15 21:58:40 2009 +0100
+++ b/src/Pure/Isar/code.ML	Mon Nov 16 10:16:40 2009 +0100
@@ -268,7 +268,7 @@
    of SOME cs => invoke_purge_all thy (complete_class_params thy cs) (! data)
     | NONE => empty_data))) thy;
 
-val purge_data = (Code_Data.map o apsnd) (K (Unsynchronized.ref empty_data));
+val purge_data = (Code_Data.map o apsnd) (fn _ => Unsynchronized.ref empty_data);
 
 fun change_eqns delete c f = (map_exec_purge (SOME [c]) o map_eqns
   o (if delete then Symtab.map_entry c else Symtab.map_default (c, ((false, (true, [])), [])))
isabelle