diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-01 16:06:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 16:06:58 -0400 |
| commit | e8002363e5d7764edf9a06ec0717f212ebbee26f (patch) | |
| tree | d26925f997a9ab94b4f6617cc73a96c8f2923e00 /src | |
| parent | cdc1211c43e9073a4d03472ffb549c67df281cea (diff) | |
Tested constraints through functors
Diffstat (limited to 'src')
| -rw-r--r-- | src/lacweb.grm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 84877eee..95e13c50 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -242,7 +242,7 @@ rcone : ([]) | 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)) |