Mercurial > urweb

comparison src/lacweb.grm @ 15:1e645beb3f3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implicit constructor arguments
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 13:00:12 -0400
parents f1c36df29ed7
children 9a578171de9e
comparison
equal deleted inserted replaced
14:f1c36df29ed7 15:1e645beb3f3b
106 capps : cterm (cterm) 106 capps : cterm (cterm)
107 | capps cterm (CApp (capps, cterm), s (cappsleft, ctermright)) 107 | capps cterm (CApp (capps, cterm), s (cappsleft, ctermright))
108 108
109 cexp : capps (capps) 109 cexp : capps (capps)
110 | cexp ARROW cexp (TFun (cexp1, cexp2), s (cexp1left, cexp2right)) 110 | cexp ARROW cexp (TFun (cexp1, cexp2), s (cexp1left, cexp2right))
111 | SYMBOL kcolon kind ARROW cexp (TCFun (kcolon, SYMBOL, kind, cexp), s (SYMBOLleft, cexpright)) 111 | SYMBOL kcolon kind ARROW cexp (TCFun (kcolon, SYMBOL, kind, cexp), s (SYMBOLleft, cexpright))
112 112
113 | cexp PLUSPLUS cexp (CConcat (cexp1, cexp2), s (cexp1left, cexp1right)) 113 | cexp PLUSPLUS cexp (CConcat (cexp1, cexp2), s (cexp1left, cexp1right))
114 114
115 | FN SYMBOL DCOLON kind DARROW cexp (CAbs (SYMBOL, kind, cexp), s (FNleft, cexpright)) 115 | FN SYMBOL DCOLON kind DARROW cexp (CAbs (SYMBOL, kind, cexp), s (FNleft, cexpright))
116 116