thorsten: Thu Oct 11 19:12:48 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv28373 Modified Files: Expressions.c Hatdetect.hs Hatobserve.hs Makefile hat-checki.c hatinterface.c observe.c Log Message: Hide away top-level identifier bit in basic c interface: hatinterface. Treat as normal Identifier with additional information in the node. This avoids modifying observe/algorithmic debugging tools and Haskell representation of Redex Trail.