Re: Eclipse bug

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Thu 04 Jan 2001 09:46:09 AM GMT
Message-ID: <3A544661.6DB86784@icparc.ic.ac.uk>
Geoff Sutcliffe wrote:
> 
>     ECLiPSe Constraint Logic Programming System [kernel]
>     Copyright Imperial College London and ICL
>     Certain libraries copyright Parc Technologies Ltd
>     GMP library copyright Free Software Foundation
>     Version 5.0.0, Fri Jun 23 01:09 2000
>     [eclipse 1]: use_module(library(quintus)).
>     cio.pl     compiled traceable 2128 bytes in 0.00 seconds
>     foreign.pl compiled traceable 27012 bytes in 0.02 seconds
>     scattered.pl compiled traceable 6544 bytes in 0.01 seconds
>     cprolog.pl compiled traceable 3200 bytes in 0.02 seconds
>     quintus.pl compiled traceable 21792 bytes in 0.11 seconds
> 
>     yes.
>     [eclipse 2]: put(39).
>     Ambiguous import of put / 1 from [eclipse_language, quintus] in module eclipse
>     calling an undefined procedure put(39) in module eclipse
> 


Dear Geoff,

this is a consequence of the changes we made to the module
system in release 5.0.

The following is quoted from Reference Manual/Libraries/quintus:



The effect of the compatibility library is local to the module where it is loaded. For maximum
compatibility, a Quintus program should be wrapped in
a separate module starting with a directive like 

    :- module(mymodule, [], quintus).
    

In this case, Eclipse-specific language constructs will not be available. 

If the compatibility package is loaded into a standard module, e.g. like 

    :- module(mymixedmdule).
    :- use_module(library(quintus)).
    

then Quintus and Eclipse language features can be used together. However, ambiguities must be
resolved explicitly and confusion may arise from
the different meaning of quotes in Eclipse vs Quintus-Prolog. 



About the resolution of conflicts, please have a look at the
User Manual chapter about the module system, in particular
Module System/Advanced Topics/Solving Name Conflicts 
and
Module System/Less Common Topics/Modules Using Other Languages


-- 
 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/eclipse
Received on Thu Jan 04 09:46:11 2001

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