Re: problem in eclipse 5.0 ?

From: Joachim Schimpf <>
Date: Thu 28 Sep 2000 02:52:43 PM GMT
Message-ID: <>
Christophe Meudec wrote:
> I include the following session which makes eclipse version 5.0
> crash.
> It used to work with version 4.2
> [eclipse 3]: I::1..10, assert(f(I)).

Apologies, this should have been in the release notes:
In release 5 it is no longer allowed to compile terms containing
attributed variables (fd variable are attributed variables,
and assert invokes the compiler). You should of course get
a proper error message, but due to an unrelated bug eclipse
crashes while printing the error message...

The reason to withdraw this feature was, apart from certain
conceptual difficulties, the introduction of fcompile and the
precompiled .eco file format, which cannot easily support this.

Depending on what you want to do with the asserted term, you
can alternatively

- replace the attributed variable with a standard one before
asserting, thus losing the domain information (you can use
sepia_kernel:copy_term/3 to strip the attributes).

- use record/2 instead of assert. This will preserve the domain
information and should also be more efficient than assert.

It is almost always a bad idea to use assert/1 in Eclipse.
If you tell us what you want to achieve, we can probably
suggest a better solution.

 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /  
 London SW7 2AZ, UK         /
Received on Thu Sep 28 15:53:23 2000

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