changeset 1420:146b69c53304

Allow negative int patterns
author Adam Chlipala <adam@chlipala.net>
date Thu, 03 Feb 2011 11:12:48 -0500
parents 00b79f39be25
children 3dab4696d116
files src/urweb.grm
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/urweb.grm	Tue Jan 25 06:59:29 2011 -0500
+++ b/src/urweb.grm	Thu Feb 03 11:12:48 2011 -0500
@@ -1323,6 +1323,7 @@
        | cpath                          (PCon (#1 cpath, #2 cpath, NONE), s (cpathleft, cpathright))
        | UNDER                          (PWild, s (UNDERleft, UNDERright))
        | INT                            (PPrim (Prim.Int INT), s (INTleft, INTright))
+       | MINUS INT                      (PPrim (Prim.Int (~INT)), s (MINUSleft, INTright))
        | STRING                         (PPrim (Prim.String STRING), s (STRINGleft, STRINGright))
        | CHAR                           (PPrim (Prim.Char CHAR), s (CHARleft, CHARright))
        | LPAREN pat RPAREN              (pat)