diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-03-09 17:50:42 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-09 17:50:42 -0500 |
| commit | 0d99de676efff76b49f4f6e1e6419d4a995f6400 (patch) | |
| tree | b7ccc2801d770e3641ccefff3f2bfd26b4591116 /lib/ur/mem.ur | |
| parent | cbda10a2d0c31f366d34e059d25751fa66c3b5e5 (diff) | |
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
Diffstat (limited to 'lib/ur/mem.ur')
| -rw-r--r-- | lib/ur/mem.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/mem.ur b/lib/ur/mem.ur index 7f66b3c2..85ccf988 100644 --- a/lib/ur/mem.ur +++ b/lib/ur/mem.ur @@ -34,5 +34,5 @@ fun fold [K] [tf :: ({K} -> Type)] [r ::: {K}] (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 |