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

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:29:46 EDT 2006


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


More information about the Cvs-nhc98 mailing list