Simon Krajewski
Simon Krajewski
Hmm yes, that one might be a good idea still. I'll reopen.
I agree that this violates variance because the `EitherType` is the more general type.
If I apologized every time I got tripped by function argument variance you'd think I was Canadian.
The underlying problem here is that EitherType has `to T1 to T2` which makes it unify in this direction. I'm not sure if we could just change that...
Is that even possible? If that was the case then we wouldn't need the abstract in the first place...
``` DECISION TREE BEGIN 7 var ` = haxe.ds.Option.Some(cast null) 6 switch (`) case Some(unguarded): 3 var `v = `[0] 2 if (`v == null) 1 else 0 case None(unguarded):...
I think you forgot to update the Main.hx, I'm still getting the old output from that repo.
I can't check right now, but when I initially tried to reproduce this I got exactly the same output as before, which is why I thought you forgot to update...
I checked this out today (I never said which Monday I meant!) and fixed something not strictly related, but I still cannot reproduce the problem _if_ `target` is properly typed,...
You and your robots... ~-D dump shows me that ManufactureRobot.manufacture has a Void return type: `function manufacture(param1:java.lang.String):Void;`. I'll have to check if that goes wrong during the initial .jar loading...