>>>>> "Malcolm" == Malcolm Wallace <[EMAIL PROTECTED]> writes:
Malcolm> space-efficiency, portability, and good monitoring tools
Malcolm> (profiler/tracer).
I noticed the tracer stuff on the nhc web-site. It looks very much
like a declarative-debugger, although that term never appeared in the
documentation I read. Will it in fact be a declarative-debugger ?
If so, will it be portable to ghc ? I am aware that certain impure
functions are needed for declarative-debugging (e.g. the pointer
comparison function, and also, surely, a function to test if a term
has been evaluated). Are there any other special requirements for the
debugger / tracer ?
Tim
--
----------------------------------------------------------------------
T.R.BARBOUR Email : [EMAIL PROTECTED]
----------------------------------------------------------------------
Department of Computer Science
The University of Melbourne
Parkville, Victoria 3052
Australia
----------------------------------------------------------------------