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: closed
Priority: normal | Milestone: 8.10.1
Component: Compiler | Version: 8.4.2
Resolution: fixed | 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
-------------------------------------+-------------------------------------
Comment (by RyanGlScott):
No. This ticket is specifically about the users' guide.
#16326 tracks the actual implementation side of things, and makes mention
of the relevant regression tests.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15658#comment:8>