Project

General

Profile

« Previous | Next » 

Revision d4807c3d

Added by Xavier Thirioux almost 8 years ago

- corrected causality bug (cf. previous commit)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@227 041b043f-8d7c-46b2-b46e-ef0dd855326e

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