debugger?

[Raoul Duke]

hi, could a debugger be added, similar to common lisps?

http://lambda-the-ultimate.org/node/1544#comment-18176

[dr.mt...@gmail.com]

A good question.  The debugging environment can certainly be enhanced

and Shen is extremely bendy (unlike myself in yoga today ;)).

You can see an example of  this bendiness in TBoS where I show

how to create a Lisp-like trace stack in a few lines of code.    The

bendiness comes from access to KLambda.

But to a large degree having a type checker is much better than a bunch

of tools in untyped CL which then requires more debugging aids to

offset this deficiency.  Having a type checker plus track is enough for me. 

Possibly a Prolog tracker would be good.

But as said its easy to whip up extra stuff if you need it.  

M.

[dr.mt...@gmail.com]

I mean think about all the errors caught by type checking ....

Missing definitions

Misspelt function names

Unbound variables

Missing arguments ....

etc.

Having that to hand displaces the need for a host of debugging tools.

M.

[nha...@gmail.com]

You can always use whatever debugger is in the backend of your Shen implementation.

For the Chez scheme version you just need the continuation stored in exception objects probably.