Hugs Nov-2003 release: traceShow goes missing

Ross Paterson ross at soi.city.ac.uk
Sat Dec 20 13:57:25 EST 2003


On Sat, Dec 20, 2003 at 11:08:25AM +0000, Ross Paterson wrote:
> On Fri, Dec 19, 2003 at 08:49:17PM +0000, Graham Klyne wrote:
> > I've just upgraded my Hugs installation to the Nov-2003 release, and I 
> > notice that function traceShow is missing from library module Debug.Trace.
> > 
> > I assume this is unintentional, as it's still mentioned in the Hugs manual.
> 
> I'm afraid it was -- Hugs now uses the same Debug.Trace as everyone else,

I meant: it was intentional (and it had already happened Nov2002 with
the +N option).


More information about the Hugs-Users mailing list