Project

General

Profile

« Previous | Next » 

Revision f2c916b4

Added by Guillaume DAVY almost 3 years ago

Ada: Correct some errors on the type checking due to polymorphic type.

View differences:

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