[Issue 8011] BigInt ++ and -- do wrong thing on negative numbers

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8011 Don clugd...@yahoo.com.au changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 8020] New: std.stdio can't open UTF16 file names in Windows

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8020 Summary: std.stdio can't open UTF16 file names in Windows Product: D Version: unspecified Platform: All OS/Version: Windows Status: NEW Severity: enhancement

[Issue 8016] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 Don clugd...@yahoo.com.au changed: What|Removed |Added CC||clugd...@yahoo.com.au ---

[Issue 8020] std.stdio can't open UTF16 file names in Windows

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8020 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added CC|

[Issue 8021] New: BigInt division bug

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8021 Summary: BigInt division bug Product: D Version: D2 Platform: x86 OS/Version: Windows Status: NEW Severity: normal Priority: P2 Component: Phobos

[Issue 5570] 64 bit C ABI not followed for passing structs and complex numbers as function parameters

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5570 James Miller ja...@aatch.net changed: What|Removed |Added CC||ja...@aatch.net ---

[Issue 8022] New: BigInt division bug (2)

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8022 Summary: BigInt division bug (2) Product: D Version: D2 Platform: x86 OS/Version: Windows Status: NEW Severity: normal Priority: P2 Component: Phobos

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #12 from deadalnix deadal...@gmail.com 2012-05-03 01:43:42 PDT --- (In reply to comment #11) The current specification is flawed. It have nothing to do with how inheritance work (and I could assure you I know what I'm talking

[Issue 8016] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 --- Comment #2 from Don clugd...@yahoo.com.au 2012-05-03 02:04:54 PDT --- Here's what happens. When parsing m2, it imports m1. The static assert forces it to run semantic on f(). This instantiates template t. t gets added to the list of

[Issue 7584] contract checking is too conservative for inherited contracts

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7584 --- Comment #7 from timon.g...@gmx.ch 2012-05-03 02:20:30 PDT --- (In reply to comment #6) Out contracts are anded together, meaning that *all* out contracts must pass in an inheritance hierarchy. Out contracts in overriding functions do not

[Issue 6296] ICE(glue.c): invalid template instantiated in is(typeof()).

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6296 Don clugd...@yahoo.com.au changed: What|Removed |Added Status|REOPENED|RESOLVED

[Issue 4269] Regression(2.031): invalid type accepted if evaluated while errors are gagged

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4269 Don clugd...@yahoo.com.au changed: What|Removed |Added CC||verylonglogin@gmail.com

[Issue 7955] Nested function error in sort with lambda template but not with a lambda

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7955 Denis verylonglogin@gmail.com changed: What|Removed |Added CC|

[Issue 8016] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 --- Comment #3 from Leandro Lucarella leandro.lucare...@sociomantic.com 2012-05-03 03:21:07 PDT --- https://github.com/D-Programming-Language/dmd/pull/920 Looks like this test case is exposing more bugs than we were aware of! This pull

[Issue 7917] [ICE] (toir.c 178) with nested function

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7917 Denis verylonglogin@gmail.com changed: What|Removed |Added CC|

[Issue 7413] Vector literals don't work

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 --- Comment #16 from Manu turkey...@gmail.com 2012-05-03 03:25:43 PDT --- (In reply to comment #15) (In reply to comment #14) (In reply to comment #13) (In reply to comment #12) (In reply to comment #11) Haven't done the special

[Issue 4432] DMD r575 won't build on Linux in debug mode: undefined reference to obj_long

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4432 Don clugd...@yahoo.com.au changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 8023] New: (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8023 Summary: (Regression git) Methods defined in external object files when template alias parameter is involved Product: D Version: D1 Platform: All OS/Version: All

[Issue 8016] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 --- Comment #4 from Leandro Lucarella leandro.lucare...@sociomantic.com 2012-05-03 03:45:02 PDT --- Added bug 8023. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because:

[Issue 8016] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 Leandro Lucarella leandro.lucare...@sociomantic.com changed: What|Removed |Added Keywords|pull|

[Issue 7584] contract checking is too conservative for inherited contracts

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7584 --- Comment #8 from deadalnix deadal...@gmail.com 2012-05-03 04:18:22 PDT --- (In reply to comment #6) Out contracts are anded together, meaning that *all* out contracts must pass in an inheritance hierarchy. Out contracts in overriding

[Issue 8023] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8023 --- Comment #1 from Leandro Lucarella leandro.lucare...@sociomantic.com 2012-05-03 04:22:06 PDT --- Add a test case for this bug. Even when is not reproducible in D2 right now, maybe is a good idea to have the test case anyway so it doesn't

[Issue 5499] ICE(toir.c): delegate as alias template parameter, only with -inline

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5499 Leandro Lucarella leandro.lucare...@sociomantic.com changed: What|Removed |Added CC|

[Issue 5499] ICE(toir.c): delegate as alias template parameter, only with -inline

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5499 --- Comment #7 from Leandro Lucarella leandro.lucare...@sociomantic.com 2012-05-03 04:36:34 PDT --- (In reply to comment #6) Another simpler test case, or is this another bug? --- void foo(alias f)() { f(); } void bar() {

[Issue 5499] ICE(toir.c): delegate as alias template parameter, only with -inline

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5499 --- Comment #8 from Leandro Lucarella leandro.lucare...@sociomantic.com 2012-05-03 04:37:47 PDT --- But the testcases provided here compiles in current dmd2! -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email

[Issue 4504] ICE(toir.c) nested function passed by alias to nested member function

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4504 Don clugd...@yahoo.com.au changed: What|Removed |Added Status|RESOLVED|REOPENED

[Issue 5778] Missing attributes.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5778 Oleg Kuporosov oleg.kuporo...@gmail.com changed: What|Removed |Added CC|

[Issue 8024] New: Template alias parameter is fail to compile when -inline is used

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8024 Summary: Template alias parameter is fail to compile when -inline is used Product: D Version: D1 Platform: All OS/Version: All Status: NEW Severity:

[Issue 5499] ICE(toir.c): delegate as alias template parameter, only with -inline

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5499 Leandro Lucarella leandro.lucare...@sociomantic.com changed: What|Removed |Added See Also|

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #13 from Andrei Alexandrescu and...@metalanguage.com 2012-05-03 07:05:18 PDT --- I apologize but I still think the confusion goes the other way. A good way to arbiter this is to peruse the literature on the subject, as Walter

[Issue 8020] std.stdio can't open UTF16 file names in Windows

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8020 Dmitry Olshansky dmitry.o...@gmail.com changed: What|Removed |Added CC|

[Issue 7584] contract checking is too conservative for inherited contracts

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7584 --- Comment #10 from timon.g...@gmx.ch 2012-05-03 08:53:53 PDT --- (In reply to comment #9) (In reply to comment #0) IIRC, this is how contract inheritance works in Spec#. Spec# is (ahead of) state of the art in this area. According to

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #14 from deadalnix deadal...@gmail.com 2012-05-03 10:45:19 PDT --- (In reply to comment #13) I apologize but I still think the confusion goes the other way. A good way to arbiter this is to peruse the literature on the subject, as

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #15 from Walter Bright bugzi...@digitalmars.com 2012-05-03 11:07:27 PDT --- fizbuzzA(A a) { a.foo(); // A.foo's in contract is valid } If an instance of B is passed to fizbuzzA, then the a.foo() will call B.foo(), and either

[Issue 8016] Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 --- Comment #7 from github-bugzi...@puremagic.com 2012-05-03 11:55:02 PDT --- Commit pushed to master at https://github.com/D-Programming-Language/dmd

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #16 from Don clugd...@yahoo.com.au 2012-05-03 11:56:47 PDT --- (In reply to comment #15) fizbuzzA(A a) { a.foo(); // A.foo's in contract is valid } If an instance of B is passed to fizbuzzA, then the a.foo() will call

[Issue 8025] New: std.net.curl.del should return response body.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8025 Summary: std.net.curl.del should return response body. Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: major Priority: P2

[Issue 8016] Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 8023] (Regression git) Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8023 --- Comment #2 from github-bugzi...@puremagic.com 2012-05-03 13:27:36 PDT --- Commits pushed to master at https://github.com/D-Programming-Language/dmd

[Issue 8016] Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 --- Comment #8 from github-bugzi...@puremagic.com 2012-05-03 13:28:18 PDT --- Commits pushed to master at https://github.com/D-Programming-Language/dmd

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #17 from deadalnix deadal...@gmail.com 2012-05-03 13:44:36 PDT --- (In reply to comment #15) fizbuzzA(A a) { a.foo(); // A.foo's in contract is valid } If an instance of B is passed to fizbuzzA, then the a.foo() will call

[Issue 8026] New: Fix or disallow randomShuffle() on fixed-sized arrays

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8026 Summary: Fix or disallow randomShuffle() on fixed-sized arrays Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: enhancement Priority: P2

[Issue 8026] Fix or disallow randomShuffle() on fixed-sized arrays

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8026 Jonathan M Davis jmdavisp...@gmx.com changed: What|Removed |Added CC|

[Issue 8027] New: in contract is never checked for overrided functions

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8027 Summary: in contract is never checked for overrided functions Product: D Version: D2 Platform: x86_64 OS/Version: Linux Status: NEW Severity: normal Priority: P2

[Issue 8027] in contract is never checked for overrided functions

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8027 timon.g...@gmx.ch changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Issue 6856] Preconditions are not inherited

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6856 timon.g...@gmx.ch changed: What|Removed |Added CC||adam.chrapkow...@gmail.com ---

[Issue 8027] in contract is never checked for overrided functions

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8027 timon.g...@gmx.ch changed: What|Removed |Added Resolution|DUPLICATE |INVALID --- Comment #2 from

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #18 from Walter Bright bugzi...@digitalmars.com 2012-05-03 15:37:00 PDT --- (In reply to comment #17) As you can see in given code, fizbuzzA is an invalid piece of code waiting to explode in your face. There is no bug in example

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #19 from Walter Bright bugzi...@digitalmars.com 2012-05-03 15:46:03 PDT --- (In reply to comment #16) This is the issue. WHY are they done based on the virtual type? Checking the contracts based on static typing would detect

Re: [Issue 5765] ^^ and with BigInts

2012-05-03 Thread Stian Pedersen
Hi Whats the status on a BigInt implementation of modular exponentiation?

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 Stewart Gordon s...@iname.com changed: What|Removed |Added CC||s...@iname.com ---

[Issue 8028] New: Templates sometimes-can/sometimes-can't access private symbols in same module

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8028 Summary: Templates sometimes-can/sometimes-can't access private symbols in same module Product: D Version: D2 Platform: All OS/Version: All Status: NEW

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 Stewart Gordon s...@iname.com changed: What|Removed |Added Status|RESOLVED|REOPENED

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|REOPENED|RESOLVED

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #23 from Stewart Gordon s...@iname.com 2012-05-03 18:21:44 PDT --- (In reply to comment #22) If you mean whether a given call is legal, then you could by the same argument insist that called method names must be resolved in the

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #24 from Walter Bright bugzi...@digitalmars.com 2012-05-03 18:50:03 PDT --- (In reply to comment #23) (In reply to comment #22) If you mean whether a given call is legal, then you could by the same argument insist that called

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #25 from Stewart Gordon s...@iname.com 2012-05-03 19:02:13 PDT --- (In reply to comment #24) No, I'm not. This thread is about overriding, not introducing, functions. It's about introducing new legal inputs to a function. Which

[Issue 8026] Fix or disallow randomShuffle() on fixed-sized arrays

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8026 --- Comment #2 from Jonathan M Davis jmdavisp...@gmx.com 2012-05-03 19:55:52 PDT --- https://github.com/D-Programming-Language/phobos/pull/565 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are

[Issue 8016] Methods defined in external object files when template alias parameter is involved

2012-05-03 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8016 --- Comment #9 from Walter Bright bugzi...@digitalmars.com 2012-05-03 20:19:02 PDT --- The test cases were reverted because they failed in the auto-tester. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ---