unexpected interaction between set_interrupt_handler and set_event_handler

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Mon 09 Apr 2001 12:10:25 PM GMT
Message-Id: <E14maUz-00016p-00@holborn.icparc.ic.ac.uk>
Normally, instantiation error is raised for the following:

[eclipse 8]: set_interrupt_handler(X,Y).
instantiation fault in set_interrupt_handler(X, Y)

However, if a handler is defined for event 3 (an error that is not
defined):

[eclipse 9]: set_event_handler(3,undef/1).

yes.
[eclipse 10]: set_interrupt_handler(X,Y).
accessing an undefined procedure from set_interrupt_handler(X, Y) in module eclipse
[eclipse 11]:

if undef/1 is defined, then the instantiation error is again raised, and
undef/1 is apparently not called:

[eclipse 11]: [user].
 undef(X) :- write(hello-X).
 user       compiled traceable 92 bytes in 0.00 seconds

yes.
[eclipse 12]: set_interrupt_handler(X,Y).
instantiation fault in set_interrupt_handler(X, Y)
Received on Mon Apr 09 13:10:26 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:05 PM GMT GMT