Christophe Meudec wrote: > > Eclipse 5.2 crashes on > > :- lib(fd). > :- dynamic b/1. > try(R) :- > X :: -5..50, > X#= Y*Y, > assert(b(X)), > Y #= 3, > b(R). > > with a wish83 fatal error. > The command line also crashes. > Asserting attributed variables with delayed constraints attached seems > to be the problem. The crashing behaviour is fixed in releases 5.3 and newer, you get a proper error message instead. It is not possible to compile or assert clauses containing attributed variables (fd-variables are attributed variables), since the meaning would be quite ill-defined. If you tell us what you want to achieve with your code, we may be able to suggest a solution! -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Thu Oct 03 14:29:52 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:17 PM GMT GMT