[GHC] #5957: signatures are too permissive

[GHC]

#5957: signatures are too permissive
----------------------------------------+-----------------------------------
    Reporter:  maeder                   |       Owner:  simonpj         
        Type:  bug                      |      Status:  new             
    Priority:  normal                   |   Milestone:                  
   Component:  Compiler (Type checker)  |     Version:  7.4.1           
    Keywords:                           |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |     Failure:  None/Unknown    
  Difficulty:  Unknown                  |    Testcase:                  
   Blockedby:                           |    Blocking:                  
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by simonpj@…):

 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(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5957#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler