Simon Krajewski

There was a cascade of problems here: 1. The `T` return type of `manufacture` is constrained to `Robot`, which means that it actually ends up becoming `Robot` itself. With that...

Yeah, I'd like to make this more robust. The problem right now is that the Haxe typer checks for assignment (unification) while the functional interface detector in genjvm checks for...

I can't even javac your example though: ``` C:\git\Issue150002\project>javac --version javac 13.0.1 C:\git\Issue150002\project>build.bat C:\git\Issue150002\project>REM Build all the Java files in the src/ folder into the out/ folder C:\git\Issue150002\project>javac -d out...

Try if the linked commit does anything for you. I'm not very confident in our test suite regarding this, so there's a good chance that it blows up.

I have also already "ported" our second best generator genhl, which was easy enough. Before:  After:  Unlike in some other areas, smaller is better.

Now I wonder if this is too narrow. How would people feel about something more generic that allows e.g. this: ```haxe @:message.message("$T1 | $T2") abstract EitherType(Dynamic) from T1 to T1...

Well, I picked `EitherType` as an example because I greatly prefer `error: dot.EdgeAttribute | dot.NodeAttribute | dot.GraphAttribute should be dot.ClusterAttribute` over `error: haxe.extern.EitherType should be dot.ClusterAttribute`. But then again I'm...

Ah right, I knew we discussed this somewhere before. I guess `@:displayName` does make a bit more sense. I don't want to add random shorthands for `EitherType` _unless_ we decide...

Sanitized cdebug for that: ``` out 0 add build-module () out 0 add force (StdTypes) out 0 add build-class (StdTypes) out 0 add build-class (String) out 0 add build-class (Array)...

What if we had something like this: ```ocaml and tclass_structure = { mutable cl_fields : (string, tclass_field) PMap.t; mutable cl_statics : (string, tclass_field) PMap.t; mutable cl_ordered_statics : tclass_field list; mutable...