[cvs-nhc98] patch applied (hat): Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:28:56 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Ensure that hat-graph calls the corresponding version of hat-check.
Next message: [cvs-nhc98] patch applied (hat): Introduce a new expression marker " DoLambda" , for the lambda exps created
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Sep 24 10:36:06 PDT 2004  olaf
  * Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.

    M ./src/hattools/HatExplore.hs -7 +2

Previous message: [cvs-nhc98] patch applied (hat): Ensure that hat-graph calls the corresponding version of hat-check.
Next message: [cvs-nhc98] patch applied (hat): Introduce a new expression marker " DoLambda" , for the lambda exps created
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list