Przeglądaj źródła

actually use the correct field in TField (closes #3311)

Simon Krajewski 11 lat temu
rodzic
commit
981393412e
1 zmienionych plików z 1 dodań i 1 usunięć
  1. 1 1
      typer.ml

+ 1 - 1
typer.ml

@@ -771,7 +771,7 @@ let unify_field_call ctx fa el args ret p inline =
 				| TFun(args,ret) ->
 				let el,tf = unify_call_args' ctx el args ret p inline is_forced_inline in
 					let mk_call ethis =
-						let ef = mk (TField(ethis,fa)) tf p in
+						let ef = mk (TField(ethis,mk_fa cf)) tf p in
 						make_call ctx ef (List.map fst el) ret p
 					in
 					(el,tf,mk_call)	:: candidates,failures