Project

General

Profile

Revision 5b5625e1

View differences:

src/types.ml
286 286
  | Tstatic (_, ty')  -> split_arrow ty'
287 287
    (* Functions are not first order, I don't think the var case
288 288
       needs to be considered here *)
289
  | _ -> Format.eprintf "%a@." print_ty ty; assert false
289
  | _ -> Format.eprintf "type %a is not a map@.Unable to split@.@?" print_ty ty; assert false
290 290

  
291 291
(** Returns the type corresponding to a type list. *)
292 292
let type_of_type_list tyl =

Also available in: Unified diff