[GHC] #10968: Type hole cause bad type checking
GHC
ghc-devs at haskell.org
Tue Jan 12 20:24:40 UTC 2016
#10968: Type hole cause bad type checking
-------------------------------------+-------------------------------------
Reporter: ndtimofeev | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.2
Resolution: duplicate | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #11274 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by thomie):
* status: new => closed
* resolution: => duplicate
* related: => #11274
Comment:
This is a duplicate of #11274 and others (panic with `-fdefer-typed-holes`
and missing instance).
Already fixed in 8.0.
I don't think adding another test to the testsuite is necessary.
For fun, here is a smaller reproducer:
{{{
module T10968 where
f1 = fmap id _
}}}
Thanks for reporting.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10968#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list