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