[Haskell-cafe] Qualified imports and REPL output in GHCi 8.0.1

Alexis King lexi.lambda at gmail.com
Wed Dec 7 08:05:10 UTC 2016


Since Bool is already imported unqualified from the Prelude, GHC favors
printing the unqualified version. If I include the -XNoImplicitPrelude
option to disable the implicit import of the Prelude, I get the behavior
you expect:

  $ ghci -XNoImplicitPrelude
  GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
  ghci> import qualified Data.Bool
  ghci> :t Data.Bool.bool
  Data.Bool.bool :: a -> a -> Data.Bool.Bool -> a

Alexis

> On Dec 6, 2016, at 23:59, Atrudyjane via Haskell-Cafe <haskell-cafe at haskell.org> wrote:
> 
> When I do a qualified import such as:
> λ> import qualified Data.Bool
> 
> then query a type, this is the output.
> λ> :t Data.Bool.bool
> Data.Bool.bool :: a -> a -> Bool -> a
> 
> Was expecting:
> λ> :t Data.Bool.bool
> Data.Bool.bool :: a -> a -> Data.Bool.bool -> a
> 
> I experimented with changing the -fno-implicit-import-qualified flag and the result was the same. Is there an option that needs to be set to show the expected behavior?
> 
> Regards,
> Andrea



More information about the Haskell-Cafe mailing list