#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
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
