Bug 0876 (Problem handling two errors)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Thu 14 Dec 2000 03:36:00 PM GMT
Message-Id: <E146aQK-0000kr-00@tempest.icparc.ic.ac.uk>
Files to reproduce error (for 5.1) are in 0876d:

Version 5.1.0, Wed Nov 22 12:31 2000
[eclipse 1]: [bug].
test_util.pl compiled traceable 3556 bytes in 0.01 seconds
calling an undefined procedure f(X) in module test_util
====== goal unexpectedly did exit_block(abort):
f(_637)
calling an undefined procedure ignore in module main
====== goal unexpectedly did exit_block(abort):
call(f(_642)) @ main
bug.pl     compiled traceable 56 bytes in 0.04 seconds
WARNING: predicate declared but not defined in run_test / 1 in module test_util


`ignore', the Tag for an exit_block, is taken to be the procedure name in
the error message in the second case.

Cheers,

Kish
Received on Thu Dec 14 15:36:01 2000

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