[cvs-nhc98] patch applied (hat): Bug fix: made (===) compare NExpExpanded correctly

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:34:41 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Preliminary version of expanding functional values - EDT rearangement works at least for arguments
Next message: [cvs-nhc98] patch applied (hat): Greatly improved the efficiency of pretty-hat
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Sep 26 02:05:20 PDT 2006  tatd2
  * Bug fix: made (===) compare NExpExpanded correctly

    M ./src/hattools/HatDelta.hs -1 +1
    M ./src/hattools/NodeExp.hs +2

Previous message: [cvs-nhc98] patch applied (hat): Preliminary version of expanding functional values - EDT rearangement works at least for arguments
Next message: [cvs-nhc98] patch applied (hat): Greatly improved the efficiency of pretty-hat
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list