Project

General

Profile

« Previous | Next » 

Revision 2ae3ef3f

Added by Pierre-Loïc Garoche about 6 years ago

Tentative to rely on Kind parser for contracts

View differences:

src/printers.ml
137 137
  | "<=", Expr_tuple([e1;e2]) -> fprintf fmt "(%a <= %a)" pp_expr e1 pp_expr e2
138 138
  | ">", Expr_tuple([e1;e2]) -> fprintf fmt "(%a > %a)" pp_expr e1 pp_expr e2
139 139
  | ">=", Expr_tuple([e1;e2]) -> fprintf fmt "(%a >= %a)" pp_expr e1 pp_expr e2
140
  | "!=", Expr_tuple([e1;e2]) -> fprintf fmt "(%a != %a)" pp_expr e1 pp_expr e2
140
  | "!=", Expr_tuple([e1;e2]) -> fprintf fmt "(%a <> %a)" pp_expr e1 pp_expr e2
141 141
  | "=", Expr_tuple([e1;e2]) -> fprintf fmt "(%a = %a)" pp_expr e1 pp_expr e2
142 142
  | "not", _ -> fprintf fmt "(not %a)" pp_expr e
143 143
  | _, Expr_tuple _ -> fprintf fmt "%s %a" id pp_expr e

Also available in: Unified diff