Re: [GHC] #9085: Inaccessible equations in a closed type family should be a warning, not an error

11 Jun 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