Mercurial > urweb

diff lib/ur/mem.ur @ 1182:0b1d666bddb4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 17:50:42 -0500
parents ac3dbbc85c6e
children
line wrap: on
line diff
--- a/lib/ur/mem.ur	Sat Mar 06 19:14:48 2010 -0500
+++ b/lib/ur/mem.ur	Tue Mar 09 17:50:42 2010 -0500
@@ -34,5 +34,5 @@
     (i : tf []) (fl : folder r) =
     @@Incl.fold [tf] [r]
       (fn [nm :: Name] [v :: K] [r' :: {K}] [[nm] ~ r'] (i : Incl.incl ([nm = v] ++ r') r) acc =>
-          f [nm] [v] [r'] ! (Incl.inv1 [nm] [r'] [r] [mem] i mem) acc)
+          f [nm] [v] [r'] ! (Incl.inv1 [nm] [v] [r'] [r] [mem] i mem) acc)
       i fl