<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <title></title>

</head>

<body text="#000000" bgcolor="#ffffff">

<br>

<br>

Tim Bradshaw wrote:

<blockquote type="cite" cite="mid:43602149-C7D9-4379-84B2-85720C03134C@tfeb.org">

  <pre wrap="">On 19 Jun 2010, at 20:39, Stelian Ionescu wrote:

  </pre>

  <blockquote type="cite">

    <pre wrap="">I'd rather not start arguing about the interpretation of the standard,

but think of what is the most useful choice of implementation.

    </pre>

  </blockquote>

  <pre wrap=""><!---->

I'm not sure what the argument is here, but I would certainly want it  

to be the case that if the test function returns NIL then that restart  

absolutely can not be invoked, by anything.  To my mind that's what  

the test function is for: it's a way of programmatically saying that  

although this restart is dynamically in scope, I don't want it to be  

available.

  </pre>

</blockquote>

But what if the test function isn't called at all, because<br>

the program called find-restart, compute-restart, or<br>

invoke-restart without passing any condition argument?<br>

<br>

Taking what you said literally, "if the function returns<br>

nil" implies that the function is called at all, but I'm<br>

not sure if you meant that.<br>

<br>

The restart mechanism is only loosely coupled to the<br>

concept of conditions.<br>

<br>

-- Dan<br>

<br>

<br>

<br>

<br>

</body>

</html>