[GHC] #11208: GHCi doesn't qualify types anymore

GHC ghc-devs at haskell.org
Sat Dec 12 19:15:25 UTC 2015


#11208: GHCi doesn't qualify types anymore
-------------------------------------+-------------------------------------
           Reporter:  hvr            |             Owner:
               Type:  bug            |            Status:  new
           Priority:  highest        |         Milestone:  8.0.1
          Component:  GHCi           |           Version:  7.11
           Keywords:  regression     |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Other
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 `M.hs` contains:

 {{{#!hs
 module M where

 import qualified Prelude as P

 f n = n P.+ 1

 g h (P.Just x) = P.Just (h x)
 g _ P.Nothing  = P.Nothing
 }}}

 GHC 7.10.3 behaves as expected:

 {{{
 $ ghci-7.10.3 -ignore-dot-ghci M.hs
 GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
 [1 of 1] Compiling M                ( M.hs, interpreted )
 Ok, modules loaded: M.
 *M> :browse
 f :: P.Num a => a -> a
 g :: (t -> a) -> P.Maybe t -> P.Maybe a
 *M> :t f
 f :: P.Num a => a -> a
 *M> :t g
 g :: (t -> a) -> P.Maybe t -> P.Maybe a
 }}}

 However, GHC HEAD drops the module qualifiers

 {{{
 $ ghci-7.11.20151209 -ignore-dot-ghci M.hs
 GHCi, version 7.11.20151209: http://www.haskell.org/ghc/  :? for help
 [1 of 1] Compiling M                ( M.hs, interpreted )
 Ok, modules loaded: M.
 *M> :browse
 f :: Num a => a -> a
 g :: (t -> a) -> Maybe t -> Maybe a
 *M> :t f
 f :: Num a => a -> a
 *M> :t g
 g :: (t -> a) -> Maybe t -> Maybe a
 *M> Nothing :: Maybe ()

 <interactive>:4:12: error:
     Not in scope: type constructor or class ‘Maybe’
     Perhaps you meant ‘P.Maybe’ (imported from Prelude)
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11208>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list