From 638c8520234f6c9a81f84abf3e0a55965bcfeea1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Fri, 18 Jun 2010 13:20:59 +0200 Subject: [PATCH] =?UTF-8?q?printer=20adapt=C3=A9=20au=20changement=20d'API?= =?UTF-8?q?=20de=20Eiterator?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- minils/minils_printer.ml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/minils/minils_printer.ml b/minils/minils_printer.ml index 0a6011e..800f058 100644 --- a/minils/minils_printer.ml +++ b/minils/minils_printer.ml @@ -111,10 +111,13 @@ and print_array_op ff = function fprintf ff "@[%a[%a..%a]@]" print_exp e print_size_exp idx1 print_size_exp idx2 | Econcat (e1, e2) -> fprintf ff "%a @@ %a" print_exp e1 print_exp e2 - | Eiterator (it, f, params, n, e_list, r) -> - fprintf ff "(%s (%a%a) <<%a>>)@ @[%a@]%a" - (iterator_to_string it) print_longname f print_params params - print_size_exp n (print_list_l print_exp "("","")") e_list print_every r + | Eiterator (it, f, n, e_list, r) -> + fprintf ff "(%s (%a)<<%a>>)@ @[%a@]%a" + (iterator_to_string it) + print_op f + print_size_exp n + (print_list_l print_exp "("","")") e_list + print_every r and print_tag_e_list ff tag_e_list = fprintf ff "@[%a@]"