debugger assertion failed

[GoogleCodeExporter]

What steps will reproduce the problem?

=============================
max@mini:~/projects/pure$ pure -g
Pure 0.43 (x86_64-unknown-linux-gnu) Copyright (c) 2008, 2009 by Albert Graef
This program is free software, and you are welcome to redistribute it under
certain conditions. There is ABSOLUTELY NO WARRANTY. (Type 'help copying'
for more information.)
Loaded prelude from /usr/local/lib/pure/prelude.pure.

> def make start stop = SERVICE (\_->start) (\_->stop);
> start (SERVICE start stop) = start();
> stop (SERVICE start stop) = stop();
> restart (SERVICE start stop) = stop() $$ start();
> let s = make ("--start--") ("--stop--");
> break start
> start s;
** [1] start: start (SERVICE start stop) = start ();
     start = #<closure 0x7f5601277198>; stop = #<closure 0x7f56012771e8>
(Type 'h' for help.)
: s
pure: interpreter.cc:2986: expr interpreter::bind(env&, veqnl&, expr, bool,
path): Assertion `p == x.vpath()' failed.
Aborted

==========================

I have a segmentation fault where i use the above code inside a larger
script at the same location (after the first step command in the debugger).
The segmentation fault happens immediate. Perhaps this is related.

Max

Original issue reported on code.google.com by 23.14...@gmail.com on 13 Feb 2010 at 1:45

[GoogleCodeExporter]

Yes, I can reproduce that here. Will have a closer look asap.

Original comment by aggraef@gmail.com on 14 Feb 2010 at 10:40

• Changed state: Accepted

[GoogleCodeExporter]

Fixed in r3057. Max, can you please check whether that also resolves the other
segfault you mentioned?

Original comment by aggraef@gmail.com on 15 Feb 2010 at 7:21

• Changed state: Fixed