On Monday, July 15, 2013 13:02:54 Manfred Nowak wrote: > Jonathan M Davis wrote: > > Under what circumstances would they not be the same thing? > > http://dlang.org/statement.html#GotoStatement > At least the famous gots can make lexical ordering different to > executional ordering.
Well, what that would do would depend on what happens with gotos and try- catch-finally blocks, because scope statements are lowered to try-catch-finally blocks. So, if you know what gotos do with them (and I personally have no idea how gotos affect stuff like destructors being run when you leave the scope, since you're not leaving it normally or properly), then you can figure it out by translating the scope statements to the set of try-catch-finally statements which would have the same semantics. gotos in such a context seem like a bit of a nightmare to me though. - Jonathan M Davis
