Old information in Extensions to data types and type synonyms
The Release notes for version 7.6.1 says
http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/release-7-6-1.html The behavior of the TypeOperator extension has changed: previously, only type operators starting with ":" were considered type constructors, and other operators were treated as type variables. Now type operators are always constructors.
But this change isn't reflected in the User's Guide.
http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/data-type-extensions.html http://www.haskell.org/ghc/docs/7.6.2/html/users_guide/data-type-extensions.html http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/data-type-extensions.html A type variable can be an (unqualified) operator e.g. +. The lexical syntax is the same as that for variable operators, excluding "(.)", "(!)", and "(*)". In a binding position, the operator must be parenthesised. For example: ...
I think this paragraph should be removed.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Documentation |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |