[GHC] #10306: Calling reify on Any or built-in type families causes panic

GHC ghc-devs at haskell.org
Mon May 4 14:41:24 UTC 2015


#10306: Calling reify on Any or built-in type families causes panic
-------------------------------------+-------------------------------------
        Reporter:  adamgundry        |                   Owner:  adamgundry
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash                              |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  #9840             |  Differential Revisions:  Phab:D841
-------------------------------------+-------------------------------------

Comment (by Adam Gundry <adam@…>):

 In [changeset:"4efa421327cf127ebefde59b2eece693e37dc3c6/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="4efa421327cf127ebefde59b2eece693e37dc3c6"
 Permit empty closed type families

 Fixes #9840 and #10306, and includes an alternative resolution to #8028.
 This permits empty closed type families, and documents them in the user
 guide. It updates the Haddock submodule to support the API change.

 Test Plan: Added `indexed-types/should_compile/T9840` and updated
 `indexed-types/should_fail/ClosedFam4` and `th/T8028`.

 Reviewers: austin, simonpj, goldfire

 Reviewed By: goldfire

 Subscribers: bgamari, jstolarek, thomie, goldfire

 Differential Revision: https://phabricator.haskell.org/D841

 GHC Trac Issues: #9840, #10306
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10306#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list