Re: insert_suspension/4 incorrectly succeed (0919)

Kish Shen wrote:
> 
> 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).


insert_suspension(X,S,1,1)
is equivalent to
insert_suspension(X,S,inst of suspend,suspend)

and the suspend attribute is automatically created:

[eclipse 1]: make_suspension(true,3,S), insert_suspension(X,S,1,1), writeq(X).
_248{suspend : suspend(['SUSP-_234-susp'|_247] - _247, [], [])}
S = 'SUSP-_234-susp'
X = X

Delayed goals:
        true
yes.