[GHC] #6046: inconsistent type error messages between ghc and ghci

[GHC]

#6046: inconsistent type error messages between ghc and ghci
-----------------------------------------+----------------------------------
 Reporter:  carter                       |          Owner:                         
     Type:  bug                          |         Status:  new                    
 Priority:  normal                       |      Component:  Compiler               
  Version:  7.5                          |       Keywords:                         
       Os:  MacOS X                      |   Architecture:  x86_64 (amd64)         
  Failure:  Incorrect result at runtime  |       Testcase:  see problem description
Blockedby:                               |       Blocking:                         
  Related:                               |  
-----------------------------------------+----------------------------------

Comment(by carter):

 interestingly, when I add  ScopedTypeVariables  to the language pragma,
 ghci's type error agrees with the ghc type error.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6046#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler