#3958: method definitions fail to refer to method-context classes
----------------------------------------+-----------------------------------
Reporter: visionete | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.12.1
Resolution: | Keywords:
Difficulty: | Os: Linux
Testcase: | Architecture: x86_64 (amd64)
Failure: GHC rejects valid program | Patch: 0
----------------------------------------+-----------------------------------
Changes (by visionete):
* status: closed => new
* resolution: invalid =>
* patch: => 0
Comment:
Hello Simon, thanks for the response.
I'm afraid though that I don't understand what's meant by "the type b" as
used above.[[BR]]
`b' is a type variable, to be substituted for a type at some point.
I maintain that since:[[BR]]
(1) (F m) is of type Foo in the RHS of the definition of g in the body of
the instance Cbar bar statement,[[BR]]
(2) Foo is an instance of CFoo,[[BR]]
that the type variable `b' should bind to the type Foo in the body of the
instance Cbar bar statement.[[BR]]
I fail to understand what is meant by binding `b' rigidly to itself[?!] in
the class Cbar statement.
Either this would appear to be a serious bug or I'm seriously confused!
:-) Please help!
Declan
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3958#comment:2>
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
