[analyzer] properly deal with super calls

SlavaRa · Dec 21, 2014 · 808998d · 808998d
1 parent 740b2ed
commit 808998d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/analyzer.ml b/analyzer.ml
@@ -230,7 +230,7 @@ module Simplifier = struct
 				e
 			| TCall(e1,el) ->
 				let rec is_valid_call_target e = match e.eexpr with
-					| TFunction _ | TField _ | TLocal _  ->
+					| TFunction _ | TField _ | TLocal _ | TConst (TSuper)  ->
 						true
 					| TParenthesis e1 | TCast(e1,None) | TMeta(_,e1) ->
 						is_valid_call_target e1
@@ -250,7 +250,7 @@ module Simplifier = struct
 					| TConst TSuper,_ when com.platform = Java || com.platform = Cs ->
 						(* they hate you if you mess up the super call *)
 						el
-					| _,TFun _ ->
+					| _,TFun _ | TConst TSuper,_ ->
 						Codegen.UnificationCallback.check_call check el e1.etype
 					| _ ->
 						(* too dangerous *)