www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Made a Rage-Comic about D

reply David <d dav1d.de> writes:
http://cheezburger.com/6361837056

I stumbled across two of this "bugs" in less than one hour.
Jun 23 2012
next sibling parent reply "Bernard Helyer" <b.helyer gmail.com> writes:
Post code, that sounds interesting. Like, how does it even know 
what a string is? That information should have decayed. So it's 
either a compiler bug or a static assert gone awry*.






*or a false dichotomy
Jun 23 2012
parent reply David <d dav1d.de> writes:
Am 23.06.2012 13:43, schrieb Bernard Helyer:
 Post code, that sounds interesting. Like, how does it even know what a
 string is? That information should have decayed. So it's either a
 compiler bug or a static assert gone awry*.






 *or a false dichotomy

The cool thing is, I wasn't able to track it down until now, since line numbers are completly messed up because of a heavy use of mixin() and CTFE.
Jun 23 2012
next sibling parent reply David <d dav1d.de> writes:
 The cool thing is, I wasn't able to track it down until now, since line
 numbers are completly messed up because of a heavy use of mixin() and CTFE.

s/until now/so far/
Jun 23 2012
parent David <d dav1d.de> writes:
Am 23.06.2012 13:49, schrieb David:
 The cool thing is, I wasn't able to track it down until now, since line
 numbers are completly messed up because of a heavy use of mixin() and
 CTFE.

s/until now/so far/

Seems like I did already fix that, https://github.com/D-Programming-Language/phobos/pull/482 Now I get linker errors, yay \o/
Jun 23 2012
prev sibling parent David <d dav1d.de> writes:
Am 24.06.2012 02:09, schrieb Robert Clipsham:
 #line is a godsend when working with string mixins.

 mixin(`#line ` ~ (30_000 + __LINE__).stringof ~ `
 // Some really long code here
 // The line numbers will be correct but plus 30_000
 // Making it fairly simple to debug.
 `);

 --
 Robert
 http://octarineparrot.com/

Actually, add another 1 to that, my bad! -- Robert http://octarineparrot.com/

Nice workaround, but I hope there will be sometime a proper solution in DMD :/ *dreams*
Jun 24 2012
prev sibling next sibling parent reply "Tobias Pankrath" <tobias pankrath.net> writes:
On Saturday, 23 June 2012 at 11:22:26 UTC, David wrote:
 http://cheezburger.com/6361837056

 I stumbled across two of this "bugs" in less than one hour.

I am currently writing a sat solver for educational purposes and hit a handful of bugs both in dmd and phobos. Still not able to reduce all of them, so that I can report them. It sucks if you don't know whether it's a bug your you are doing something wrong with the language. At least they get fixed.
Jun 23 2012
parent David <d dav1d.de> writes:
Am 23.06.2012 19:28, schrieb Tobias Pankrath:
 On Saturday, 23 June 2012 at 11:22:26 UTC, David wrote:
 http://cheezburger.com/6361837056

 I stumbled across two of this "bugs" in less than one hour.

I am currently writing a sat solver for educational purposes and hit a handful of bugs both in dmd and phobos. Still not able to reduce all of them, so that I can report them. It sucks if you don't know whether it's a bug your you are doing something wrong with the language. At least they get fixed.

Yeah sometimes it's quite frustrating, but on the other hands you have those moments, fuck yeah it works! with a code which is unique to D, e.g. I was able to reduce a nearly 2k lines monster of a protocol implementation down to 300 lines with a heavy use of CTFE magic.
Jun 23 2012
prev sibling next sibling parent d coder <dlang.coder gmail.com> writes:
--f46d04083de77ec9cb04c32741d3
Content-Type: text/plain; charset=ISO-8859-1

On Sat, Jun 23, 2012 at 10:58 PM, Tobias Pankrath <tobias pankrath.net>wrote:

 I am currently writing a sat solver for educational purposes

How mature is the sat solver yet? Do you plan to release it at some point of time? Regards - Puneet --f46d04083de77ec9cb04c32741d3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable <br><br><div class=3D"gmail_quote">On Sat, Jun 23, 2012 at 10:58 PM, Tobias= Pankrath <span dir=3D"ltr">&lt;<a href=3D"mailto:tobias pankrath.net" targ= et=3D"_blank">tobias pankrath.net</a>&gt;</span> wrote:<br><blockquote clas= s=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;pad= ding-left:1ex"> I am currently writing a sat solver for educational purposes</blockquote></= div><br><div>How mature is the sat solver yet? Do you plan to release it at= some point of time?</div><div><br></div><div>Regards</div><div>- Puneet</d= iv> <div><br></div> --f46d04083de77ec9cb04c32741d3--
Jun 23 2012
prev sibling next sibling parent "Tobias Pankrath" <tobias pankrath.net> writes:
On Saturday, 23 June 2012 at 17:47:04 UTC, d coder wrote:
 On Sat, Jun 23, 2012 at 10:58 PM, Tobias Pankrath 
 <tobias pankrath.net>wrote:

 I am currently writing a sat solver for educational purposes

How mature is the sat solver yet? Do you plan to release it at some point of time? Regards - Puneet

It was a DPLL with simple BCP yesterday and is a non functional blob today :-). I don't think I will push this to the state of the art. I plan for a conflict driver clause learning solver, that chooses variables like chaff and does non-chronological backtracking plus 2-watched-literal BCP. IF I have enough time to do this. I'm new to sat and need to understand all of the above first :-). If you need a mature one, it seems that minisat can be easily made available or ported to D. I'd do this, if it weren't for educational purposes.
Jun 23 2012
prev sibling next sibling parent Jonathan M Davis <jmdavisProg gmx.com> writes:
On Saturday, June 23, 2012 13:46:51 David wrote:
 The cool thing is, I wasn't able to track it down until now, since line
 numbers are completly messed up because of a heavy use of mixin() and CTFE.

Which is why I _never_ put newlines in string mixins. - Jonathan M Davis
Jun 23 2012
prev sibling next sibling parent "Robert Clipsham" <robert octarineparrot.com> writes:
On Saturday, 23 June 2012 at 23:37:11 UTC, Jonathan M Davis wrote:
 On Saturday, June 23, 2012 13:46:51 David wrote:
 The cool thing is, I wasn't able to track it down until now, 
 since line
 numbers are completly messed up because of a heavy use of 
 mixin() and CTFE.

Which is why I _never_ put newlines in string mixins. - Jonathan M Davis

#line is a godsend when working with string mixins. mixin(`#line ` ~ (30_000 + __LINE__).stringof ~ ` // Some really long code here // The line numbers will be correct but plus 30_000 // Making it fairly simple to debug. `); -- Robert http://octarineparrot.com/
Jun 23 2012
prev sibling next sibling parent "Robert Clipsham" <robert octarineparrot.com> writes:
 #line is a godsend when working with string mixins.

 mixin(`#line ` ~ (30_000 + __LINE__).stringof ~ `
 // Some really long code here
 // The line numbers will be correct but plus 30_000
 // Making it fairly simple to debug.
 `);

 --
 Robert
 http://octarineparrot.com/

Actually, add another 1 to that, my bad! -- Robert http://octarineparrot.com/
Jun 23 2012
prev sibling parent "David Nadlinger" <see klickverbot.at> writes:
On Sunday, 24 June 2012 at 00:08:27 UTC, Robert Clipsham wrote:
 // The line numbers will be correct but plus 30_000

You shouldn't do it with that value in std.datetime, though… :P David
Jun 23 2012