Type operator variable in prefix notation fails
Hi,
I’m not sure if this is me misreading the documentation at https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data-type-extensions.html#infix-tycons (in which case maybe the wording can be improved) or an actual bug. But I would have expected this code
foo :: [(*)] -> Maybe (*)
foo _ = Nothingto be equivalent to
foo :: [a] -> Maybe a
foo _ = Nothingat least with -XNoTypeOperators. But independent of that flag, with GHC HEAD and 7.8, I get
/tmp/foo.hs:1:9: error: Not in scope: type constructor or class ‘*’Activity
added Tbug Trac import parser labels
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?)
Trac metadata
Trac field Value Component Compiler (Parser) → Documentation mentioned in commit d19a77ab
changed milestone to %7.10.3
added Pnormal label
