Thread overview
[Issue 14357] Match on specType does not check the conflict with already deduced template arguments
[Issue 14357] SDC test0128.d compiles, but should not
Mar 28, 2015
Shammah Chancellor
Mar 28, 2015
ag0aep6g@gmail.com
Mar 29, 2015
Kenji Hara
Mar 29, 2015
Ketmar Dark
Mar 29, 2015
Ketmar Dark
Mar 29, 2015
Kenji Hara
Mar 29, 2015
Ketmar Dark
March 28, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

Shammah Chancellor <shammah.chancellor@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|SC test0128.d compiles, but |SDC test0128.d compiles,
                   |should not                  |but should not

--
March 28, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

ag0aep6g@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
                 CC|                            |ag0aep6g@gmail.com

--
March 29, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull
           Hardware|x86                         |All
            Version|unspecified                 |D2
            Summary|SDC test0128.d compiles,    |Match on specType does not
                   |but should not              |check the conflict with
                   |                            |already deduced template
                   |                            |arguments
                 OS|Mac OS X                    |All

--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> ---
https://github.com/D-Programming-Language/dmd/pull/4530

--
March 29, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

Ketmar Dark <ketmar@ketmar.no-ip.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ketmar@ketmar.no-ip.org

--- Comment #2 from Ketmar Dark <ketmar@ketmar.no-ip.org> ---
the patch seems to break std.bitmanip unittests:

bitmanip.d(284): Error: template instance taggedPointer!(uint*, "x", bool,
"b1", 1, bool, "b2", 1) does not match template declaration taggedPointer(T :
T*, string name, Ts...)
bitmanip.d(396): Error: template instance taggedPointer!(int*, "a", uint, "b",
2) does not match template declaration taggedPointer(T : T*, string name,
Ts...)

--
March 29, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

Ketmar Dark <ketmar@ketmar.no-ip.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ketmar@ketmar.no-ip.org     |

--
March 29, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

--- Comment #3 from Kenji Hara <k.hara.pg@gmail.com> ---
(In reply to Ketmar Dark from comment #2)
> the patch seems to break std.bitmanip unittests:
> 
> bitmanip.d(284): Error: template instance taggedPointer!(uint*, "x", bool,
> "b1", 1, bool, "b2", 1) does not match template declaration taggedPointer(T
> : T*, string name, Ts...)
> bitmanip.d(396): Error: template instance taggedPointer!(int*, "a", uint,
> "b", 2) does not match template declaration taggedPointer(T : T*, string
> name, Ts...)

The first version had a bug so it broke dmd test suite. then I updated pull request to fix the issues.

--
March 29, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

--- Comment #4 from Ketmar Dark <ketmar@ketmar.no-ip.org> ---
thank you.

it's a pity that bugzilla has no notifications about patch updates...

--
April 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

--- Comment #5 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/94f89154f92ec87161e0dc5f300877a57924f141
fix Issue 14357 - Match on specType does not check the conflict with already
deduced template arguments

https://github.com/D-Programming-Language/dmd/commit/e52882477ff8f0f3fa9f653ec54d806a3bd7f508 Merge pull request #4530 from 9rnsr/fix14357

Issue 14357 - Match on specType does not check the conflict with already deduced template arguments

--
April 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

github-bugzilla@puremagic.com changed:

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

--
June 17, 2015
https://issues.dlang.org/show_bug.cgi?id=14357

--- Comment #6 from github-bugzilla@puremagic.com ---
Commits pushed to stable at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/94f89154f92ec87161e0dc5f300877a57924f141
fix Issue 14357 - Match on specType does not check the conflict with already
deduced template arguments

https://github.com/D-Programming-Language/dmd/commit/e52882477ff8f0f3fa9f653ec54d806a3bd7f508 Merge pull request #4530 from 9rnsr/fix14357

--