Revision f2c916b4
Added by Guillaume DAVY over 4 years ago
| src/backends/Ada/ada_backend_common.ml | ||
|---|---|---|
| 182 | 182 |
| Types.Tbasic Types.Basic.Tint -> pp_integer_type fmt |
| 183 | 183 |
| Types.Tbasic Types.Basic.Treal -> pp_float_type fmt |
| 184 | 184 |
| Types.Tbasic Types.Basic.Tbool -> pp_boolean_type fmt |
| 185 |
| Types.Tunivar -> pp_polymorphic_type fmt typ.tid |
|
| 185 |
| Types.Tunivar _ -> pp_polymorphic_type fmt typ.tid |
|
| 186 |
| Types.Tconst _ -> eprintf "Tconst@."; assert false (*TODO*) |
|
| 187 |
| Types.Tclock _ -> eprintf "Tclock@."; assert false (*TODO*) |
|
| 188 |
| Types.Tarrow _ -> eprintf "Tarrow@."; assert false (*TODO*) |
|
| 189 |
| Types.Ttuple l -> eprintf "Ttuple %a @." (Utils.fprintf_list ~sep:" " Types.print_ty) l; assert false (*TODO*) |
|
| 190 |
| Types.Tenum _ -> eprintf "Tenum@."; assert false (*TODO*) |
|
| 191 |
| Types.Tstruct _ -> eprintf "Tstruct@.";assert false (*TODO*) |
|
| 192 |
| Types.Tarray _ -> eprintf "Tarray@."; assert false (*TODO*) |
|
| 193 |
| Types.Tstatic _ -> eprintf "Tstatic@.";assert false (*TODO*) |
|
| 194 |
| Types.Tlink _ -> eprintf "Tlink@."; assert false (*TODO*) |
|
| 195 |
| Types.Tvar _ -> eprintf "Tvar@."; assert false (*TODO*) |
|
| 186 | 196 |
| _ -> eprintf "Type error : %a@." Types.print_ty typ; assert false (*TODO*) |
| 187 | 197 |
) |
| 188 | 198 |
|
Also available in: Unified diff
Ada: Correct some errors on the type checking due to polymorphic type.