[cvs-nhc98] patch applied (hat): Now hat-source uses new information about children of Hidden nodes.

Fri Oct 15 10:42:35 PDT 2004 olaf * Now hat-source uses new information about children of Hidden nodes. So now all parts of the EDT can be reached with hat-source. When the current redex has no location information, but there is a parent, then that is highlighted in the source window. Important when stepping from trusted higher-order function to applications of suspected children, which do not have location info, because they are applied in body of trusted function. M ./src/hattools/HatExplore.hs -14 +23 M ./src/hattools/LowLevel.hs +10 M ./src/hattools/artutils.c -1 +12