QuantifiedConstraints not fully described in manual
As pointed out in ticket:15351#comment:156470, the section in the manual on -XQuantifiedConstraints says that an => is essential in a quantified constraint. However, the following is accepted:
class C a
foo :: (forall x. C x) => ()
foo = ()Note that there is no => in the quantified constraint. We need to update the manual accordingly.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.5 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Documentation |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |