Recent Truffle DSL changes.

[Christian Humer]

On Thu, Oct 2, 2014 at 8:59 PM, Wei Zhang <thezhangwei at gmail.com> wrote:

> Thing is @ImplicitCast makes specialization ambiguous as you suggested.
>
> Say an AddNode taking a boolean and an int is specialized to doInt(int,
> int).
> If the boolean became an int, the AddNode rewrite itself by looking
> for a match from the *next* specialization available.
> Consequently it will rewrite to doBigInteger, which is kind of wrong...
>

Probably I made myself not really clear in my last email. That is exactly
what I fixed with this new version of the DSL. Its not the *next*
specialization that is used anymore. It now always looks top to bottom for
any state of the operation.


- Christian Humer