(minor?) inconsistent call_priority/2 errors (0928)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Fri 27 Apr 2001 05:40:46 PM GMT
Message-Id: <E14tCEY-0008DI-00@holborn.icparc.ic.ac.uk> 
On main branch, after merge 0f 01-04-23:

Type error or instantiation error depending on if the call_priority is 
wrapped in a call or not:

[eclipse 3]: call_priority(f(a,b), X).
type error in call_priority(f(a, b), X)
Abort
[eclipse 4]: call(call_priority(true,X)).
instantiation fault in call_priority(true, X)
Abort
[eclipse 5]: 

Predicate also aborts instead of simply raising the error as done
previously.
Received on Fri Apr 27 18:40:47 2001

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