[MLton-devel] cvs commit: unreachable blocks bugfix

[Stephen Weeks]

> Just to point it out, this bugfix relies on running the shrinker _before_
> the next type-check, else the check-scopes might fail.  

Agreed.

> The only pass that cares what labels are on HandlerPush/Pop is
> removeUnused, but it's either dropping or rewriting the label, so its
> fine.

Good.  Boy wouldn't it be nice to get rid of HandlerPush/Pop
altogether.  :-)


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