From 03ecfc6bbbff1492662930a708a1e9be685ef023 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 19 Jun 2008 17:04:08 -0400 Subject: Elaborating functor applications --- src/lacweb.grm | 1 + 1 file changed, 1 insertion(+) (limited to 'src/lacweb.grm') 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)) -- cgit v1.2.3