Re: Possible Bug

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 12 Sep 2003 03:03:04 PM GMT
Message-ID: <3F61E028.70304@icparc.ic.ac.uk>
paolo wrote:
> ECLiPSe version:  Eclipse5.6 (using the tkeclipse development
> environment)
> Machine type: AMD Athlon XP 1700+
> Operating system: Windows XP 
> 
> When the flag all_dynamic is set to on, the Tracer reports the following
> error
> 
> 	procedure already defined in goal_filter / 2 in module
> tracer_tcl
> 
> Example program:
> 
> :- set_flag(all_dynamic, on).
> 
> p(a).
> 
> 
> Is this a bug?

Dear Paolo,

Yes, you could consider this a bug.
In fact, we should probably remove this flag, or restrict
it to affect only the local module. As is currently
stands, it is not very safe to use, so the best advice is
not to use it (use explicit :- dynamic declarations instead).

Thanks for your report,
-- 
  Joachim Schimpf              /             phone: +44 20 7594 8187
  IC-Parc                     /      mailto:J.Schimpf@imperial.ac.uk
  Imperial College London    /    http://www.icparc.ic.ac.uk/eclipse
Received on Fri Sep 12 16:03:09 2003

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