utilities : pretty-printing patched
let IDEN = ALPHA (NUM | ALPHA)*
let QSTR = [^ '"' '\\']+
-rule string_token = parse
+rule comm_token = parse
+ | "*)" { query_token lexbuf }
+ | [^ '*']* { comm_token lexbuf }
+and string_token = parse
| '"' { DQ }
| '\\' _ { STR (String.sub (Lexing.lexeme lexbuf) 1 1) }
| QSTR { STR (Lexing.lexeme lexbuf) }
| eof { EOF }
and query_token = parse
+ | "(*" { comm_token lexbuf }
| SPC { query_token lexbuf }
| '"' { STR (qstr string_token lexbuf) }
| '(' { LP }
and txt_boole = function
| M.False -> "false"
| M.True -> "true"
- | M.Ex b x -> "ex [" ^ txt_list txt_rvar "," b ^ "] " ^ txt_boole x
+ | M.Ex b x -> "ex " ^ txt_boole x
+(* | M.Ex b x -> "ex [" ^ txt_list txt_rvar "," b ^ "] " ^ txt_boole x *)
| M.Not x -> "not " ^ txt_boole x
| M.And (x, y) -> "(" ^ txt_boole x ^ " and " ^ txt_boole y ^ ")"
| M.Or (x, y) -> "(" ^ txt_boole x ^ " or " ^ txt_boole y ^ ")"