Mercurial > urweb

diff src/lacweb.grm @ 89:d3ee072fa609

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tested constraints through functors
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 16:06:58 -0400
parents 7bab29834cd6
children 4327abd52997
line wrap: on
line diff
--- a/src/lacweb.grm	Tue Jul 01 15:58:02 2008 -0400
+++ b/src/lacweb.grm	Tue Jul 01 16:06:58 2008 -0400
@@ -242,7 +242,7 @@
        | ident COLON cexp COMMA rcone   ((ident, cexp) :: rcone)
 
 ident  : CSYMBOL                        (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
-       | SYMBOL                         (CVar ([], SYMBOL), s (SYMBOLleft, SYMBOLright))
+       | path                           (CVar path, s (pathleft, pathright))
 
 eapps  : eterm                          (eterm)
        | eapps eterm                    (EApp (eapps, eterm), s (eappsleft, etermright))