[polyml] Unable to turn on tracing

On Tuesday, May 4, 2004, at 22:35 Europe/London, Paulo Jorge de Oliveira Cantante de Matos wrote:

Hi all,

Poly/ML 4.1.3 Release

...

trace true;

Error: Value or constructor (trace) has not been declared Found near trace(true)

Static errors (pass2)

Any ideas why this happens?

You need to open PolyML.Debug. You also need to compile the code with debugging on: PolyML.Compiler.debug := true;

See http://www.polyml.org/docs/Debugging.html for a description.

It is a general policy in Poly/ML and ML implementations in general that the value and type namespaces are kept to a minimum. Any extensions are by way of structures or functors so it will almost always be necessary to open a structure to use something like this.

Regards, David.