#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 pcapriotti):
I ran into this while building the `morfette` package (see #6082) with GHC
HEAD.
Here's a very simple example which fails to type check without
`-XMonoLocalBinds`:
{{{
{-# LANGUAGE FlexibleContexts #-}
foo :: Eq (a,b) => (a,b) -> Bool
foo x = let r = x == x in r
}}}
Is this expected?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4361#comment:5>
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
