Re: Ctrl-D

[Sam S. <sd...@gn...>]

> * Bruno Haible <oe...@py...t> [2004-06-04 13:58:05 +0200]:
>
> Sam wrote:
>> > Nope, when I enter   (assert (integerp pi))
>> > then Ctrl-D effectively does a retry.
>>
>> C-d means CONTINUE, in ASSERT that means retry
>> (after maybe entering new values).
>
> We are free to define what Ctrl-D means. Since CONTINUE is not the
> right restart to call in the case of ASSERT with no places, then
> Ctrl-D should call the ABORT restart instead, in this case.

So sometimes in ASSERT C-d will do CONTINUE and sometimes ABORT?!
What are you smoking?

-- 
Sam Steingold (http://www.podval.org/~sds) running w2k
<http://www.camera.org> <http://www.iris.org.il> <http://www.memri.org/>
<http://www.mideasttruth.com/> <http://www.honestreporting.com>
The only thing worse than X Windows: (X Windows) - X