#4816: DeriveFunctor should not require a functor instance for functorial data
types used invariantly
---------------------------------+------------------------------------------
Reporter: batterseapower | Owner:
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Compiler | Version: 6.12.3
Keywords: | Testcase: deriving/should_compile/T4816
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => merge
* testcase: => deriving/should_compile/T4816
Comment:
Right. This is a bug, easily fixed.
{{{
Wed Dec 15 12:37:25 GMT 2010 [email protected]
* Fix a bug in functorLikeTraverse, which was giving wrong answer for
tuples
This bug led to Trac #4816, which is hereby fixed
M ./compiler/typecheck/TcDeriv.lhs -1 +1
M ./compiler/typecheck/TcGenDeriv.lhs -5 +7
}}}
I've added a test
merge when convenient.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4816#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
