[cvs-nhc98] patch applied (hat): Corrected counts in the hat-observe :info command.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:20:00 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Bump development version numbers in CVS to nhc98-1.15 and hat-2.01.
Next message: [cvs-nhc98] patch applied (hat): Rearrange bug-list to make `fixed' bugs more clearly listed at the bottom.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Jun 25 06:13:53 PDT 2002  malcolm
  * Corrected counts in the hat-observe :info command.
  
  When a CAF reduces to a partial application of a function, an
  application of the CAF should count as an application of the partial
  function it reduced to.

    M ./src/hattools/hat-names.c -69 +176

Previous message: [cvs-nhc98] patch applied (hat): Bump development version numbers in CVS to nhc98-1.15 and hat-2.01.
Next message: [cvs-nhc98] patch applied (hat): Rearrange bug-list to make `fixed' bugs more clearly listed at the bottom.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list