20 Dec
2002
20 Dec
'02
9:24 p.m.
Along similar lines: I have a Twelf top-level function in server that should interrupt the current computation and return to the Twelf top-level, not to an ML debugger or the ML top-level. I saw the documentation on signals, but I don't see how to achieve the desired effect because the handler will be run in a different thread.
Any advice or help would be appreciated.
- Frank