diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-01 15:42:57 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-01 15:42:57 +0200 |
| commit | f97a886970bef9e1d6e8a1e217732d6ef8be087e (patch) | |
| tree | f79d165af76f23fece80c5bcc5003d5e2b82bd38 /frontend/ast_printer.ml | |
| parent | 2d322a06b882542bab3d98cf08abefa906a54942 (diff) | |
| download | scade-analyzer-f97a886970bef9e1d6e8a1e217732d6ef8be087e.tar.gz scade-analyzer-f97a886970bef9e1d6e8a1e217732d6ef8be087e.zip | |
Adapt for real type with Apron ; not very efficient ATM.
Diffstat (limited to 'frontend/ast_printer.ml')
| -rw-r--r-- | frontend/ast_printer.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/ast_printer.ml b/frontend/ast_printer.ml index 9a4d62d..3ca2ff6 100644 --- a/frontend/ast_printer.ml +++ b/frontend/ast_printer.ml @@ -103,6 +103,9 @@ let rec print_expr fmt e = if expr_precedence e1 <= expr_precedence e then Format.fprintf fmt "(%a)" print_expr e1 else Format.fprintf fmt "%a" print_expr e1 + | AST_cast ((e1,_), ty) -> + Format.fprintf fmt "%s (%a)" + (string_of_typ ty) print_expr e1; | AST_binary (op,(e1,_),(e2,_)) -> if expr_precedence e1 < expr_precedence e |