[GHC] #5248: Infer type context in a type signature

[GHC]

#5248: Infer type context in a type signature
----------------------------------------+-----------------------------------
    Reporter:  gidyn                    |        Owner:                           
        Type:  feature request          |       Status:  new                      
    Priority:  normal                   |    Milestone:                           
   Component:  Compiler (Type checker)  |      Version:  7.0.3                    
    Keywords:                           |     Testcase:                           
   Blockedby:                           |   Difficulty:                           
          Os:  Unknown/Multiple         |     Blocking:                           
Architecture:  Unknown/Multiple         |      Failure:  GHC rejects valid program
----------------------------------------+-----------------------------------

Comment(by gidyn):

 Actually, that should be

 {{{
 data Eq a => Pair a = Pair {x::a, y::a}
 }}}

 Eq a => is then indeed part of the data type, rather than one of perhaps
 many constructors.

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