jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

printer adapté au changement d'API de Eiterator

Browse source
This commit is contained in:
Léonard Gérard 2010-06-18 13:20:59 +02:00
parent f4c164463b
commit 638c852023
1 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
minils/minils_printer.ml
View file

@ -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@]"