#3155: TypeOperators/Rank2Types clash
--------------------------------------+-------------------------------------
Reporter: MartijnVanSteenbergen | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
--------------------------------------+-------------------------------------
Comment (by MartijnVanSteenbergen):
http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-
extensions.html says:
A type variable can be an (unqualified) operator e.g. +. The lexical
syntax is the same as that for variable operators, excluding "(.)", "(!)",
and "(*)".
Does that last sentence mean that . already is an illegal type operator?
The reason I find the example above particularly confusing is that to me
"infinite type" is one of the more frustrating error messages, because the
error is always about a declaration as a whole; I never know where to
start looking for a fix. I spent a while looking for missing/surplus
arguments before I realised that Rank2Types hadn't been enabled yet. :-)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3155#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
