Mercurial > urweb

diff lib/ur/listPair.ur @ 826:78504d97410b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix EDLet elab_util bug
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 12:40:55 -0400
parents 5f49a6b759cb
children 74a1e3bdf430
line wrap: on
line diff
--- a/lib/ur/listPair.ur	Thu May 28 12:07:05 2009 -0400
+++ b/lib/ur/listPair.ur	Thu May 28 12:40:55 2009 -0400
@@ -1,4 +1,4 @@
-fun mapX (a ::: Type) (b ::: Type) (ctx ::: {Unit}) f =
+fun mapX [a] [b] [ctx ::: {Unit}] f =
     let
         fun mapX' ls1 ls2 =
             case (ls1, ls2) of