unexpected/incorrect error with compiled call_priority/2 (#901)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Thu 22 Feb 2001 03:09:49 PM GMT
Message-Id: <E14VxNN-0005At-00@holborn.icparc.ic.ac.uk>
[eclipse 1]: [user].
 f :- call_priority(true, '3').
 user       compiled traceable 420 bytes in 0.00 seconds
WARNING: predicate used but not declared or defined in '3' / 1 in module eclipse

yes.
[eclipse 2]: f.
calling an undefined procedure '3'(_201) in module eclipse

and

 f :- call_priority(true, f(1,2,3)).
 user       compiled traceable 464 bytes in 0.00 seconds
WARNING: predicate used but not declared or defined in f / 4 in module eclipse

yes.

 f :- call_priority(true, [1,2,3]).
 user       compiled traceable 456 bytes in 0.00 seconds
WARNING: predicate used but not declared or defined in '.' / 3 in module eclipse

==========

These are different if call_priority was not compiled:

[eclipse 2]: call_priority(true, '3').
undefined arithmetic expression _297 is '3' in module eclipse
[eclipse 3]: call_priority(true, f(1,2,3)).
undefined arithmetic expression _301 is f(1, 2, 3) in module eclipse
[eclipse 4]: call_priority(true, [1,2,3]).
undefined arithmetic expression _303 is [1, 2, 3] in module eclipse
Received on Thu Feb 22 15:09:50 2001

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