소스 검색

fix type equality check for ECheckType

Simon Krajewski 10 년 전
부모
커밋
ed3c3a4307
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      typer.ml

+ 1 - 1
typer.ml

@@ -3573,7 +3573,7 @@ and type_expr ctx (e,p) (with_type:with_type) =
 		let t = Typeload.load_complex_type ctx p t in
 		let t = Typeload.load_complex_type ctx p t in
 		let e = type_expr ctx e (WithType t) in
 		let e = type_expr ctx e (WithType t) in
 		let e = Codegen.AbstractCast.cast_or_unify ctx t e p in
 		let e = Codegen.AbstractCast.cast_or_unify ctx t e p in
-		if e.etype == t then e else mk (TCast (e,None)) t p
+		if type_iseq e.etype t then e else mk (TCast (e,None)) t p
 	| EMeta (m,e1) ->
 	| EMeta (m,e1) ->
 		let old = ctx.meta in
 		let old = ctx.meta in
 		ctx.meta <- m :: ctx.meta;
 		ctx.meta <- m :: ctx.meta;