[MLton-devel] Problem with -exn-history true

[Matthew Fluet]

> Since the type checker does not check for this invariant, my guess is
> that we never meant to have it enforced.  

On the other hand, the type-checker doesn't even look at unreachable
blocks.  I wouldn't argue that that means that we're free to violate
scoping or SSA conditions in unreachable blocks.  In any event, other
"bad things" can be going on in unreachable blocks.



-------------------------------------------------------
This sf.net email is sponsored by: OSDN - Tired of that same old
cell phone?  Get a new here for FREE!
https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel