Re: [eclipse-users] Bug: ic_symbolic:get_domain_as_list

From: Joachim Schimpf <js10_at_...2...>
Date: Mon, 12 Mar 2007 16:37:29 +0000
Malcolm Ryan wrote:
 > ic_get_domain_as_list/2 is broken. It doesn't handle the case when a  variable's domain 
only contains a single element:
 >
 > [eclipse 1]: lib(ic_symbolic).
 > [eclipse 2]: local domain(abc(a,b,c)).
 > [eclipse 3]: V &:: [a], get_domain_as_list(V, L).
 >
 > No (0.00s cpu)

Thanks, this will be fixed in build 5.10#56 and later.

-- Joachim
Received on Mon Mar 12 2007 - 16:38:05 CET

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST