Browse Source

fix execution order in Type.iter

Simon Krajewski 9 years ago
parent
commit
217d0ed37d
1 changed files with 2 additions and 1 deletions
  1. 2 1
      type.ml

+ 2 - 1
type.ml

@@ -2124,7 +2124,8 @@ let map_expr f e =
 	| TObjectDecl el ->
 	| TObjectDecl el ->
 		{ e with eexpr = TObjectDecl (List.map (fun (v,e) -> v, f e) el) }
 		{ e with eexpr = TObjectDecl (List.map (fun (v,e) -> v, f e) el) }
 	| TCall (e1,el) ->
 	| TCall (e1,el) ->
-		{ e with eexpr = TCall (f e1, List.map f el) }
+		let e1 = f e1 in
+		{ e with eexpr = TCall (e1, List.map f el) }
 	| TVar (v,eo) ->
 	| TVar (v,eo) ->
 		{ e with eexpr = TVar (v, match eo with None -> None | Some e -> Some (f e)) }
 		{ e with eexpr = TVar (v, match eo with None -> None | Some e -> Some (f e)) }
 	| TFunction fu ->
 	| TFunction fu ->