[eclipse-users] Strange behaviour with attributes.

The following code behaves very strangely for me. When you run  
'test', it prints.

c(c(c(c(c(c(c(c(c(c(c(c(c(c(c(c(c(c(c(c(...))))))))))))))))))))

but if you uncomment the line 'true', it prints:

c(X)

I've pruned this down to the simplest example I can find. I have no  
idea why it is doing this.

Malcolm

:- meta_attribute(a, []).
:- meta_attribute(b, []).

:- local struct(c(foo)).

test(X{b:B}) ?-
	% true,			% uncomment this line to change the behaviour
	A = c{foo:X},

	writeln(A),
	add_attribute(Y, A, a).
	
test :-
	add_attribute(X, 1, b),
	test(X).


--
       "An inconvenience is only an adventure wrongly considered;
        an adventure is an inconvenience rightly considered."
                 - G.K.Chesterton, On Running After Ones Hat