Project

General

Profile

« Previous | Next » 

Revision e39f5319

Added by Xavier Thirioux about 7 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/types.ml
83 83
    fprintf fmt "%a -> %a" print_ty ty1 print_ty ty2
84 84
  | Ttuple tylist ->
85 85
    fprintf fmt "(%a)"
86
      (Utils.fprintf_list ~sep:"*" print_ty) tylist
86
      (Utils.fprintf_list ~sep:" * " print_ty) tylist
87 87
  | Tenum taglist ->
88 88
    fprintf fmt "enum {%a }"
89 89
      (Utils.fprintf_list ~sep:", " pp_print_string) taglist

Also available in: Unified diff