Mercurial > meta

diff record.ur @ 18:6cd839818393

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust to name change for [Top.id]
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 14:15:02 -0500
parents a6730c3cfea7
children f55f66c6fdee
line wrap: on
line diff
--- a/record.ur	Thu Dec 29 10:10:50 2011 -0500
+++ b/record.ur	Thu Dec 29 14:15:02 2011 -0500
@@ -8,7 +8,7 @@
      False fl r
 
 fun equal [ts ::: {Type}] (eqs : $(map eq ts)) (fl : folder ts) (r1 : $ts) (r2 : $ts) : bool =
-    @foldR3 [eq] [id] [id] [fn _ => bool]
+    @foldR3 [eq] [ident] [ident] [fn _ => bool]
      (fn [nm ::_] [t ::_] [r ::_] [[nm] ~ r] isEq x y acc =>
          acc && @eq isEq x y)
      True fl eqs r1 r2