[GHC] #4091: Parse error on curried context of instance declaration

[GHC]

#4091: Parse error on curried context of instance declaration
---------------------------------+------------------------------------------
    Reporter:  basvandijk        |        Owner:              
        Type:  feature request   |       Status:  new         
    Priority:  normal            |    Milestone:              
   Component:  Compiler          |      Version:  6.12.2      
    Keywords:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Testcase:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):

  * type:  bug => feature request


Comment:

 Well, the Haskell 98 syntax is uncurried.  GHC allows the uncurried form
 in type signatures as a convenience, because it can make a big difference
 when type synonyms are involved:
 {{{
 type T b = forall a. Eq a => a -> a -> b
 f :: Int -> T Int
 }}}
 But no one has sought it in instances before, so I have not thought about
 supporting it.

 I've changed the ticket to a feature request. If you want it, perhaps you
 can articulate why.  Currently I'd see it as low priority.

 Simon

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