Recent Truffle DSL changes.

[Wei Zhang]

Ahh... I see.
Now I can remove some of the specializations that is not necessary anymore.

Thanks,

On Thu, Oct 2, 2014 at 2:34 PM, Christian Humer
<christian.humer at gmail.com> wrote:
> 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