Project

General

Profile

« Previous | Next » 

Revision 2ae3ef3f

Added by Pierre-Loïc Garoche almost 7 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