Project

General

Profile

« Previous | Next » 

Revision e39f5319

Added by Xavier Thirioux almost 10 years ago

corrected a bug when activating optimization (-O 3) (edge missing in a dep graph)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@448 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/clocks.ml
98 98 
let rec print_ck_long fmt ck =
99 99 
  match ck.cdesc with
100 100 
  | Carrow (ck1,ck2) ->
101 
      fprintf fmt "%a->%a" print_ck_long ck1 print_ck_long ck2
101 
      fprintf fmt "%a -> %a" print_ck_long ck1 print_ck_long ck2
102 102 
  | Ctuple cklist ->
103 103 
    fprintf fmt "(%a)"
104 104 
      (fprintf_list ~sep:" * " print_ck_long) cklist
......
529 529 
    let ck = simplify ck in
530 530 
    match ck.cdesc with
531 531 
    | Carrow (ck1,ck2) ->
532 
      fprintf fmt "%a->%a" aux ck1 aux ck2
532 
      fprintf fmt "%a -> %a" aux ck1 aux ck2
533 533 
    | Ctuple cklist ->
534 534 
      fprintf fmt "(%a)"
535 535 
	(fprintf_list ~sep:" * " aux) cklist

Also available in: Unified diff