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

From: Paulo Moura <pmoura_at_noe.ubi.pt>
Date: Fri 01 Mar 2002 04:12:43 PM GMT
Message-Id: <29B62734-2D2F-11D6-B547-00039315BB3A@noe.ubi.pt>
On Friday, March 1, 2002, at 04:01 PM, Joachim Schimpf wrote:

> Paulo Moura wrote:
>>
>> Can this behaviour have changed in the latest Eclipse version? Using
>> Eclipse 5.3 on a NT4 box I'm unable to reproduce the problem.
>
> But I suppose you can reproduce the examples I used in my
> previous mail?

Not right now: the NT4 box is the personal computer of a fellow 
researcher and he is busy working in it. I'm still waiting for the 
Eclipse port to MacOS X ;-) ;-) Hey, is BSD based and TclTk is being 
ported by an Apple employee ;-)

> I forgot to mention that the transformations are local to modules.
> The problematic transformation will therefore only happen for
> write-statements that are issued from within modules where fd
> has been loaded. So when your logtalk compiler code and the lib(fd)
> are in different modules, everything is fine...

This probably explains why we are getting different results. In my tests 
I used, in the same source file:

:- lib(fd).

:- object(...).
	...
:- end_object.

While the in the user code the lib(fd) directive and the definition of 
the Logtalk object are (?) in separeted files.

Thanks again! Cheers,

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.3  Ext. 3257
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319732
Portugal

mailto:pmoura@noe.ubi.pt
http://www.ci.uc.pt/logtalk/pmoura.html
-----------------------------------------------------------
Received on Fri Mar 01 16:12:45 2002

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