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

chak at cse.unsw.edu.au chak at cse.unsw.edu.au
Mon Aug 7 15:56:48 EDT 2006

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

Sun Aug  6 17:30:56 PDT 2006  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Add some invariant checking for refinements
  Tue Aug  1 08:52:43 EDT 2006  simonpj at microsoft.com

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

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

More information about the Cvs-ghc mailing list