dot output

Stephen Weeks MLton@sourcelight.com
Mon, 26 Nov 2001 22:03:48 -0800


> I'm  very  confused  by  the dot output in the latest compiler.  I see labels
> that appear in more than one of the .cfg.dot  files.   In  the  old  MLton  I
> didn't see this happening.  What am I missing?

I don't think you should see this.  Are you sure it's not old output
from a previous run?

If you compile "-type-check true", then the alpha condition on labels
will be checked.