[GHC] #8356: Strangeness with FunDeps
GHC
ghc-devs
Tue Oct 1 17:33:18 UTC 2013
#8356: Strangeness with FunDeps
-------------------------------------------------+-------------------------
Reporter: ksf | Owner:
Type: bug | Status:
Priority: normal | closed
Component: Compiler | Milestone:
Resolution: fixed | Version: 7.7
Operating System: Unknown/Multiple | Keywords:
Type of failure: GHC rejects valid program | Architecture:
Test Case: | Unknown/Multiple
typecheck/should_fail/tcfail170 | Difficulty:
Blocking: | Unknown
| Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => typecheck/should_fail/tcfail170
* resolution: => fixed
Comment:
Error message improved. Here it is for `tcfail170`:
{{{
tcfail170.hs:7:10:
Illegal instance declaration for ?C [p] [q]?
The coverage condition fails in class ?C?
for functional dependency: ?a -> b?
Reason: lhs type ?[p]? does not deternine rhs type ?[q]?
In the instance declaration for ?C [p] [q]?
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8356#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list