# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1296749568 18000
# Node ID 146b69c53304a2f95ae182c24a9f91f01fdb4955
# Parent  00b79f39be250a00607e480e1214afe1b6963b39
Allow negative int patterns

diff -r 00b79f39be25 -r 146b69c53304 src/urweb.grm
--- 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)