Mercurial > urweb

diff src/lacweb.grm @ 15:1e645beb3f3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implicit constructor arguments
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 13:00:12 -0400
parents f1c36df29ed7
children 9a578171de9e
line wrap: on
line diff
--- a/src/lacweb.grm	Sun Jun 08 12:27:08 2008 -0400
+++ b/src/lacweb.grm	Sun Jun 08 13:00:12 2008 -0400
@@ -108,7 +108,7 @@
 
 cexp   : capps                          (capps)
        | cexp ARROW cexp                (TFun (cexp1, cexp2), s (cexp1left, cexp2right))
-       | SYMBOL kcolon kind ARROW cexp (TCFun (kcolon, SYMBOL, kind, cexp), s (SYMBOLleft, cexpright))
+       | SYMBOL kcolon kind ARROW cexp  (TCFun (kcolon, SYMBOL, kind, cexp), s (SYMBOLleft, cexpright))
 
        | cexp PLUSPLUS cexp             (CConcat (cexp1, cexp2), s (cexp1left, cexp1right))