Project

General

Profile

« Previous | Next » 

Revision 45ca90f5

Added by Xavier Thirioux almost 8 years ago

removed debug printing

View differences:

src/typing.ml
306 306
	 | Some d' -> try_unify real_type real_static_type loc);
307 307
	 real_static_type
308 308
    else real_type in
309
Format.eprintf "subtyping const %B real %a:%a vs formal %a@." const Printers.pp_expr real_arg Types.print_ty real_type Types.print_ty formal_type;
309
(*Format.eprintf "subtyping const %B real %a:%a vs formal %a@." const Printers.pp_expr real_arg Types.print_ty real_type Types.print_ty formal_type;*)
310 310
  match (repr real_type).tdesc, (repr formal_type).tdesc with
311 311
  | Tstatic _          , Tstatic _ when sub -> try_unify formal_type real_type loc
312 312
  | Tstatic (r_d, r_ty), _         when sub -> try_unify formal_type r_ty loc

Also available in: Unified diff