#2888: Source file that compiled fine no longer compiles after touching it.
---------------------------------+------------------------------------------
Reporter: Eelis- | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by simonpj):
* owner: => simonpj
* difficulty: => Unknown
Comment:
Excellent bug. Patch coming.
In fact, your class declaration is bogus, and will in future be rejected,
because you have not given any type indices to D. You want
{{{
class C a where { data D a :: * }
}}}
This wasn't the bug in GHC, mind you. If you are interested, read `Note
[Avoid name clashes for associated data types]` in `TcHsType`.
I've added a test T2888, but it simply tests the new error message when
there are no type indices at all. I'm not sure it's worth the bother to
set up a multi-module test to reproduce the original bug.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2888#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
