diff options
author | 2008-06-19 17:04:08 -0400 | |
---|---|---|
committer | 2008-06-19 17:04:08 -0400 | |
commit | 03ecfc6bbbff1492662930a708a1e9be685ef023 (patch) | |
tree | fb39f4aa097d27b272943f849bfb97eaa75b160f /src/lacweb.grm | |
parent | 9386a9382eda9bd19e99c80057398c593aaf812b (diff) |
Elaborating functor applications
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)) |