[Issue 8959] New: IsExpression should support syntax which has no Identifier in all cases

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=8959

           Summary: IsExpression should support syntax which has no
                    Identifier in all cases
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: k.hara.pg at gmail.com


--- Comment #0 from Kenji Hara <k.hara.pg at gmail.com> 2012-11-03 09:14:37 PDT ---
From: http://dlang.org/expression#IsExpression
IsExpression now supports following syntax.

1.  is ( Type )
2.  is ( Type :  TypeSpecialization )
3.  is ( Type == TypeSpecialization )
4.  is ( Type Id )
5.  is ( Type Id :  TypeSpecialization )
6.  is ( Type Id == TypeSpecialization )
7a. is ( Type Id :  TypeSpecialization , TemplateParameterList )
7b. is ( Type Id == TypeSpecialization , TemplateParameterList )

When sorted by the presence or absence of Id:
1.  is ( Type )
2.  is ( Type :  TypeSpecialization )
3.  is ( Type == TypeSpecialization )
X.  is ( Type :  TypeSpecialization , TemplateParameterList )  // ?
Y.  is ( Type == TypeSpecialization , TemplateParameterList )  // ?

4.  is ( Type Id )  // 1 + Id
5.  is ( Type Id :  TypeSpecialization )  // 2 + Id
6.  is ( Type Id == TypeSpecialization )  // 3 + Id
7a. is ( Type Id :  TypeSpecialization , TemplateParameterList )  // X + Id
7b. is ( Type Id == TypeSpecialization , TemplateParameterList )  // Y + Id

I think X and Y should be supported from the view of language symmetry.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------