diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:51:39 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:51:39 -0500 |
commit | 554a00c1e5a61d1a2a2767eb091777fbc2a7b811 (patch) | |
tree | 81376d4bac8a1ba684cd5911ed44b86309b87d3b /src/lacweb.grm | |
parent | 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 (diff) |
Add type keyword
Diffstat (limited to 'src/lacweb.grm')
-rw-r--r-- | src/lacweb.grm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 7384dbf8..5d88c3ad 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -39,7 +39,8 @@ val s = ErrorMsg.spanOf | SYMBOL of string | CSYMBOL of string | LPAREN | RPAREN | LBRACK | RBRACK | LBRACE | RBRACE | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH - | CON | TYPE | NAME + | CON | LTYPE + | TYPE | NAME | ARROW | LARROW | DARROW | FN | PLUSPLUS | DOLLAR @@ -85,6 +86,8 @@ decls : ([]) decl : CON SYMBOL EQ cexp (DCon (SYMBOL, NONE, cexp), s (CONleft, cexpright)) | CON SYMBOL DCOLON kind EQ cexp (DCon (SYMBOL, SOME kind, cexp), s (CONleft, cexpright)) + | LTYPE SYMBOL EQ cexp (DCon (SYMBOL, SOME (KType, s (LTYPEleft, cexpright)), cexp), + s (LTYPEleft, cexpright)) kind : TYPE (KType, s (TYPEleft, TYPEright)) | NAME (KName, s (NAMEleft, NAMEright)) |