[r2004-06-03 20:43:37 by afrisch] Parsing bug with rec types

Original author: afrisch
Date: 2004-06-03 20:43:37+00:00

parser/parser.ml

@@ -193,7 +193,7 @@ EXTEND
 	| "transform" | "fun" | "in"
 	| "let" | "type" | "debug" | "include"
         | "and" | "validate" | "schema" | "namespace" | "ref" | "alias"
-	| "not" | "as"
+	| "not" | "as" | "where"
 	]
 	-> a
     ]
@@ -497,7 +497,7 @@ EXTEND
   ];
 
   pat: [ 
-      [ x = pat; IDENT "where"; 
+      [ x = pat; "where"; 
         b = LIST1 [ a = IDENT; "="; y = pat -> (ident a,y) ] SEP "and"
             -> mk loc (Recurs (x,b)) ]
     | RIGHTA [ x = pat; "->"; y = pat -> mk loc (Arrow (x,y)) ]