To start with this should be easy: just fire the hook at the point where we would otherwise raise the 'unrelated branches' exception.
The slightly more subtle bit is what the caller should be able to do before we fire, and then that can let us continue.
igc asks: perhaps we should just add a general "an exception is about to happen" hook?
To start with this should be easy: just fire the hook at the point where we would otherwise raise the 'unrelated branches' exception.
The slightly more subtle bit is what the caller should be able to do before we fire, and then that can let us continue.
igc asks: perhaps we should just add a general "an exception is about to happen" hook?