Re: Strange problem with dom/2 pred of fd constraint solver

From: J.R. van Ossenbruggen <Jacco.van.Ossenbruggen_at_cwi.nl>
Date: Fri 01 Mar 2002 05:13:46 PM GMT
Message-Id: <200203011713.g21HDkR19229@spinaker.ins.cwi.nl>
On Fri, Mar 1 2002 Joachim Schimpf wrote:

> As a quick fix, your user can erase the transformation after
> loading fd:
> 
> :- lib(fd).
> :- erase_macro(dom/2, [write]).

Yes, this seems to do the trick.  Joachim, Paulo, thanks a lot for
looking in to this.  I would never have found this myself!

-- Jacco 

PS: For Paulo: we are also using Eclipse 5.3 with eclipseiso.config.
I'm loading lib(fd) in the "class loader", the prolog file that
compiles my logtalk objects and defines the main goal predicate.  The
call to fd:dom/2 is made in one of the logtalk objects.
Received on Fri Mar 01 17:13:48 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:13 PM GMT GMT