digitalmars.D.announce - dmd 1.048 and 2.033 releases
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- Tim Matthews <tim.matthews7 gmail.com> Oct 05 2009
- "Denis Koroskin" <2korden gmail.com> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- "Denis Koroskin" <2korden gmail.com> Oct 05 2009
- bearophile <bearophileHUGS lycos.com> Oct 05 2009
- "Steven Schveighoffer" <schveiguy yahoo.com> Oct 05 2009
- Jacob Carlborg <doob me.com> Oct 05 2009
- Jacob Carlborg <doob me.com> Oct 05 2009
- bearophile <bearophileHUGS lycos.com> Oct 05 2009
- Ary Borenszweig <ary esperanto.org.ar> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- Stewart Gordon <smjg_1998 yahoo.com> Oct 05 2009
- Kagamin <spam here.lot> Oct 06 2009
- Stewart Gordon <smjg_1998 yahoo.com> Oct 10 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- "Denis Koroskin" <2korden gmail.com> Oct 05 2009
- "Steven Schveighoffer" <schveiguy yahoo.com> Oct 05 2009
- Leandro Lucarella <llucax gmail.com> Oct 05 2009
- Lutger <lutger.blijdestijn gmail.com> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- "Vladimir Panteleev" <thecybershadow gmail.com> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- Jason House <jason.james.house gmail.com> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- Jason House <jason.james.house gmail.com> Oct 06 2009
- MIURA Masahiro <echochamber gmail.com> Oct 05 2009
- Walter Bright <newshound1 digitalmars.com> Oct 05 2009
- MIURA Masahiro <echochamber gmail.com> Oct 05 2009
Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Oct 05 2009
Walter Bright wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
3301 didn't make this release. Is there outstanding problems with Rainer's patch? Thanks anyway.
Oct 05 2009
"Denis Koroskin" <2korden gmail.com> On Mon, 05 Oct 2009 13:07:04 +0400, Tim Matthews <tim.matthews7 gmail.com> wrote:Walter Bright wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
3301 didn't make this release. Is there outstanding problems with Rainer's patch? Thanks anyway.
I wonder the same. It's a blocker, and I'm forced to use DMD2.031 for that reason.
Oct 05 2009
Tim Matthews wrote:3301 didn't make this release. Is there outstanding problems with Rainer's patch? Thanks anyway.
I just need more time to study that one.
Oct 05 2009
On Mon, 05 Oct 2009 14:23:26 +0400, Nick Sabalausky <a a.a> wrote:"Walter Bright" <newshound1 digitalmars.com> wrote in message news:hac8nb$26j6$1 digitalmars.com...Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
"Compiler now detects some cases of illegal null dereferencing when compiled with -O" A bug-detection feature that's turned on with -O? I assume that's just a temporary situation and is related to either it currently being detected by the optimizer and the feature maybe being in a "trial" phase? Or maybe just a typo? ;)
No, it's not: void main() { Object o; o.toString(); } # dmd test.d // fine # dmd test.d -O // test.d(4): Error: null dereference in function _Dmain (mangled name, is it done on purpose?) Nice start, anyway, I'm looking forward to having a complete code flow analysis soon :)
Oct 05 2009
Can someone show an usage example of contract inheritance? (where inheritance
is useful).
Regarding the fixed bugs 2702 and 2469, I'm having problems still, at the
bottom y is 0:
import std.stdio: writeln;
import std.conv: to;
struct Ranged(int RANGED_MIN, int RANGED_MAX) {
int x_ = RANGED_MIN;
int x() { return this.x_; }
int x(int xx) { this.x_ = xx; return xx; }
alias x this;
invariant() {
//assert(this.x_ >= RANGED_MIN, "Ranged value too much small");
assert(this.x_ < RANGED_MAX, "Ranged value too much big");
}
//Ranged opCast(int xx) { return Ranged(xx); }
string toString() { return to!string(this.x_); }
}
void main() {
typedef Ranged!(10, 20) ranged;
ranged x;
writeln(x);
//ranged y = 1000; // temp.d(23): Error: cannot implicitly convert
expression (1000) of type int to ranged
ranged y = cast(ranged)100;
writeln(y); // 0?
}
Bye,
bearophile
Oct 05 2009
On Mon, 05 Oct 2009 03:54:22 -0400, Walter Bright <newshound1 digitalmars.com> wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Excellent work! It looks like a lot of mundane bugs are getting fixed, which is a good sign :) A couple questions: 1. "The result type of the typeid(type) is now the most derived TypeInfo class, rather than the TypeInfo base class" Why can't this be propogated to D1? I can't imagine code that depends on the return value being typed as TypeInfo that would not simply just work with the most derived return type... 2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason? -Steve
Oct 05 2009
On 10/5/09 13:49, Steven Schveighoffer wrote:On Mon, 05 Oct 2009 03:54:22 -0400, Walter Bright <newshound1 digitalmars.com> wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Excellent work! It looks like a lot of mundane bugs are getting fixed, which is a good sign :) A couple questions: 1. "The result type of the typeid(type) is now the most derived TypeInfo class, rather than the TypeInfo base class" Why can't this be propogated to D1? I can't imagine code that depends on the return value being typed as TypeInfo that would not simply just work with the most derived return type... 2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason?
There are some traces of it in the code: http://www.dsource.org/projects/dmd/changeset/195 search for "property".-Steve
Oct 05 2009
On 10/5/09 15:46, Steven Schveighoffer wrote:On Mon, 05 Oct 2009 09:12:32 -0400, Denis Koroskin <2korden gmail.com> wrote:On Mon, 05 Oct 2009 16:55:49 +0400, Jacob Carlborg <doob me.com> wrote:On 10/5/09 13:49, Steven Schveighoffer wrote:On Mon, 05 Oct 2009 03:54:22 -0400, Walter Bright <newshound1 digitalmars.com> wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Excellent work! It looks like a lot of mundane bugs are getting fixed, which is a good sign :) A couple questions: 1. "The result type of the typeid(type) is now the most derived TypeInfo class, rather than the TypeInfo base class" Why can't this be propogated to D1? I can't imagine code that depends on the return value being typed as TypeInfo that would not simply just work with the most derived return type... 2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason?
There are some traces of it in the code: http://www.dsource.org/projects/dmd/changeset/195 search for "property".-Steve
int bar() property { return 42; } writeln(bar); Yay! :)
Cool :) Unfortunately, this still compiles :( int bar() { return 42; } writeln("%d", bar); And this too: int bar() property { return 42; } writeln("%d", bar()); So it appears that property is a noop for now, but is valid syntax. Also interesting from this revelation is that attributes are coming :D
I just hope that they also will be user defined.int bar() blah { return 42; } #../dmd-2.033/linux/bin/dmd -w testme.d testme.d(8): valid attribute identifiers are property, not blah -Steve
Oct 05 2009
Steven Schveighoffer:Also interesting from this revelation is that attributes are coming :D
Despite all, it seems sometimes Walter listens :-) Maybe this syntax will be allowed (attribute before instead of after function name): property int bar() {... Bye, bearophile
Oct 05 2009
bearophile wrote:Steven Schveighoffer:Also interesting from this revelation is that attributes are coming :D
Despite all, it seems sometimes Walter listens :-)
Wow, indeed he does. :-D
Oct 05 2009
Denis Koroskin wrote:Yay! :)
It's only half-implemented. Don't use it yet :-(
Oct 05 2009
Denis Koroskin wrote: <snip>int bar() property { return 42; }
What is going to be used for generally? (What is the essential difference between an attribute that's an word and one that's a simple keyword before or after the type?) Stewart.
Oct 05 2009
Stewart Gordon Wrote:What is going to be used for generally? (What is the essential difference between an attribute that's an word and one that's a simple keyword before or after the type?)
Annotations can be user-defined and can contain data.
Oct 06 2009
Kagamin wrote:Stewart Gordon Wrote:What is going to be used for generally? (What is the essential difference between an attribute that's an word and one that's a simple keyword before or after the type?)
Annotations can be user-defined and can contain data.
But property clearly cannot be user-defined, unless it's merely a new kind of documentation comment with no meaning as far as the language is concerned. So what is its status as an annotation being used for here? Stewart.
Oct 10 2009
Steven Schveighoffer wrote:1. "The result type of the typeid(type) is now the most derived TypeInfo class, rather than the TypeInfo base class" Why can't this be propogated to D1? I can't imagine code that depends on the return value being typed as TypeInfo that would not simply just work with the most derived return type...
Changing the spec constantly for D1 makes it not stable.2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason?
It's high on the list, it's just that there were some important improvements that I felt should be released now rather than holding them back.
Oct 05 2009
On Mon, 05 Oct 2009 16:55:49 +0400, Jacob Carlborg <doob me.com> wrote:On 10/5/09 13:49, Steven Schveighoffer wrote:On Mon, 05 Oct 2009 03:54:22 -0400, Walter Bright <newshound1 digitalmars.com> wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Excellent work! It looks like a lot of mundane bugs are getting fixed, which is a good sign :) A couple questions: 1. "The result type of the typeid(type) is now the most derived TypeInfo class, rather than the TypeInfo base class" Why can't this be propogated to D1? I can't imagine code that depends on the return value being typed as TypeInfo that would not simply just work with the most derived return type... 2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason?
There are some traces of it in the code: http://www.dsource.org/projects/dmd/changeset/195 search for "property".-Steve
int bar() property { return 42; } writeln(bar); Yay! :)
Oct 05 2009
On Mon, 05 Oct 2009 09:12:32 -0400, Denis Koroskin <2korden gmail.com> wrote:On Mon, 05 Oct 2009 16:55:49 +0400, Jacob Carlborg <doob me.com> wrote:On 10/5/09 13:49, Steven Schveighoffer wrote:On Mon, 05 Oct 2009 03:54:22 -0400, Walter Bright <newshound1 digitalmars.com> wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Excellent work! It looks like a lot of mundane bugs are getting fixed, which is a good sign :) A couple questions: 1. "The result type of the typeid(type) is now the most derived TypeInfo class, rather than the TypeInfo base class" Why can't this be propogated to D1? I can't imagine code that depends on the return value being typed as TypeInfo that would not simply just work with the most derived return type... 2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason?
There are some traces of it in the code: http://www.dsource.org/projects/dmd/changeset/195 search for "property".-Steve
int bar() property { return 42; } writeln(bar); Yay! :)
Cool :) Unfortunately, this still compiles :( int bar() { return 42; } writeln("%d", bar); And this too: int bar() property { return 42; } writeln("%d", bar()); So it appears that property is a noop for now, but is valid syntax. Also interesting from this revelation is that attributes are coming :D int bar() blah { return 42; } #../dmd-2.033/linux/bin/dmd -w testme.d testme.d(8): valid attribute identifiers are property, not blah -Steve
Oct 05 2009
Jacob Carlborg, el 5 de octubre a las 16:08 me escribiste:2. A while ago, (I can't find the post, it may have been on reddit) you mentioned that you were going to add property notation. Is that still going to happen? I'm really looking forward to that, and if not, is there a reason?
There are some traces of it in the code: http://www.dsource.org/projects/dmd/changeset/195 search for "property".-Steve
int bar() property { return 42; } writeln(bar); Yay! :)
Cool :) Unfortunately, this still compiles :( int bar() { return 42; } writeln("%d", bar); And this too: int bar() property { return 42; } writeln("%d", bar()); So it appears that property is a noop for now, but is valid syntax. Also interesting from this revelation is that attributes are coming :D
I just hope that they also will be user defined.
Ok, this is getting interesting... 8-) -- Leandro Lucarella (AKA luca) http://llucax.com.ar/ ---------------------------------------------------------------------- GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145 104C 949E BFB6 5F5A 8D05) ---------------------------------------------------------------------- Dentro de 30 años Argentina va a ser un gran supermercado con 15 changuitos, porque esa va a ser la cantidad de gente que va a poder comprar algo. -- Sidharta Wiki
Oct 05 2009
Nick Sabalausky wrote:"Walter Bright" <newshound1 digitalmars.com> wrote in message news:hac8nb$26j6$1 digitalmars.com...Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
"Compiler now detects some cases of illegal null dereferencing when compiled with -O" A bug-detection feature that's turned on with -O? I assume that's just a temporary situation and is related to either it currently being detected by the optimizer and the feature maybe being in a "trial" phase? Or maybe just a typo? ;)
Somewhere in the huge thread(s) on the topic Walter mentioned the optimizer does (some of) the required flow analysis, so presumably it needs to run in order for this to work.
Oct 05 2009
Nick Sabalausky wrote:"Compiler now detects some cases of illegal null dereferencing when compiled with -O" A bug-detection feature that's turned on with -O? I assume that's just a temporary situation and is related to either it currently being detected by the optimizer and the feature maybe being in a "trial" phase? Or maybe just a typo? ;)
No, it's deliberate. Turns out, in order for it to work reliably and not give false positives, it needs the full attention of the optimizer. Otherwise, you get false positives like: int* p = null; ... if (p) *p = 7;
Oct 05 2009
Nick Sabalausky wrote:I see, but is that just a temporary situation? I'm fine with it for now, but optimizers are known for conflicting with debugging, so in the long run I'd hate to have to split my debug builds into separate "maximum static analysis" vs "debuggable" builds (I already had been forced to split my debug builds into separate "debug with warnings" and "debug without warnings" builds, which was a real pain in the ass until I started hacking in that "optionally treat warnings as warnings" patch...but I've had to temporarily abandon use of even that since I'm working on a multi-build-version tool, used by some projects I've released, and none of those should have to be reliant on a feature that only exists in a custom build of DMD).
Just build your releases with -O.
Oct 05 2009
On Mon, 05 Oct 2009 10:54:22 +0300, Walter Bright <newshound1 digitalmars.com> wrote:gdb stack trace should work now
Could someone please elaborate on this a bit (what exactly was changed), or at least point to the respective SVN revision or something? -- Best regards, Vladimir mailto:thecybershadow gmail.com
Oct 05 2009
Vladimir Panteleev wrote:On Mon, 05 Oct 2009 10:54:22 +0300, Walter Bright <newshound1 digitalmars.com> wrote:gdb stack trace should work now
Could someone please elaborate on this a bit (what exactly was changed), or at least point to the respective SVN revision or something?
All the changes are in dwarf.c.
Oct 05 2009
Which gdb should this release work with? I seem to have misplaced my patched gdb. The standard gdb 6.8 can show backtraces but can't list code, even if the code is linked in libraries from C++. Walter Bright wrote:Another OSX 10.5 release :-) Anyhow, this should work with gdb now, and has contract inheritance (finally). http://www.digitalmars.com/d/1.0/changelog.html http://ftp.digitalmars.com/dmd.1.048.zip http://www.digitalmars.com/d/2.0/changelog.html http://ftp.digitalmars.com/dmd.2.033.zip Many thanks to the numerous people who contributed to this update.
Oct 05 2009
Jason House wrote:Which gdb should this release work with? I seem to have misplaced my patched gdb. The standard gdb 6.8 can show backtraces but can't list code, even if the code is linked in libraries from C++.
If you're using the standard gdb, try compiling with -gc. I'm using whatever gdb came with Ubuntu.
Oct 05 2009
Walter Bright Wrote:Jason House wrote:Which gdb should this release work with? I seem to have misplaced my patched gdb. The standard gdb 6.8 can show backtraces but can't list code, even if the code is linked in libraries from C++.
If you're using the standard gdb, try compiling with -gc. I'm using whatever gdb came with Ubuntu.
My mini dmd test omitted that... Oops It turns out the issue with my larger project was that g++ -g -O3 generates really, really bad debug info. So bad that it's practically unusable. Removing -O3 did wonders...
Oct 06 2009
Jason House wrote:The standard gdb 6.8 can show backtraces but can't list code, even if the code is linked in libraries from C++.
Can gdb *always* list code for you? For me, it sometimes does, sometimes doesn't. ---- cut here ---- % cat -n foo.d 1 import std.stdio; 2 3 void main() 4 { 5 *(cast(ubyte*)0) = 0; // intentional SEGV 6 // writefln("hello"); 7 } % dmd -gc foo.d; /usr/bin/gdb --quiet ./foo (gdb) run Starting program: /home/miura/work/foo [Thread debugging using libthread_db enabled] [New Thread 0xb7dde6f0 (LWP 12300)] Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 0xb7dde6f0 (LWP 12300)] 0x08049239 in _Dmain () at foo.d:5 5 *(cast(ubyte*)0) = 0; // intentional SEGV (gdb) list 1 import std.stdio; 2 3 void main() 4 { 5 *(cast(ubyte*)0) = 0; // intentional SEGV 6 // writefln("hello"); 7 } (gdb) backtrace #0 0x08049239 in _Dmain () at foo.d:5 #1 0x08049514 in _D2rt6dmain24mainUiPPaZi7runMainMFZv () #2 0x0804931d in _D2rt6dmain24mainUiPPaZi7tryExecMFMDFZvZv () #3 0x08049556 in _D2rt6dmain24mainUiPPaZi6runAllMFZv () #4 0x0804931d in _D2rt6dmain24mainUiPPaZi7tryExecMFMDFZvZv () #5 0x080492c8 in main () (gdb) ---- cut here ---- Uncomment the line 6, and gdb is now unable to list code: ---- cut here ---- % dmd -gc foo.d; /usr/bin/gdb --quiet ./foo (gdb) run Starting program: /home/miura/work/foo [Thread debugging using libthread_db enabled] [New Thread 0xb7d696f0 (LWP 12311)] Dwarf Error: Cannot find DIE at 0x846 referenced from DIE at 0x165 [in module /home/miura/work/foo] (gdb) list 1 // Written in the D programming language. 2 3 /** 4 Standard I/O functions that extend $(B std.c.stdio). $(B std.c.stdio) 5 is $(D_PARAM public)ally imported when importing $(B std.stdio). 6 7 Macros: 8 WIKI=Phobos/StdStdio 9 10 Copyright: Copyright Digital Mars 2007 - 2009. Dwarf Error: Cannot find DIE at 0x846 referenced from DIE at 0x165 [in module /home/miura/work/foo] (gdb) backtrace Dwarf Error: Cannot find DIE at 0x846 referenced from DIE at 0x165 [in module /home/miura/work/foo] Dwarf Error: Cannot find DIE at 0x846 referenced from DIE at 0x165 [in module /home/miura/work/foo] (gdb) ---- cut here ---- That's Kubuntu 32bit 9.04, gdb 6.8, and DMD 2.033.
Oct 05 2009
MIURA Masahiro wrote:Uncomment the line 6, and gdb is now unable to list code:
Please post to bugzilla.
Oct 05 2009
Walter Bright wrote:Please post to bugzilla.
Done! http://d.puremagic.com/issues/show_bug.cgi?id=3368
Oct 05 2009