don't allow a structure to be like a class/enum

Makefile.win

@@ -61,6 +61,8 @@ typeload.cmx: typecore.cmx type.cmx parser.cmx common.cmx ast.cmx
 
 typer.cmx: typeload.cmx typecore.cmx type.cmx parser.cmx lexer.cmx common.cmx ast.cmx codegen.cmx optimizer.cmx
 
+optimizer.cmx: type.cmx
+
 
 clean:
 	rm -f haxe.exe

type.ml

@@ -733,7 +733,10 @@ let rec unify a b =
 			| Opened ->
 				a1.a_status := Closed
 			| _ -> ());
-			if !(a2.a_status) = Opened then a2.a_status := Closed;
+			(match !(a2.a_status) with
+			| Statics _ | EnumStatics _ -> error []
+			| Opened -> a2.a_status := Closed
+			| _ -> ())
 		with
 			Unify_error l -> error (cannot_unify a b :: l))
 	| TAnon an, TInst ({ cl_path = [],"Class" },[pt]) ->