Re: #16263: Rework GHC's treatment of constraints in kinds
"GHC" <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.glasgow.bugs |
|---|---|
| Message-ID | <[email protected]> |
#16263: Rework GHC's treatment of constraints in kinds
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner: simonpj
Type: bug | Status: patch
Priority: normal | Milestone: 8.10.1
Component: Compiler | Version: 8.6.3
Resolution: | Keywords: TypeInType,
| newcomer
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #12102, #15872 | Differential Rev(s):
Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/128
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* related: => #12102, #15872
Comment:
Equality constraints in kinds are quite broken currently, as demonstrated
in #12102 and #15872.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16263#comment:12>