#8868: Old information in Extensions to data types and type synonyms ------------------------------------+-------------------------------------- Reporter: Kinokkory | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.6.1 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8868 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler