Simn / haxe

6 stars 0 forks source link

remove unnecessary cast #13

Closed frabbit closed 10 years ago

frabbit commented 10 years ago

the last one is actually an important fix, which allows constraints with multiple In types like in:

static function withArrow <Arr:(Arrow<Arr,In,In>)> (a:Arr<Int,String>):Int->String
{
    return a.dot(a.create(function (y) return y+2))
         .dot(a.create(function (y) return y+2)).run;
}