Thread overview
[Issue 5300] New: What type suffixes apply to with single argument template instances is undefined.
Dec 01, 2010
Bernard Helyer
Dec 03, 2010
Rainer Schuetze
Dec 03, 2010
Walter Bright
December 01, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=5300

           Summary: What type suffixes apply to with single argument
                    template instances is undefined.
           Product: D
           Version: unspecified
          Platform: Other
        OS/Version: All
            Status: NEW
          Keywords: spec
          Severity: normal
          Priority: P2
         Component: websites
        AssignedTo: nobody@puremagic.com
        ReportedBy: blood.of.life@gmail.com


--- Comment #0 from Bernard Helyer <blood.of.life@gmail.com> 2010-12-01 05:45:49 PST ---
struct Foo(T)
{
     T i;
}

void main()
{
    Foo!int* foo;  // Is this a Foo!(int*), or a Foo!(int)*?
}

The above behaviour is undefined by the documentation. Testing with DMD reveals that the latter behaviour indicated by the comment is correct.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
December 01, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=5300


bearophile_hugs@eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs@eml.cc


--- Comment #1 from bearophile_hugs@eml.cc 2010-12-01 12:36:32 PST ---
See also bug 5286

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
December 03, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=5300


Rainer Schuetze <r.sagitario@gmx.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |r.sagitario@gmx.de


--- Comment #2 from Rainer Schuetze <r.sagitario@gmx.de> 2010-12-03 01:32:14 PST ---
This is defined by the grammar here:

http://www.digitalmars.com/d/2.0/template.html#TemplateInstance

TemplateInstance:
    TemplateIdentifier !( TemplateArgumentList )
    TemplateIdentifier ! TemplateSingleArgument

TemplateSingleArgument:
    Identifier
    BasicTypeX
    CharacterLiteral
    StringLiteral
    IntegerLiteral
    FloatLiteral
    true
    false
    null
    __FILE__
    __LINE__

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
December 03, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=5300


Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla@digitalmars.com
         Resolution|                            |INVALID


--- Comment #3 from Walter Bright <bugzilla@digitalmars.com> 2010-12-03 12:13:23 PST ---
(In reply to comment #2)
> This is defined by the grammar here:

You are correct. Marked as invalid.

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