www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 241] New: Template function ICE

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=241

           Summary: Template function ICE
           Product: D
           Version: 0.162
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla digitalmars.com
        ReportedBy: oskar.linde gmail.com


T func(T, T c = 1)(T x) { return x * c; }
void main() { func(1.0); }

Generates (with DMD 0.162 linux):
dmd: template.c:622: void TemplateDeclaration::declareParameter(Scope*,
TemplateParameter*, Object*): Assertion `0' failed.


-- 
Jul 06 2006
next sibling parent reply Oskar Linde <oskar.lindeREM OVEgmail.com> writes:
d-bugmail puremagic.com wrote:
 http://d.puremagic.com/issues/show_bug.cgi?id=241
 
            Summary: Template function ICE
            Product: D
            Version: 0.162
           Platform: PC
         OS/Version: Linux
             Status: NEW
           Severity: normal
           Priority: P2
          Component: DMD
         AssignedTo: bugzilla digitalmars.com
         ReportedBy: oskar.linde gmail.com
 
 
 T func(T, T c = 1)(T x) { return x * c; }
 void main() { func(1.0); }
 
 Generates (with DMD 0.162 linux):
 dmd: template.c:622: void TemplateDeclaration::declareParameter(Scope*,
 TemplateParameter*, Object*): Assertion `0' failed.
 
 
Upon closer inspection, it appears that using a template TypeParameter type as a value type doesn't work. Both: func!(double)(1.0); and func!(double,1)(1.0); give: "template instance [...] does not match any template declaration" I would expect template(T,T c) {...} to work for any T such that T is a valid value type, and in other cases generate an error message on instantiation saying something like "T is not a valid template value type". If, on the other hand, the use of a template type as value parameter type is not meant to be allowed, an error message on template declaration would be helpful. /Oskar
Jul 06 2006
parent Oskar Linde <oskar.lindeREM OVEgmail.com> writes:
Oskar Linde wrote:
 d-bugmail puremagic.com wrote:
 http://d.puremagic.com/issues/show_bug.cgi?id=241

            Summary: Template function ICE
            Product: D
            Version: 0.162
           Platform: PC
         OS/Version: Linux
             Status: NEW
           Severity: normal
           Priority: P2
          Component: DMD
         AssignedTo: bugzilla digitalmars.com
         ReportedBy: oskar.linde gmail.com


 T func(T, T c = 1)(T x) { return x * c; }
 void main() { func(1.0); }

 Generates (with DMD 0.162 linux):
 dmd: template.c:622: void TemplateDeclaration::declareParameter(Scope*,
 TemplateParameter*, Object*): Assertion `0' failed.
Upon closer inspection, it appears that using a template TypeParameter type as a value type doesn't work. Both: func!(double)(1.0); and func!(double,1)(1.0); give: "template instance [...] does not match any template declaration" I would expect template(T,T c) {...} to work for any T such that T is a valid value type, and in other cases generate an error message on instantiation saying something like "T is not a valid template value type". If, on the other hand, the use of a template type as value parameter type is not meant to be allowed, an error message on template declaration would be helpful. /Oskar
Further attempts resulted in issue 242 and found that the following does work: template func(T) { template f(T c = 1)(T x) { return c*x; } } void main() { func!(double).f(5.0); // OK func!(double).f!(2.0)(5.0); // OK } /Oskar
Jul 06 2006
prev sibling next sibling parent Thomas Kuehne <thomas-dloop kuehne.cn> writes:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

d-bugmail puremagic.com schrieb am 2006-07-06:
 http://d.puremagic.com/issues/show_bug.cgi?id=241
 T func(T, T c = 1)(T x) { return x * c; }
 void main() { func(1.0); }

 Generates (with DMD 0.162 linux):
 dmd: template.c:622: void TemplateDeclaration::declareParameter(Scope*,
 TemplateParameter*, Object*): Assertion `0' failed.
Added to DStress as http://dstress.kuehne.cn/run/b/bug_template_622_A.d http://dstress.kuehne.cn/run/b/bug_template_622_B.d http://dstress.kuehne.cn/run/b/bug_template_622_C.d Thomas -----BEGIN PGP SIGNATURE----- iD8DBQFErkkPLK5blCcjpWoRAjlyAJ0YlSkOiUS7B/4or7smStmAfahBaQCeIVFH d0U7OoDuoMmndj5HyGWyGx8= =mScX -----END PGP SIGNATURE-----
Jul 07 2006
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=241


jpelcis gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED





Fixed DMD 0.163.


-- 
Jul 18 2006