limit checks

Stephen Weeks MLton@sourcelight.com
Wed, 24 Oct 2001 22:01:32 -0700


> A question on the fine dot Postscript: what is the meaning of the dotted
> arrows?  I.e., 10 of the arrows have solid lines as shafts and 6 have
> dotted lines as shafts.  Does this mean any thing?

In the control-flow graph, solid edges indicate gotos with arguments,
dashed edges indicate handling a raise coming from the callee, and
dotted edges indicate a return from the callee.