Currently a Haskell signal handler doesn't get much information at all. There ought to be a way to access all the information that the C signal handler gets (siginfo_t).

There might be some implementation trickiness: we have to stash away the siginfo_t somewhere in the signal handler, and we have to do that without using malloc().