Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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