comparison src/urweb.grm @ 1076:dcf98ae3c48d

Allow same constructor shorthand for 'view' sig items as for 'table'
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 11:11:49 -0500
parents 0657e5adc938
children 8d3aa6c7cee0
comparison
equal deleted inserted replaced
1075:0657e5adc938 1076:dcf98ae3c48d
701 (SgiVal (SYMBOL, t), loc) 701 (SgiVal (SYMBOL, t), loc)
702 end) 702 end)
703 | VIEW SYMBOL COLON cexp (let 703 | VIEW SYMBOL COLON cexp (let
704 val loc = s (VIEWleft, cexpright) 704 val loc = s (VIEWleft, cexpright)
705 val t = (CVar (["Basis"], "sql_view"), loc) 705 val t = (CVar (["Basis"], "sql_view"), loc)
706 val t = (CApp (t, cexp), loc) 706 val t = (CApp (t, entable cexp), loc)
707 in 707 in
708 (SgiVal (SYMBOL, t), loc) 708 (SgiVal (SYMBOL, t), loc)
709 end) 709 end)
710 | CLASS SYMBOL (let 710 | CLASS SYMBOL (let
711 val loc = s (CLASSleft, SYMBOLright) 711 val loc = s (CLASSleft, SYMBOLright)