infinite loop on array.sml

Stephen Weeks MLton@sourcelight.com
Mon, 5 Nov 2001 16:33:59 -0800


> Yeah, I get that.  It's somewhere in main_0, so it's a pain to figure out.
> I mean to ask, could the new dominator version that doesn't care about
> the graph being connected and single rooted result in a dominator tree
> that has a cycle?

Maybe there is a bug in dominator computation causing the loop, but if
it terminates, we know from the tree type

      datatype 'a t = T of 'a * 'a t vector

that the tree really is acyclic.