[cvs-nhc98] Haskell version of tool "hat-detect" added. Tool provides
Thorsten Brehm
thorsten@sparud.net
Tue, 28 Aug 2001 16:59:15 +0200 (CEST)
thorsten: Tue Aug 28 16:59:15 CEST 2001
Update of /usr/src/master/nhc/src/tracer/hat
In directory hinken:/tmp/cvs-serv28809
Modified Files:
HatExpression.hs HatTrace.gc HatTrie.hs Hatobserve.hs Makefile
detect.c detect.h hat-detect.c
Added Files:
Hatdetect.hs
Log Message:
Haskell version of tool "hat-detect" added. Tool provides entire
functionality of earlier C-tool, plus some enhancements:
- starting "hat-trail" and "hat-observe" from "hat-detect" is possible.
- better behaviour when going back to an earlier question. Memoisation
memory is not entirely cleared as in C, but restored to original state
at the earlier question.
(hat-detect.c now obsolete)
Haskell interface to C libraries was cleaned and structured.
Internal representation of "HatNode" now entirely hidden to the world
outside the interface.