D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 7064 - .stringof of eponymous struct/class/interface template
Summary: .stringof of eponymous struct/class/interface template
Status: RESOLVED WORKSFORME
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: All All
: P2 enhancement
Assignee: No Owner
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-12-04 07:33 UTC by timon.gehr
Modified: 2021-01-24 12:30 UTC (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this issue.
Description timon.gehr 2011-12-04 07:33:55 UTC
struct S(T){int x;}

template X(T){
    struct S{int x;}
}

void main(){
    pragma(msg, S!int); // "struct S"
    pragma(msg, X!int); // X!(int)
    pragma(msg, X!int.S); // "S", why not identical to first one?
}

The fact that for eponymous templates the template parameters are not shown sometimes has a severe negative impact on the readability of error messages, as well as on the usefulness of debug output via pragma(msg)

I propose that .stringof for eponymous templates should apply to the template instance instead of to the eponymous declaration.
Comment 1 timon.gehr 2011-12-04 07:36:43 UTC
But that should only be the case for templated types, for example the following should still print "1":

template X(int x) {
    enum X = x;
}
pragma(msg, X!1);
Comment 2 mhh 2021-01-24 06:40:38 UTC
No longer reproducible in '21