[cvs-nhc98] patch applied (hat): Add a ' revert' keystroke to hat-trail. Used for reverting a lambda to

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:27:45 EDT 2006


Mon Jun 21 08:51:16 PDT 2004  malcolm
  * Add a 'revert' keystroke to hat-trail.  Used for reverting a lambda to
  the expression which generated it, under the strict condition that the
  lambda is the direct and only result of the application.  Occasionally
  useful in combinator programs to make the trace more readable.

    M ./src/hattools/HatTrail.hs -2 +24


More information about the Cvs-nhc98 mailing list