Re: lib(ic_symbolic)

Hi Mark,

Thanks for the bug report.  It should be fixed in 5.8#89 and 5.9#9.

Cheers,
Warwick

On Sun, Apr 03, 2005 at 04:49:47PM +1100, Mark Wallace wrote:
> Hi,
> In ECLiPSe 5.8, if you initialise a variable with a symbolic domin of 
> size 1 it doesn't get instantiated:
> ?- X &:: [a].
> X = X{[a]}
> There is 1 delayed goal.
> Yes (0.00s cpu)
>    Cheers
>      Mark
> (For integer domains it instantiates the variable)
> 
> -- 
> Mark Wallace
> Faculty of Information Technology
> Monash University
> Building 63, 
> Clayton
> Vic 3800
> Australia
> Tel: +61 3 9905 1367
> Fax: +61 3 9905 8731
>