[cvs-nhc98] patch applied (yhc): Write the simplifier using the unique variables precondition/postcondition

Neil Mitchell ndmitchell at gmail.com
Thu Jun 21 14:02:48 EDT 2007

Previous message: [cvs-nhc98] patch applied (yhc): Add and export duplicateVar from FreeVar3
Next message: [cvs-nhc98] patch applied (yhc): Add and export coreSimplifyExprUniqueExt - the extensible monadic simplifier
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Jun 21 10:25:18 PDT 2007  Neil Mitchell
  * Write the simplifier using the unique variables precondition/postcondition

    M ./src/libraries/core/Yhc/Core/Simplify.hs -52 +87

Previous message: [cvs-nhc98] patch applied (yhc): Add and export duplicateVar from FreeVar3
Next message: [cvs-nhc98] patch applied (yhc): Add and export coreSimplifyExprUniqueExt - the extensible monadic simplifier
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list