dot output

[Stephen Weeks]

> In one the label has a single entry and a single exit.  In the other it still
> has  a single entry (now from a case) and the only arrow out of it is dotted.
> (Doesn't this mean an exception being handled?)

Just to be clear -- function names can of course occur in multiple dot
files.  Dotted arrows are for nontail conts, dashed are for handlers.

Best at this point is to send the SML file.  I should be able to
figure this out quickly.