Commit a8a049d7 authored by DAILLER Sylvain's avatar DAILLER Sylvain

Merge branch 'issue_273' into 'master'

ce printing: Add breaking hint in array box. Also refactoring

Closes #273

See merge request !95
parents 80605969 62b46330
......@@ -279,11 +279,16 @@ let print_float_human fmt f =
| Float_hexa(s,f) -> fprintf fmt "%s (%g)" s f
let rec print_array_human fmt (arr: model_array) =
fprintf fmt "@[(";
List.iter (fun e ->
fprintf fmt "@[%s =>@ %a,@]" e.arr_index_key print_model_value_human e.arr_index_value)
arr.arr_indices;
fprintf fmt "@[others =>@ %a@])@]" print_model_value_human arr.arr_others
let print_key_val fmt arr =
let {arr_index_key = key; arr_index_value = v} = arr in
fprintf fmt "@[%s =>@ %a@]"
key print_model_value_human v in
fprintf fmt
"@[(%a%a)@]"
(Pp.print_list_delim
~start:Pp.nothing ~stop:Pp.comma ~sep:Pp.comma print_key_val)
arr.arr_indices
print_key_val {arr_index_key = "others"; arr_index_value=arr.arr_others}
and print_record_human fmt r =
match r with
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment