Re: modules

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 22 Sep 2000 11:37:51 AM GMT
Message-ID: <39CB448E.974B87A5@icparc.ic.ac.uk> 
Stefano Novello wrote:
> 
> [eclipse 1]: use_module(m1).
> m1.pl      compiled traceable 60 bytes in 0.00 seconds
> 
> yes.
> [eclipse 2]: erase_module(m1).
> 
> yes.
> [eclipse 3]: use_module(m1).
> not a module in use_module(m1)
> [eclipse 4]:
> 
> Is this also a bug?

Ok, this was a bug...
Fixed now (this also fixes Warwick's complaint that
make/0 tried to re-create erased modules after the file
got touched)

-- 
 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 Fri Sep 22 12:37:52 2000

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