Re: `trace' is broken

[Martin Grabmueller]

> From: Neil Jerram <address@hidden>
> Date: 25 Jun 2001 23:34:35 +0100
> 
> >>>>> "Neil" == Neil Jerram <address@hidden> writes:
> 
> >>>>> "Martin" == Martin Grabmueller <address@hidden> writes:
>     Martin> Hello list, I was just trying out an example from the GRM,
>     Martin> node `Trace' ...
> 
>     Martin> It would be really nice if we could get that working again
>     Martin> before 1.6.
> 
>     Neil> Can you try the patch below?  It works for me with your
>     Neil> `rev' example, but perhaps there are more difficult tests
>     Neil> that you can give it.
> 
> Did anyone have any thoughts on this patch?  Should I commit it - I
> guess it can't really be worse than the current situation, which is
> that the design of traps is broken by the recent change not to allow
> lazy-catch to return.  (Hmm... but what if we use lazy-catch plus
> calling the continuation provided...?)

Thanks for providing the patch.  I wanted to look at it but was a bit
short on time.  

The patch looks good, and I will try it out this evening when I come
around doing it.  

Thanks again,
  'martin (who is a bit busy at the moment)