Mercurial > urweb

diff src/urweb.grm @ 712:915ec60592d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More flexible foreign keying
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 13:59:34 -0400
parents 7292bcb7c02d
children 0f42461273cf
line wrap: on
line diff
--- a/src/urweb.grm	Thu Apr 09 12:31:56 2009 -0400
+++ b/src/urweb.grm	Thu Apr 09 13:59:34 2009 -0400
@@ -523,6 +523,7 @@
                                                                val e = (ECApp (e, nm2), loc)
                                                                val e = (EDisjointApp e, loc)
                                                                val e = (EDisjointApp e, loc)
+                                                               val e = (EApp (e, (EWild, loc)), loc)
                                                            in
                                                                (EApp (e, mat), loc)
                                                            end)