Project

General

Profile

« Previous | Next » 

Revision eb837d74

Added by Xavier Thirioux over 5 years ago

slight improvement of causality error messages

View differences:

src/scheduling.ml
151 151
    let fanin = Liveness.compute_fanin n gg in
152 152
    { node = n'; schedule = sort; unused_vars = unused; fanin_table = fanin; dep_graph = gg; }
153 153

  
154
  with (Causality.Cycle vl) as exc ->
155
    let vl = filter_original n vl in
156
    pp_error Format.err_formatter vl;
157
    raise exc
154
  with (Causality.Error err) as exc ->
155
    match err with
156
    | DataCycle vl ->
157
       let vl = filter_original n vl in
158
       Causality.pp_error Format.err_formatter err;
159
       raise exc
160
    | _ -> raise exc
158 161

  
159 162
let compute_node_reuse_table report =
160 163
  let disjoint = Disjunction.clock_disjoint_map (get_node_vars report.node) in

Also available in: Unified diff