[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