patch applied (ghc-fc): Add some invariant checking for refinements

Simon Peyton Jones simonpj at microsoft.com
Tue Aug 1 08:53:40 EDT 2006

Previous message: patch applied (ghc-fc): Minor tidying up
Next message: patch applied (ghc-fc): Correct grevious bug in mkSymCoercion
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Aug  1 05:52:43 PDT 2006  simonpj at microsoft.com
  * Add some invariant checking for refinements

    M ./compiler/typecheck/TcGadt.lhs -11 +29

Previous message: patch applied (ghc-fc): Minor tidying up
Next message: patch applied (ghc-fc): Correct grevious bug in mkSymCoercion
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-ghc mailing list