From b0cff3eab8287308dde58dd7e288e654b9fa7b5b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 3 Feb 2011 11:12:48 -0500
Subject: Allow negative int patterns

---
 src/urweb.grm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/urweb.grm b/src/urweb.grm
index 75599235..bed80c98 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -1323,6 +1323,7 @@ pterm  : SYMBOL                         (PVar SYMBOL, s (SYMBOLleft, SYMBOLright
        | 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)
-- 
cgit v1.2.3