#3505: type mismatch error message with operator sections counts the arguments
incorrectly
-----------------------------+----------------------------------------------
Reporter: benmachine | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.4 | Severity: minor
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
It seems that when an operator section gets a Couldn't match... error,
then the message regards the argument given as the second, even where it
appears before the operator. A quick test case is:
{{{
ghci> ('c' >>=)
<interactive>:1:1:
Couldn't match expected type `m a' against inferred type `Char'
In the second argument of `(>>=)', namely 'c'
In the expression: ('c' >>=)
In the definition of `it': it = ('c' >>=)
}}}
It seems to say "second argument" regardless of whether the argument
appears before or after the operator.
This happens on 6.10.4 and 6.11.20090911, but it doesn't seem to happen
with 6.8.2
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3505>
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
