insert_suspension/4 incorrectly succeed (0919)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Thu 29 Mar 2001 04:26:39 PM GMT
Message-Id: <E14ifFu-0005mK-00@holborn.icparc.ic.ac.uk> 
On both patch and main branches, the following succeeds:

Version 5.1.1, Thu Mar 22 14:26 2001
....
[eclipse 2]: make_suspension(true,3,S), insert_suspension(X,S,1,1).

X = X
S = 'SUSP-_225-susp'

Delayed goals:
        true


The last argument of insert_suspension/4 should be the attribute name. `1'
should not be a valid or defined attribute name, and even if it is, X
should not contain a structure for this attribute (it is a free variable).
Received on Thu Mar 29 17:26:40 2001

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