Re: Occur-check does not work with builtin-predicate member

From: Kish Shen <k.shen_at_icparc.ic.ac.uk>
Date: Wed 05 Mar 2003 01:17:17 PM GMT
Message-ID: <3E65F8DC.CF52A80E@icparc.ic.ac.uk> 
Dear Robi,

>there seems to be a problem with the occur_check flag in >ECLiPSe.

Yes, this is a known problem that other users have reported about.
ECLiPSe starts up with the built-ins predicates, such as member/2,
precompiled. These are not compiled with the occur_check flag on, so
they would not work correctly with respect to the occur check. 

Unfortunately, the only way you can workaround this problem is to define
your own versions of such predicates as member/2, and compile those with
the occur_check flag set to on.

Cheers,

Kish Shen
IC-Parc
Imperial College
London SW7 2AZ
U.K.
Received on Wed Mar 05 13:17:18 2003

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