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

GHC cvs-ghc at haskell.org
Thu Apr 26 07:38:58 CEST 2012


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

  * status:  new => closed
  * resolution:  => invalid


Comment:

 The syb.cabal file (see
 http://hackage.haskell.org/packages/archive/syb/0.3.6/syb.cabal) mentions
 the extension `ScopedTypeVariables`, but if you load the file on GHCi you
 won't get this. This explains the difference in behaviour between `cabal
 install` and just loading the file on GHCi.

 The `RankNTypes` error itself is already reported as #6032. I think the
 best thing to do is to change `syb`; I'll release an updated version
 today.

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



More information about the Glasgow-haskell-bugs mailing list