• Daniel Kozak (12/12) Jan 23 2014 import std.stdio;
• Timon Gehr (3/15) Jan 23 2014 1. is correct. LDC will presumably print 1. as well as soon as it is
• Daniel =?ISO-8859-1?Q?Koz=E1k?= (2/25) Jan 23 2014 OK, thanks

"Daniel Kozak" <kozzi11 gmail.com> writes:

import std.stdio;

class D : X{}

class X{}


template t1(T : void function(T)){enum t1 = "1.";}
template t1(T : void function(X)){enum t1 = "2.";}

int main(string[] argv){
     t1!(void function(D)).writeln();
     readln();
     return 0;
}

this code prints 1. on dmd and gdc but on ldc it prints 2.

Which one is correct?

Timon Gehr <timon.gehr gmx.ch> writes:

On 01/23/2014 01:44 PM, Daniel Kozak wrote:
 import std.stdio;

 class D : X{}

 class X{}


 template t1(T : void function(T)){enum t1 = "1.";}
 template t1(T : void function(X)){enum t1 = "2.";}

 int main(string[] argv){
      t1!(void function(D)).writeln();
      readln();
      return 0;
 }

 this code prints 1. on dmd and gdc but on ldc it prints 2.

 Which one is correct?

1. is correct. LDC will presumably print 1. as well as soon as it is 
updated to a more recent frontend version.

Daniel =?ISO-8859-1?Q?Koz=E1k?= <kozzi11 gmail.com> writes:

Timon Gehr píše v Čt 23. 01. 2014 v 15:42 +0100:
 On 01/23/2014 01:44 PM, Daniel Kozak wrote:
 import std.stdio;

 class D : X{}

 class X{}


 template t1(T : void function(T)){enum t1 = "1.";}
 template t1(T : void function(X)){enum t1 = "2.";}

 int main(string[] argv){
      t1!(void function(D)).writeln();
      readln();
      return 0;
 }

 this code prints 1. on dmd and gdc but on ldc it prints 2.

 Which one is correct?

 
 1. is correct. LDC will presumably print 1. as well as soon as it is 
 updated to a more recent frontend version.

OK, thanks