Project

General

Profile

« Previous | Next » 

Revision eb837d74

Added by Xavier Thirioux over 5 years ago

slight improvement of causality error messages

View differences:

src/optimize_machine.ml
429 429
  | MLocalAssign (i, v) -> instr_cons (MLocalAssign (fvar i, value_replace_var fvar v)) cont
430 430
  | MStateAssign (i, v) -> instr_cons (MStateAssign (i, value_replace_var fvar v)) cont
431 431
  | MReset i            -> instr_cons instr cont
432
  | MNoReset i          -> instr_cons instr cont
432 433
  | MStep (il, i, vl)   -> instr_cons (MStep (List.map fvar il, i, List.map (value_replace_var fvar) vl)) cont
433 434
  | MBranch (g, hl)     -> instr_cons (MBranch (value_replace_var fvar g, List.map (fun (h, il) -> (h, instrs_replace_var fvar il [])) hl)) cont
434 435

  

Also available in: Unified diff