Re: #15658: strange inferred kind with TypeInType
"GHC" <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.glasgow.bugs |
|---|---|
| Message-ID | <[email protected]> |
#15658: strange inferred kind with TypeInType
-------------------------------------+-------------------------------------
Reporter: dmwit | Owner: (none)
Type: bug | Status: patch
Priority: normal | Milestone: 8.10.1
Component: Compiler | Version: 8.4.2
Resolution: | Keywords: TypeInType,
| GHCProposal,
| VisibleDependentQuantification
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #16326 | Differential Rev(s):
Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/378
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* keywords: TypeInType, GHCProposal => TypeInType, GHCProposal,
VisibleDependentQuantification
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15658#comment:5>