search

waneck / testrepo

0 stars 0 forks source link

Issue 1580 - GADT on java - haxe #1580

Open waneck opened 11 years ago

waneck commented 11 years ago

[Google Issue #1580 : http://code.google.com/haxe/issues/detail?id=1580] by si...@haxe.org, at 2013-02-28T19:57:16.000Z http://pastebin.com/ptCFGLtE

Although I have no idea what I'm doing, I think this should compile.

waneck commented 11 years ago

[comment from si...@haxe.org, published at 2013-04-12T19:31:30.000Z]

waneck commented 11 years ago

[comment from waneck, published at 2013-04-21T22:16:02.000Z] Simon, can you update the pastebin? It's gone :(

Thanks!

waneck commented 11 years ago

[comment from si...@haxe.org, published at 2013-04-24T09:11:04.000Z] I can't find it anymore, but I guess GADT is quite broken anyway, so it doesn't really matter for haxe 3.

waneck commented 11 years ago

[comment from si...@haxe.org, published at 2013-04-24T10:11:52.000Z] Actuallyyyyy I put it in the unit tests of all places, and just committed it. It's entirely possible that the AST is not correct with regards to type parameters, so you may want to have a look at the dump files.

You can enable it for your targets here: https://code.google.com/p/haxe/source/browse/trunk/tests/unit/Test.hx#237

Let me know if the AST needs some attention, you're faster at reading them dump files. ;)

waneck commented 11 years ago

[comment from waneck, published at 2013-05-04T23:03:20.000Z] This issue was closed by revision r6544.

waneck commented 11 years ago

[comment from waneck, published at 2013-05-04T23:08:39.000Z] I've fixed at r6544 . I've cheated a little though, and just forced enums to behave as not having type parameters at the moment, since there is no real benefit for using them at the moment. The cast detection still complains of "unsafe casts" in some places, which is a consequence of dealing with them as Dynamics. I'll revisit this after Haxe 3.0 release, most probably when coming up with ways to optimize enums on Java/C#