#4361: Typechecker regression
---------------------------------------------+------------------------------
Reporter: igloo | Owner: simonpj
Type: bug | Status: closed
Priority: high | Milestone: 7.0.1
Component: Compiler (Type checker) | Version: 7.1
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: typecheck/should_compile/T4361 | Blockedby:
Blocking: | Related:
---------------------------------------------+------------------------------
Comment(by simonpj):
Yes, that's expected. When inferring a type for 'r' we simplify (Eq
(a,b)) to (Eq a, Eq b); and those can't be deduced from (Eq (a,b)).
Again `-XMonoLocalBinds` or a type signature solves it. I'm not inclined
to worry here.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4361#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
