Browse Source

[typeload] disable strange `@:multiType @:from` unification

Simon Krajewski 10 years ago
parent
commit
261956fec3
1 changed files with 1 additions and 1 deletions
  1. 1 1
      typeload.ml

+ 1 - 1
typeload.ml

@@ -2040,7 +2040,7 @@ let init_class ctx c p context_init herits fields =
 									with Not_found ->
 									with Not_found ->
 										error "Constructor of multi-type abstract must be defined before the individual @:to-functions are" cf.cf_pos
 										error "Constructor of multi-type abstract must be defined before the individual @:to-functions are" cf.cf_pos
 									in
 									in
-									delay ctx PFinal (fun () -> unify ctx m tthis f.cff_pos);
+									(* delay ctx PFinal (fun () -> unify ctx m tthis f.cff_pos); *)
 									let args = match follow (monomorphs a.a_params ctor.cf_type) with
 									let args = match follow (monomorphs a.a_params ctor.cf_type) with
 										| TFun(args,_) -> List.map (fun (_,_,t) -> t) args
 										| TFun(args,_) -> List.map (fun (_,_,t) -> t) args
 										| _ -> assert false
 										| _ -> assert false