#13271: GHC Panic With Injective Type Families -------------------------------------+------------------------------------- Reporter: wayofthepie | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: fixed | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: indexed- | types/should_fail/T13271 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott <ryan.gl.scott@…>): In [changeset:"01af8aee30c743ab505e164ac9aa02149fbe4b9e/ghc" 01af8ae/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="01af8aee30c743ab505e164ac9aa02149fbe4b9e" Add regression tests for #12083 Summary: Commit 0c9d9dec0a924a4f34f4cff26d004143c028861a (the fix for #13271) fixed the programs in #12083. This adds regression tests for them. Test Plan: make test TEST="T12083a T12083b" Reviewers: austin, bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #12083 Differential Revision: https://phabricator.haskell.org/D3573 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13271#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler