Reported by Pavel:

> The sort ConstrNamePat is defined as
>
> “new” -> ConstrNamePattern
> {cons(“ConstrName”)}
> ClassNamePattern “.” “new” -> ConstrNamePattern
> {cons(“ConstrName”)}
> ClassNamePattern “..” “new” -> ConstrNamePattern
> {cons(“WildcardConstrName”)}
>
> This is actually not general enough – rather than having
> ClassNamePatterns there, full TypePatterns should be allowed:
> call(A[].new()) is valid syntax (although I think abc doesn’t currently
> handle this).

Submitted on 8 June 2006 at 09:27