Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/causality.ml | ||
---|---|---|
692 | 692 |
let pp_error fmt err = |
693 | 693 |
match err with |
694 | 694 |
| NodeCycle trace -> |
695 |
Format.fprintf fmt "Causality error, cyclic node calls:@ @[<v 0>%a@]@ " |
|
696 |
(fprintf_list ~sep:",@ " Format.pp_print_string) |
|
697 |
trace |
|
695 |
Format.(fprintf fmt "Causality error, cyclic node calls:@ @[<v 0>%a@]@ " |
|
696 |
(pp_comma_list Format.pp_print_string) trace) |
|
698 | 697 |
| DataCycle traces -> |
699 |
Format.fprintf fmt |
|
700 |
"Causality error, cyclic data dependencies:@ @[<v 0>%a@]@ " |
|
701 |
(fprintf_list ~sep:";@ " (fun fmt trace -> |
|
702 |
Format.fprintf fmt "@[<v 0>{%a}@]" |
|
703 |
(fprintf_list ~sep:",@ " Format.pp_print_string) |
|
704 |
trace)) |
|
705 |
traces |
|
698 |
Format.(fprintf fmt |
|
699 |
"Causality error, cyclic data dependencies:@ @[<v 0>%a@]@ " |
|
700 |
(pp_print_list ~pp_sep:pp_print_semicolon (fun fmt trace -> |
|
701 |
fprintf fmt "@[<v 0>{%a}@]" |
|
702 |
(pp_comma_list Format.pp_print_string) trace)) |
|
703 |
traces) |
|
706 | 704 |
|
707 | 705 |
(* Merges elements of graph [g2] into graph [g1] *) |
708 | 706 |
let merge_with g1 g2 = |
Also available in: Unified diff
another step towards refactoring