From a461a7ac0a6f9452a46b96182085a4f5e2fe5e6e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 15 Dec 2009 11:11:49 -0500 Subject: Allow same constructor shorthand for 'view' sig items as for 'table' --- src/urweb.grm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/urweb.grm b/src/urweb.grm index afe7be07..00c39b52 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -703,7 +703,7 @@ sgi : CON SYMBOL DCOLON kind ((SgiConAbs (SYMBOL, kind), s (CONleft, | VIEW SYMBOL COLON cexp (let val loc = s (VIEWleft, cexpright) val t = (CVar (["Basis"], "sql_view"), loc) - val t = (CApp (t, cexp), loc) + val t = (CApp (t, entable cexp), loc) in (SgiVal (SYMBOL, t), loc) end) -- cgit v1.2.3