#2893: Implement "Quantified contexts" proposal
---------------------------------+------------------------------------------
Reporter: porges | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: _|_
Component: Compiler | Version: 6.10.1
Keywords: proposal | Testcase:
Blockedby: | Difficulty: Unknown
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by lilac):
* failure: => None/Unknown
Comment:
[http://mainisusuallyafunction.blogspot.com/2010/09/higher-rank-type-
constraints.html This blog post] provides an excellent motivating example
for this feature.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2893#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
