#1835: Provide information of the instance environment
-------------------------------+--------------------------------------------
Reporter: guest | Owner: igloo
Type: feature request | Status: patch
Priority: normal | Milestone: _|_
Component: Template Haskell | Version: 6.8.1
Resolution: | Keywords:
Testcase: | Blockedby:
Difficulty: Unknown | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
-------------------------------+--------------------------------------------
Comment(by Ashley Yakeley):
{{{
class C a
instance C a => C [a]
}}}
If I lookup an instance for "C [Int]", how I discover that "C Int" is
context for it? Do I have to reify C and search its instances attempting
to type-match?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1835#comment:20>
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
