diff options
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 |