diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-26 12:25:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-26 12:25:06 -0400 |
| commit | d8801e05ef2f81f21eb27555b626ee2e52c3365f (patch) | |
| tree | 53e0b285bbcb0e28d3cbbd507da21fcc41d8995e /src/urweb.grm | |
| parent | 5232b7e45cf55208a0a3ea41395bb9f87d06dd21 (diff) | |
Chars and more string operations
Diffstat (limited to 'src/urweb.grm')
| -rw-r--r-- | src/urweb.grm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index bd834b47..bfb230a6 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -183,7 +183,7 @@ datatype attr = Class of exp | Normal of con * exp %term EOF - | STRING of string | INT of Int64.int | FLOAT of Real64.real + | STRING of string | INT of Int64.int | FLOAT of Real64.real | CHAR of char | SYMBOL of string | CSYMBOL of string | LPAREN | RPAREN | LBRACK | RBRACK | LBRACE | RBRACE | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH | UNDER | UNDERUNDER | BAR @@ -1080,6 +1080,7 @@ eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) | INT (EPrim (Prim.Int INT), s (INTleft, INTright)) | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright)) + | CHAR (EPrim (Prim.Char CHAR), s (CHARleft, CHARright)) | path DOT idents (let val loc = s (pathleft, identsright) @@ -1228,6 +1229,7 @@ pterm : SYMBOL (PVar SYMBOL, s (SYMBOLleft, SYMBOLright | UNDER (PWild, s (UNDERleft, UNDERright)) | INT (PPrim (Prim.Int INT), s (INTleft, INTright)) | STRING (PPrim (Prim.String STRING), s (STRINGleft, STRINGright)) + | CHAR (PPrim (Prim.Char CHAR), s (CHARleft, CHARright)) | LPAREN pat RPAREN (pat) | LBRACE RBRACE (PRecord ([], false), s (LBRACEleft, RBRACEright)) | UNIT (PRecord ([], false), s (UNITleft, UNITright)) |