Re: copy_term/2 in Eclipse

On Thu, 30 Aug 2007 19:25:51 +0200, Jens Claßen wrote:


[eclipse 1]: copy_term(s(X,a,Y,X), C).

X = X
Y = Y
C = s(X, a, Y, X)
Yes (0.00s cpu)

It is weird. I also get:

[eclipse 3]: A = f(X), copy_term(A,B), X = 1.

A = f(1)
B = f(X)
X = 1
Yes (0.00s cpu)

and

[eclipse 4]: copy_term(f(X),Z), Z = f(A), A == X.

No (0.00s cpu)

so it might be something (wrong) with the toplevel printing routines
and not necessarily with copy_term itself. Joachim will enligthen us, I'm
sure :-)

Cheers

Bart Demoen
.