Thread overview
[Issue 6806] New: struct TS(size_t){} instantiates in distinct types by `1` and `1u`
Oct 12, 2011
Denis
Oct 14, 2011
Kenji Hara
Oct 14, 2011
Kenji Hara
October 12, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=6806

           Summary: struct TS(size_t){} instantiates in distinct types by
                    `1` and `1u`
           Product: D
           Version: D1 & D2
          Platform: Other
        OS/Version: Windows
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: verylonglogin.reg@gmail.com


--- Comment #0 from Denis <verylonglogin.reg@gmail.com> 2011-10-12 12:42:00 PDT ---
The main bug is:
---
struct TS(size_t n) { }
static assert(is(TS!(1u) == TS!(1)));
---
main.d(2): Error: static assert  (is(TS!(1u) == TS!(1))) is false

The second is a minor naming 2 only bug:
---
struct TS(size_t k) { }

TS!(n) get(size_t n)() { return TS!(n)(); }

void main()
{
    //get!(1)(); //uncomment to enable D2 only type naming bug

    // The next line produces `assert(is(TS!(@@@) == TS!(1))) is false` error
    // where @@@ is replaced by `1u` if `get` call is commented, and by `n`
otherwise.
    static assert(is(TS!(1u) == TS!(1)));
}
---

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
October 14, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=6806


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid


--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> 2011-10-13 23:04:32 PDT ---
This seems to be same as bug 3467.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
October 14, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=6806


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

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


--- Comment #2 from Kenji Hara <k.hara.pg@gmail.com> 2011-10-14 01:49:11 PDT ---
*** This issue has been marked as a duplicate of issue 3467 ***

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