[GHC] #14921: Type inference breaks on constraint-kinded parameter used by a Rank-2 callback
GHC
ghc-devs at haskell.org
Sun Sep 16 11:19:11 UTC 2018
#14921: Type inference breaks on constraint-kinded parameter used by a Rank-2
callback
-------------------------------------+-------------------------------------
Reporter: glittershark | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 8.2.2
Resolution: invalid | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking:
Related Tickets: #10651, #15649 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* status: new => closed
* resolution: => invalid
* related: #10651 => #10651, #15649
Comment:
I'm going to close this, since the fact that this program doesn't
typecheck is expected behavior (at least, according to the specification
in the OutsideIn(X) paper, as explained in
https://ghc.haskell.org/trac/ghc/ticket/10651#comment:2). See also #10651
and #15649, which are similar tickets.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14921#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list