[Issue 4639] Built-in primitive types cannot be used as template alias parameters

[d-bugmail at puremagic.com]

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



--- Comment #2 from Deokjae Lee <asitdepends at gmail.com> 2010-08-13 08:47:32 PDT ---
(In reply to comment #1)
> This is not a bug. From the spec:
> "Alias parameters enable templates to be parameterized with any type of D
> symbol, including global names, local names, typedef names, module names,
> template names, and template instance names. Literals can also be used as
> arguments to alias parameters."
> 
> Built-in types are not on that list.


Hmm.. I don't think so.

"parameterized with any type of D symbol, including ..."

Why are not built-in primitive types included in "any type of D symbol"?
Is there any particular reason that user defined type names (like struct names)
are allowed but built-in type names are not allowed? I think such a limitation
is not natural.
IMHO, If there is any good reason for the limitation, the phrase "any type of D
symbol" should be removed from the spec. If there are no such reasons, then
this should be considered as a bug.

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