Mercurial > urweb
diff src/lacweb.grm @ 15:1e645beb3f3b
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))