[cvs-nhc98] patch applied (yhc): Add and export coreSimplifyExprUniqueExt - the extensible monadic simplifier

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

Previous message: [cvs-nhc98] patch applied (yhc): Write the simplifier using the unique variables precondition/postcondition
Next message: [cvs-nhc98] patch applied (yhc): Move changes to the invariant library
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Jun 21 10:39:22 PDT 2007  Neil Mitchell
  * Add and export coreSimplifyExprUniqueExt - the extensible monadic simplifier

    M ./src/libraries/core/Yhc/Core/Simplify.hs -8 +25

Previous message: [cvs-nhc98] patch applied (yhc): Write the simplifier using the unique variables precondition/postcondition
Next message: [cvs-nhc98] patch applied (yhc): Move changes to the invariant library
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list