Implement visible dependent quantification
GHC proposal 35 (A syntax for visible dependent quantification) has been accepted. This ticket tracks its implementation.
Along with implementing it, we should also document it in the users' guide (the subject of #15658 (closed)).
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.7 |
| Type | Task |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |