> 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.