[GHC] #9085: Inaccessible equations in a closed type family should be a warning, not an error
GHC
ghc-devs at haskell.org
Wed Jun 11 13:31:59 UTC 2014
#9085: Inaccessible equations in a closed type family should be a warning, not an
error
-------------------------------------------------+-------------------------
Reporter: goldfire | Owner:
Type: bug | goldfire
Priority: normal | Status: new
Component: Compiler | Milestone:
Resolution: | Version: 7.8.2
Operating System: Unknown/Multiple | Keywords:
Type of failure: None/Unknown | Architecture:
Test Case: indexed- | Unknown/Multiple
types/should_compile/T9085 | Difficulty:
Blocking: | Unknown
| Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Comment (by Richard Eisenberg <eir@…>):
In [changeset:"6a1d7f9736098d47463a71323d28ece792a59e52/ghc"]:
{{{
#!CommitTicketReference repository="ghc"
revision="6a1d7f9736098d47463a71323d28ece792a59e52"
Fix #9085.
Inaccessible equations in a closed type family now leads to a
warning, not an error. This echoes what happens at the term level.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list