Mercurial > urweb
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) |