[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.