digitalmars.D.bugs - [Issue 3682] New: is expression fails to match types
- d-bugmail puremagic.com (36/36) Jan 06 2010 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (11/11) Jan 24 2010 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (15/15) Feb 14 2010 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (31/32) Aug 24 2010 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (7/7) Sep 29 2010 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (12/12) Mar 24 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (12/12) Mar 02 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (13/13) Mar 08 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (8/8) Mar 09 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (8/8) Mar 09 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (11/11) Mar 09 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3682
- d-bugmail puremagic.com (8/8) Jan 03 2013 http://d.puremagic.com/issues/show_bug.cgi?id=3682
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Summary: is expression fails to match types
Product: D
Version: 2.038
Platform: x86
OS/Version: Windows
Status: NEW
Keywords: rejects-valid
Severity: regression
Priority: P2
Component: DMD
AssignedTo: nobody puremagic.com
ReportedBy: snake.scaly gmail.com
PST ---
contents of "a.d":
import std.typecons;
contents of "b.d":
import std.typecons;
alias Tuple!(int) tint;
compile like this:
dmd -unittest a.d b.d
error message:
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(424): Error:
static assert (is(Tuple!(string,float) == Tuple!(string,float)))
is false
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(413):
instantiated from here: Tuple!(string,float)
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(423):
instantiated from here: slice!(1,3)
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(420):
instantiated from here: Tuple!(int,string,float,double)
b.d(2): instantiated from here: Tuple!(int)
This is a regression from 2.037.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 06 2010
d-bugmail puremagic.com
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Alexey Ivanov <aifgi90 gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |aifgi90 gmail.com
---
If compiled like "dmd -unittest b.d a.d" or "dmd a.d b.d", it compiles fine,
but fails with "dmd -unittest a.d b.d"
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 24 2010
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Rainer Schuetze <r.sagitario gmx.de> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |r.sagitario gmx.de
PST ---
I've debugged this issue a bit: it seems to have to do with the unittest inside
struct Tuple(T...) auto inferring the return type of Tuple.slice(). This
triggers a recursive semantic analysis, which results in the template instance
not being resolved (the type stays qualified as TemplateInstance).
A simple workaround is moving the unittest out of the template definition of
Tuple.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Feb 14 2010
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Reduced testcase shows that it doesn't require -unittest, and it is D2-only.
--- a3682.d--------------
struct Tuple(Types...)
{
Tuple!(Types[0..1]) slice()()
{
Tuple!(Types[0..1]) x;
return x;
}
void fail()
{
Tuple!(float, double, int) a;
auto s = a.slice();
static assert(is(typeof(s) == Tuple!(float)));
}
}
---- b3682.d--------------
import a3682;
alias Tuple!(int) tint;
--------------------------
dmd a3682 b3682
a3682.d(14): Error: static assert (is(Tuple!(float) == Tuple!(float))) is
false
a3682.d(4): instantiated from here: Tuple!(float)
a3682.d(13): instantiated from here: slice!()
a3682.d(12): instantiated from here: Tuple!(float,double,int)
b3682.d(2): instantiated from here: Tuple!(int)
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Aug 24 2010
http://d.puremagic.com/issues/show_bug.cgi?id=3682 Caused by svn 318, which was fixing bug 282 "Bizarre circular import nested name invisibility issue". Regression bug 4543 was introduced at the same time. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Sep 29 2010
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Iain Buclaw <ibuclaw ubuntu.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ibuclaw ubuntu.com
The (new?) error message I get from the reduced testcase is:
a3682.d(12): Error: cannot implicitly convert expression (a.slice()) of type
Tuple!(float) to Tuple!(float)
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Mar 24 2011
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Walter Bright <bugzilla digitalmars.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |bugzilla digitalmars.com
Resolution| |WORKSFORME
12:51:49 PST ---
It works with D2 2.059 head
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Mar 02 2012
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Don <clugdbug yahoo.com.au> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|WORKSFORME |
The test case in comment 3 still fails for me with 2.059 head.
Note that the compilation order is important:
dmd a3682.d b3682.d fails, but dmd b3682.d a3682.d works.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Mar 08 2012
http://d.puremagic.com/issues/show_bug.cgi?id=3682 Commit pushed to dmd-1.x at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/38deee3916b4158b858c6e03dd5aac8dea377f19 fix Issue 3682 - Regression(2.038) is expression fails to match types -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Mar 09 2012
http://d.puremagic.com/issues/show_bug.cgi?id=3682 Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/804dc3b28752673ed402c5ec0ad9aa3cacf4f374 fix Issue 3682 - Regression(2.038) is expression fails to match types -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Mar 09 2012
http://d.puremagic.com/issues/show_bug.cgi?id=3682
Walter Bright <bugzilla digitalmars.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
14:27:45 PST ---
This one took many hours to track down :-)
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Mar 09 2012
http://d.puremagic.com/issues/show_bug.cgi?id=3682 Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/117dbe3bac35dfa2ab40de4d9f6bbb9015c1b0e8 Add test cass for issue 3682 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jan 03 2013