Mercurial > urweb

comparison src/lacweb.grm @ 44:a9f3ce2d1b9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating functor applications
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 17:04:08 -0400
parents b3fbbc6cb1e5
children 0a5c312de09a
comparison
equal deleted inserted replaced
43:d94c484337d0 44:a9f3ce2d1b9b
152 | spath (spath) 152 | spath (spath)
153 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN DARROW str 153 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN DARROW str
154 (StrFun (CSYMBOL, sgn, NONE, str), s (FUNCTORleft, strright)) 154 (StrFun (CSYMBOL, sgn, NONE, str), s (FUNCTORleft, strright))
155 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn DARROW str 155 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn DARROW str
156 (StrFun (CSYMBOL, sgn1, SOME sgn2, str), s (FUNCTORleft, strright)) 156 (StrFun (CSYMBOL, sgn1, SOME sgn2, str), s (FUNCTORleft, strright))
157 | spath LPAREN str RPAREN (StrApp (spath, str), s (spathleft, RPARENright))
157 158
158 spath : CSYMBOL (StrVar CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) 159 spath : CSYMBOL (StrVar CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
159 | spath DOT CSYMBOL (StrProj (spath, CSYMBOL), s (spathleft, CSYMBOLright)) 160 | spath DOT CSYMBOL (StrProj (spath, CSYMBOL), s (spathleft, CSYMBOLright))
160 161
161 kind : TYPE (KType, s (TYPEleft, TYPEright)) 162 kind : TYPE (KType, s (TYPEleft, TYPEright))