comparison src/urweb.grm @ 300:cde1ec47f3af

Elaborated 'update'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:51:07 -0400
parents 5f6a60b7ab00
children bc89dfdbc495
comparison
equal deleted inserted replaced
299:5f6a60b7ab00 300:cde1ec47f3af
724 | XML_BEGIN xml XML_END (xml) 724 | XML_BEGIN xml XML_END (xml)
725 | XML_BEGIN XML_END (EApp ((EVar (["Basis"], "cdata"), s (XML_BEGINleft, XML_ENDright)), 725 | XML_BEGIN XML_END (EApp ((EVar (["Basis"], "cdata"), s (XML_BEGINleft, XML_ENDright)),
726 (EPrim (Prim.String ""), s (XML_BEGINleft, XML_ENDright))), 726 (EPrim (Prim.String ""), s (XML_BEGINleft, XML_ENDright))),
727 s (XML_BEGINleft, XML_ENDright)) 727 s (XML_BEGINleft, XML_ENDright))
728 | LPAREN query RPAREN (query) 728 | LPAREN query RPAREN (query)
729 | LPAREN CWHERE sqlexp RPAREN (sqlexp)
729 | UNDER (EWild, s (UNDERleft, UNDERright)) 730 | UNDER (EWild, s (UNDERleft, UNDERright))
730 731
731 idents : ident ([ident]) 732 idents : ident ([ident])
732 | ident DOT idents (ident :: idents) 733 | ident DOT idents (ident :: idents)
733 734