> (define p (make-parameter 0))
> (define f
>   (lambda ()
>     (guard (e ((zero? (p)) (f))
>               (else (p)))
>       (parameterize ((p 1))
>         (raise #t)))))
>
> should never complete

Sorry for being pedantic, but how can the second definition not complete?

Did you imply an invocation of F?

Cheers

leppie

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports