[GHC] #11356: GHC panic
GHC
ghc-devs at haskell.org
Thu Jan 7 08:36:25 UTC 2016
#11356: GHC panic
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 8.1
checker) |
Resolution: | Keywords: TypeInType
Operating System: Linux | Architecture: x86
Type of failure: Compile-time | Test Case:
crash |
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones <simonpj@…>):
In [changeset:"a5cea73c658888e01c162723d3e0e1439514ecdb/ghc"
a5cea73c/ghc]:
{{{
#!CommitTicketReference repository="ghc"
revision="a5cea73c658888e01c162723d3e0e1439514ecdb"
Turn AThing into ATcTyCon, in TcTyThing
This change tidies up and simplifies (a bit) the knot-tying
when kind-checking groups of type and class declarations.
The trouble (shown by Trac #11356) was that we wanted an error message
(a kind-mismatch) that involved a type mentioned a (AThing k), which
blew up.
Since we now seem to have TcTyCons, I decided to use them here.
It's still not great, but it's easier to understand and more robust.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11356#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list