From f181919900b537dca8d42760c4131da446a7e00d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 9 Apr 2009 13:59:34 -0400 Subject: More flexible foreign keying --- src/urweb.grm | 1 + 1 file changed, 1 insertion(+) (limited to 'src/urweb.grm') diff --git a/src/urweb.grm b/src/urweb.grm index 16a77150..50fb6cb3 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -523,6 +523,7 @@ cst : UNIQUE tnames (let 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) -- cgit v1.2.3