[r2003-11-27 10:47:33 by afrisch] Eviter d'avoir false et true comme keyword

Original author: afrisch
Date: 2003-11-27 10:47:33+00:00

query/query_parse.ml

@@ -45,10 +45,14 @@ EXTEND
    ] ];
    
   cond:
-      [
-       ["`";"true" -> Query.True
-       |"`";"false" -> Query.False
-             | a = expr -> Query.Varb(a)
+      [ [ a = expr -> 
+	  (match a with
+             | LocatedExpr(_, Atom at) ->
+	         (match U.get_str at with
+                  | "true" -> Query.True
+                  | "false" -> Query.False
+                  | _ -> Query.Varb a)
+             | _ -> Query.Varb a)
        |"not"; a = cond -> Query.Not(a)
        | a = cond ; "or" ; b = cond -> Query.Ou(a,b)
        | a = cond ; "and" ; b = cond -> Query.Et(a,b)