another feature request

Norman Ramsey nr@eecs.harvard.edu
Wed, 19 Sep 2001 18:01:35 -0400


 > My understanding of SMLofNJ.exnHistory is that it only gives the intervening
 > handlers on the stack, not every stack frame.  

This is my understanding also.

  > Given this, I think it would be
 > fairly easy to modify MLton's front/middle end to add an extra component to
 > exceptions (a string list ref) and to change the translation of handle
 > expressions to cons an appropriate string onto the list ref.  My guess is it's
 > only an afternoon's worth of work.

One hates to see the extra cost on a handle expression, but it can be
very difficult to diagnose these uncaught exceptions.  A compile-time
option might be suitable (with default to diagnose).

I have just sent a mail message with an uncaught exception.  I hope it
is in your code and not mine, but it's not entirely clear to me...


Norman