shadow-cons not for library(fd_sets) ??

From: Ulrich Scholz <scholz_at_intellektik.informatik.tu-darmstadt.de>
Date: Fri 30 Nov 2001 01:38:06 PM GMT
Message-Id: <20011130143806.A4309@kiwi.intellektik.informatik.tu-darmstadt.de>
Hi everybody,

I'm still experimenting with the library shadow_cons.  It appears to me that
it only works with fd but not with fd_sets.  Or am I getting something wrong
here?  

Thank you for all your answers and help.

Uli


bash$ eclipse
Version 5.2 #40, Thu Nov  8 00:21 2001
[eclipse 1]: use_module(library(fd)).
[eclipse 3]: lib(shadow_cons).
[eclipse 4]: X ::1..2,shadow_var(X,fred,Y),Y#<2.

X = X{shadow_cons:[fred - Y{[-10000000..1]}], fd:[1, 2]}
Y = Y{[-10000000..1]}


Delayed goals:
        my_copy_term(X{shadow_cons:[fred - Y{[-10000000..1]}], fd:[1, 2]}, Y, 'SUSP-_408-susp')
Yes (0.00s cpu)
[eclipse 5]: lib(fd_sets).

while

bash$ eclipse
Version 5.2 #40, Thu Nov  8 00:21 2001
[eclipse 1]: lib(fd_sets).
[eclipse 3]: lib(shadow_cons).
[eclipse 4]: intset(X, 1, 2), shadow_var(X,fred,Y), 1 in Y.
instantiation fault in get_set_attribute(Y, _375)
Abort


-- 
Ulrich Scholz

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~scholz/
Received on Fri Nov 30 13:41:54 2001

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