Project

General

Profile

« Previous | Next » 

Revision 5b5625e1

Added by Pierre-Loïc Garoche over 7 years ago

Updated typing error

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