olaf 2004/10/15 10:42:36 PDT Modified files: src/hattools HatSource.hs LowLevel.hs artutils.c Log: 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. Revision Changes Path 1.15 +23 -14 hat/src/hattools/HatSource.hs 1.26 +10 -0 hat/src/hattools/LowLevel.hs 1.28 +12 -1 hat/src/hattools/artutils.c