[GHC] #11362: T6137 doesn't pass with reversed uniques
GHC
ghc-devs at haskell.org
Mon Feb 15 16:20:09 UTC 2016
#11362: T6137 doesn't pass with reversed uniques
-------------------------------------+-------------------------------------
Reporter: niteria | Owner: niteria
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.1
Resolution: | Keywords: TypeInType
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking: 4012
Related Tickets: #11371 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones <simonpj@…>):
In [changeset:"e2f7d777bb7e4c176e01e1c4f8184f115253dee0/ghc"
e2f7d777/ghc]:
{{{
#!CommitTicketReference repository="ghc"
revision="e2f7d777bb7e4c176e01e1c4f8184f115253dee0"
A tiny, outright bug in tcDataFamInstDecl
This bug was revealed by Trac #11362. It turns out that in my patch
for Trac #11148 (namely 1160dc5), I failed to turn one occurrence of
tvs' into full_tvs. Sigh. This is tricky stuff and it cost me
several hours to page it back in and figure out what was happening.
The result was a CoAxiom whose lhs had rhs had different kinds. Eeek!
Anyway it's fixed.
I also added an ASSERT, in FamInst.newFamInst, that trips on such
bogus CoAxioms.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11362#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list