#2893: Implement "Quantified contexts" proposal
------------------------------+---------------------------------------------
Reporter: porges | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution:
Keywords: proposal | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
------------------------------+---------------------------------------------
Changes (by guest):
* cc: [email protected] (added)
Comment:
My initial sense is this is a nice proposal.
I wonder a little bit how this would interact with other typeclass needs.
What's an example of a function that would need to be typed
{{{
:: (Monad m, forall a. Monoid (m a)) => (something or other)
}}}
? And would the compiler be able to infer the signature if it wasn't
written?
(and is this even the right forum to be asking these questions in? Who
wrote the proposal, and when?)
-Isaac Dupree
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2893#comment:1>
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
