Revision 96f5fe18 src/types.ml
| src/types.ml | ||
|---|---|---|
| 51 | 51 |
| Already_bound of ident |
| 52 | 52 |
| Already_defined of ident |
| 53 | 53 |
| Undefined_var of (unit IMap.t) |
| 54 |
| Declared_but_undefined of ident |
|
| 54 | 55 |
| Unbound_type of ident |
| 55 | 56 |
| Not_a_dimension |
| 56 | 57 |
| Not_a_constant |
| ... | ... | |
| 106 | 107 |
fprintf fmt "%a : %a" pp_print_string label print_node_ty ty |
| 107 | 108 |
and print_node_ty fmt ty = |
| 108 | 109 |
match ty.tdesc with |
| 110 |
| Tvar -> begin |
|
| 111 |
Format.eprintf "DEBUG:Types.print_node@."; |
|
| 112 |
fprintf fmt "_%s" (name_of_type ty.tid) |
|
| 113 |
end |
|
| 109 | 114 |
| Tint -> |
| 110 | 115 |
fprintf fmt "int" |
| 111 | 116 |
| Treal -> |
| ... | ... | |
| 158 | 163 |
fprintf fmt "No definition provided for variable(s): %a@." |
| 159 | 164 |
(Utils.fprintf_list ~sep:"," pp_print_string) |
| 160 | 165 |
(fst (Utils.list_of_imap vmap)) |
| 166 |
| Declared_but_undefined id -> |
|
| 167 |
fprintf fmt "Node %s is declared but not defined@." id |
|
| 161 | 168 |
| Type_clash (ty1,ty2) -> |
| 162 | 169 |
Utils.reset_names (); |
| 163 | 170 |
fprintf fmt "Expected type %a, got type %a@." print_ty ty1 print_ty ty2 |
Also available in: Unified diff