Revision 6cbbe1c1
Added by Lélio Brun about 2 years ago
| src/types.ml | ||
|---|---|---|
| 187 | 187 |
| Tarray (e, ty) -> |
| 188 | 188 |
fprintf fmt "%a^%a" print_ty ty Dimension.pp_dimension e |
| 189 | 189 |
| Tlink ty -> |
| 190 |
print_ty fmt ty
|
|
| 190 |
print_ty fmt ty |
|
| 191 | 191 |
| Tunivar -> |
| 192 | 192 |
fprintf fmt "'%s" (name_of_type ty.tid) |
| 193 | 193 |
|
Also available in: Unified diff
start again with spec representation