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

#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 ): 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