From eb625cd5d78b8d5e1bfa5139475addaec0615497 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 12 Jul 2010 09:07:57 +0200 Subject: [PATCH] Fix operator args (some args have become static) --- compiler/heptagon/hept_printer.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/compiler/heptagon/hept_printer.ml b/compiler/heptagon/hept_printer.ml index 6902610..d8e9e0b 100644 --- a/compiler/heptagon/hept_printer.ml +++ b/compiler/heptagon/hept_printer.ml @@ -124,10 +124,10 @@ and print_op ff op params e_list = fprintf ff " = "; print_exp ff e2; fprintf ff ")@]" - | Earray_fill, _, [e1; e2] -> - print_exp ff e1; + | Earray_fill, [se], [e] -> + print_exp ff e; fprintf ff "^"; - print_exp ff e2 + print_static_exp ff se | Eselect, idx_list, [e] -> print_exp ff e; print_list_r print_static_exp "[" "][" "]" ff idx_list @@ -145,12 +145,12 @@ and print_op ff op params e_list = fprintf ff " = "; print_exp ff e2; fprintf ff ")@]" - | Eselect_slice, _, [e; idx1; idx2] -> + | Eselect_slice, [idx1;idx2], [e] -> print_exp ff e; fprintf ff "["; - print_exp ff idx1; + print_static_exp ff idx1; fprintf ff ".."; - print_exp ff idx2; + print_static_exp ff idx2; fprintf ff "]" | Econcat, _, [e1;e2] -> fprintf ff "@[";