[commit: ghc] master: Tighten up on type validity checking (4f7599d)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/4f7599dbc50bba98869be5770bdec5a59e8292c2

>---------------------------------------------------------------

commit 4f7599dbc50bba98869be5770bdec5a59e8292c2
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Apr 4 14:14:35 2012 +0100

    Tighten up on type validity checking
    
    Fixes Trac #5957, which pointed out that
      Int -> Ord a => a -> a
    is not Haskell 98

 compiler/ghc.cabal.in          |    2 +-
 compiler/typecheck/TcMType.lhs |  102 +++++++++++++++++++++++++---------------
 2 files changed, 65 insertions(+), 39 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 4f7599dbc50bba98869be5770bdec5a59e8292c2