diff options
Diffstat (limited to 'src/lacweb.grm')
| -rw-r--r-- | src/lacweb.grm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index e917396c..85a58eb8 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -154,6 +154,7 @@ str : STRUCT decls END (StrConst decls, s (STRUCTleft, ENDright (StrFun (CSYMBOL, sgn, NONE, str), s (FUNCTORleft, strright)) | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn DARROW str (StrFun (CSYMBOL, sgn1, SOME sgn2, str), s (FUNCTORleft, strright)) + | spath LPAREN str RPAREN (StrApp (spath, str), s (spathleft, RPARENright)) spath : CSYMBOL (StrVar CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) | spath DOT CSYMBOL (StrProj (spath, CSYMBOL), s (spathleft, CSYMBOLright)) |