D's greatest mistakes

[Andrei Alexandrescu]

On 11/29/10 6:18 AM, bearophile wrote:
> Andrei:
>> * Template pattern matching is incomplete
>
> I don't understand this, please explain better. But I think the syntax of is() is awful and I'd like to shoot it.

is() should do full tree unification on the query type and the pattern. 
It currently does a partial unification that is inadequate.

Andrei