[Hat] Hat bug report: hat-stack fails on simple example

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Wed Jun 30 17:33:08 EDT 2004


I wrote:

> Perhaps one day we will rewrite hat-stack in Haskell as a cut-down
> version of hat-trail.

And realised that today is the day...  Well, all the library code for
traversing the trace, and for printing trace expressions is already
there, so it is just a matter of running a little loop really.  So,
a new implementation of hat-stack has just been committed to CVS.

Regards,
    Malcolm


More information about the Hat mailing list