Doesn't error-kit do this?
On Wed, Mar 11, 2009 at 10:15 PM, Mark Engelberg
wrote:
>
> I'm thinking about implementing a backtracking mechanism that throws
> errors as a way to escape out of the current computation and try
> another possibility. I'd want to create a specific error to escape,
> a
I'm thinking about implementing a backtracking mechanism that throws
errors as a way to escape out of the current computation and try
another possibility. I'd want to create a specific error to escape,
and the backtracking mechanism should only catch this very specific
error.
Now, I vaguely reca