#1221: Types don't match expressions in type error
-------------------------------------+--------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: low | Milestone: 6.8
Component: Compiler (Type checker) | Version: 6.6
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* milestone: 6.6.2 => 6.8
* priority: normal => low
Comment:
I have improved matters a bit. Now both the HEAD and 6.6 (I had to do them
separately) say:
{{{
Foo7.hs:16:6:
Couldn't match expected type `[a]' against inferred type `()'
Expected type: Bool -> [a]
Inferred type: Bool -> ()
In the first argument of `a', namely `y'
In the expression: a y
}}}
It's trickier to take up Frederick's second suggestion ("For" instead of
"In") so I'm leaving that. But I hope this is an improvement. The error
management code in `TcUnify` is rather tricky and ad hoc, I regret to say.
I'll leave this bug open for now, in case there are any other suggestions,
but if not we'll close it.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1221>
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
