[r2004-06-07 15:50:37 by cmiachon] conflict with "where" keyword and "/"

Original author: cmiachon
Date: 2004-06-07 15:50:37+00:00

parser/parser.ml

@@ -252,7 +252,7 @@ EXTEND
     |
     [ e1 = expr; op = ["*"]; e2 = expr -> exp loc (Op (op,[e1;e2]))  
     | e1 = expr; "&&"; e2 = expr -> exp loc (logical_and e1 e2)
-    | e = expr; op = "/"; p = pat ->
+    | e = expr; op = "/"; p = pat LEVEL "simple" ->
 	let tag = mk loc (Internal (Types.atom (Atoms.any))) in
 	let att = mk loc (Internal Types.Record.any) in
 	let any = mk loc (Internal (Types.any)) in