patch applied (ghc): An implication constraint can abstract over EqInsts

Simon Peyton Jones simonpj at microsoft.com
Sat Oct 27 12:06:42 EDT 2007

Previous message: patch applied (ghc): In an AbsBinds, the 'dicts' can include EqInsts
Next message: patch applied (ghc): Make 'improvement' work properly in TcSimplify
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sat Oct 27 08:54:33 PDT 2007  simonpj at microsoft.com
  * An implication constraint can abstract over EqInsts

    M ./compiler/typecheck/Inst.lhs -1 +1
    M ./compiler/typecheck/TcRnTypes.lhs -1 +1

Previous message: patch applied (ghc): In an AbsBinds, the 'dicts' can include EqInsts
Next message: patch applied (ghc): Make 'improvement' work properly in TcSimplify
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-ghc mailing list