[cvs-nhc98] cvs commit: hat/src/hattrans TraceTrans.hs

[olaf at haskell.org]

olaf        2004/09/06 06:18:16 PDT

  Modified files:
    src/hattrans         TraceTrans.hs 
  Log:
  Changed marking of current redex slice: now the whole expression,
  not just the slice is underlined.
  (equation is underlined as well, considered more natural).
  
  Corrected search for children; now also children of a ConstUse are found and even children of variables bound in pattern bindings.
  
  Added toggling between showing current definition or current fault tree.
  
  Added toggling between showing definitions/fault tree fully or only demanded part.
  
  Added a help message.
  
  Revision  Changes    Path
  1.72      +9 -7      hat/src/hattrans/TraceTrans.hs