Re: module(eclipse) + external prediate = warning

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Mon 13 Jan 2003 03:30:25 PM GMT
Message-ID: <3E22DB91.D7196D3@icparc.ic.ac.uk> 
Ulrich Scholz wrote:
> 
> How can I use :- module(...) and prevent the "false" warnings at the same
> time?
> 
> Uli
> 
> A small example:
> 
> %
> :- external(tim_read_input / 2).
> :- module(eclipse).
> 
> init :-
>     load("tim_dkel.so"),
>     external(tim_read_input / 2, p_tim_read_input),
>     tim_read_input("foo", "bar").

Use this order:

:- module(eclipse).

:- load("tim_dkel.so"),
   external(tim_read_input / 2, p_tim_read_input).

init :-
      tim_read_input("foo", "bar").


-- 
 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 Mon Jan 13 15:30:30 2003

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