simn / haxe Goto Github PK

View Code? Open in Web Editor NEW

This project forked from haxefoundation/haxe

6.0 6.0 0.0 78.6 MB

OCaml 34.90% Haxe 64.92% Shell 0.01% C++ 0.04% C# 0.06% Java 0.07%

haxe's People

Contributors

Stargazers

Watchers

haxe's Issues

Flash broken

Test.hx:224: ABORTED : VerifyError: Error #1058: Illegal operand type: * must be int. in unit.TestTypeConstructor.testMonadTransformers
Test.hx:227: STACK :
Called from Function.http://adobe.com/AS3/2006/builtin::apply
Called from Function.<anonymous>
Called from unit.Test.main (/home/travis/build/Simn/haxe/tests/unit/src/unit/Test.hx line 333)
Test.hx:187: DONE [5311 tests]
Test.hx:354: SUCCESS: false

I've seen that error in Haxe before, so it may or may not be a core issue. We should still try to find out what the problem is.

C++ broken

After merging development I'm seeing this:

Error: ./src/unit/MyList.cpp: In member function ‘virtual unit::MyList unit::MyList_obj::flatMap(Dynamic)’:
./src/unit/MyList.cpp:115:30: error: ‘T’ is not a member of ‘unit::MyList {aka hx::ObjectPtr<unit::MyList_obj>}’
./src/unit/MyList.cpp:115:30: error: ‘T’ is not a member of ‘unit::MyList {aka hx::ObjectPtr<unit::MyList_obj>}’
./src/unit/MyList.cpp:115:46: error: template argument 1 is invalid
./src/unit/MyList.cpp:155:32: error: ‘virtual unit::MyList unit::MyList_obj::flatMap(Dynamic)’ cannot appear in a constant-expression
./src/unit/MyList.cpp:155:43: error: template argument 1 is invalid

This suggests a broken AST, but the weird part is that the Java target works just fine.

C# failing due to weird unit.Either type

So I've merged development branch into higher_kinded_types_reloaded today, which went surprisingly smooth. The Java target is working now, but C# fails with a Not_found exception. I printed that to find that it looks for unit.Either in a list of interfaces, which is very strange because from what I can tell that type is actually an enum.

The relevant lookup can be found here: https://github.com/Simn/haxe/blob/higher_kinded_types_reloaded/gencommon.ml#L4653

This suggests that we have a TInst where the class argument is an enum?! I don't know how to interpret this error.

@frabbit: Any idea?

[analyzer_side_effect_rewrite] redundant temp var

class Main {
    static function main() {}

    static function f(o1:{m:haxe.ds.IntMap<{f:Int}>}, o2:{f:Int}) {

        inline function get(o) return if (o > 0) o else 0;

        o1.m.get(0).f = get(o2.f);
    }
}

this branch:

Main.f = function(o1,o2) {
    var tmp = o1.m.h[0];
    var o = o2.f;
    tmp.f = o > 0?o:0;
};

current development:

Main.f = function(o1,o2) {
    var o = o2.f;
    o1.m.h[0].f = o > 0?o:0;
};

simn / haxe Goto Github PK

haxe's People

Contributors

Stargazers

Watchers

haxe's Issues

Flash broken

C++ broken

C# failing due to weird unit.Either type

[analyzer_side_effect_rewrite] redundant temp var

throwing `haxe.macro.Expr.Error` results in an uncaught error instead of compiler error at given position

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent