Project

General

Profile

Revision d4807c3d src/printers.ml

View differences:

src/printers.ml
59 59
  match expr.expr_desc with
60 60
    | Expr_const c -> pp_const fmt c
61 61
    | Expr_ident id -> Format.fprintf fmt "%s" id
62
(*    | Expr_cst_array (c, e) -> fprintf fmt "%a^%a" pp_expr e pp_const c *)
63 62
    | Expr_array a -> fprintf fmt "[%a]" pp_tuple a
64 63
    | Expr_access (a, d) -> fprintf fmt "%a[%a]" pp_expr a Dimension.pp_dimension d
65 64
    | Expr_power (a, d) -> fprintf fmt "(%a^%a)" pp_expr a Dimension.pp_dimension d

Also available in: Unified diff