[racket-dev] Diagnosing traverse-block errors in scribble

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Jun 27 08:25:02 EDT 2013

At Thu, 27 Jun 2013 05:18:32 -0700, Matthew Flatt wrote:
> At Wed, 26 Jun 2013 16:19:55 -0400, Kathi Fisler wrote:
> > I keep getting an error "traverse-block-block: no block computed for
> > traverse-block", and am trying to understand how to interpret this.
> 
> The error means that a particular traverse block was discovered for the
> first time after the traverse pass.

I thought of another way to get the error:

  (traverse-block
   (letrec ([stuck (lambda (get set) stuck)])
     stuck))

In this case, even when the `traverse-block' is seen at traverse time,
it reaches a fixpoint without producing a block.


Posted on the dev mailing list.