www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 9525] New: [CTFE] Cannot convert &S to const(S*) at compile time

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

           Summary: [CTFE] Cannot convert &S to const(S*) at compile time
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: CTFE, rejects-valid
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: verylonglogin.reg gmail.com



13:02:02 MSK ---
This code used to work in 2.061:
---
void f(T)(in T*) { }

void main()
{
    void test(alias a)()
    {
        static struct S { }
        S s;
        a(&s); // Error: Cannot convert &S to const(S*) at compile time
    }
    static assert((test!f(), true));
}
---

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Feb 17 2013
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=9525


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull



This bug is introduced by fixing bug 8504.
----
Revision: 6344a72ac2e2e597110891f7aed4b998d58f61fd
Author: Martin Nowak
Date: 2013年1月23日 2:29:57
Message:


Issue 8504 - Template attribute inferrence doesn't work
----

By fixing issue 8504, template attribute inference affects mangled name for
instantiated function.

On the other hand, the function local struct S should have independent mangled
name from the inference, but it had accidentally affected. Finally, internal
type equality check had wrongly failed.

From the implementation detail, the bug mechanism is very similar with bug
8847. Both are caused by unintended mangled name changing.

https://github.com/D-Programming-Language/dmd/pull/1669

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Feb 17 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=9525




Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/f299278adc40385730ed842664b71d92662e76dc
fix Issue 9525 - [CTFE] Cannot convert &S to const(S*) at compile time

https://github.com/D-Programming-Language/dmd/commit/2a6666541e0bcfd7491c721a8d11df5556dd4860


[Regression 2.062alpha] Issue 9525 - [CTFE] Cannot convert &S to const(S*) at
compile time

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Feb 17 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=9525




Commit pushed to staging at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/0ac44a7c31ce4b426bea608bd3679277b98ae4a7


[Regression 2.062alpha] Issue 9525 - [CTFE] Cannot convert &S to const(S*) at
compile time

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Feb 17 2013
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=9525


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla digitalmars.com
         Resolution|                            |FIXED


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