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