[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