[MLton-devel] -exn-history true (followup)

[Matthew Fluet]

> > In the short run, I guess we could just handle the property lookup
> > failure, which certainly indicates that the block doesn't exist and the
> > HandlerPush/Pop can be deleted.
> 
> How about we have eliminateDeadBlocks eliminate the busted
> HandlerPush/Pops as well?

Yeah, that's probably a better solution, athough it will slow it down a
little.  It's probably worth scanning the statements for to-be eliminated
HandlerPush/Pops and return the original block when we can.  That ought to
cut out some of the allocation.



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