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

[Matthew Fluet]

> As I recall, the shrinker does for exactly the reason
> you mention -- the DFS has to make a decision too early and I couldn't
> figure out another cheap way to enforce it.

Are there other scenarios besides HandlerPop that will result in the
shrinker holding onto 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