Revision e39f5319
Added by Xavier Thirioux almost 10 years ago
| 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
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