[GHC] #10772: Type operator variable in prefix notation fails

GHC ghc-devs at haskell.org
Fri Aug 14 02:34:59 UTC 2015


#10772: Type operator variable in prefix notation fails
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Documentation     |                 Version:  7.11
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * component:  Compiler (Parser) => Documentation


Comment:

 This is an error in the manual. The first bullet should read:

 A type constructor or class can be any non-reserved operator. Symbols used
 in types are always type constructors or classes, never variables. Note
 that this is different from the lexical syntax of data constructors, which
 are required to begin with a `:`.

 The behavior changed somewhat recently. (7.6?)

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10772#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list