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

That did it, thank you Alexis! The Haskell Book says to turn Prelude back on before trying out the qualified import examples, so that's what happened. Andrea Sent with [ProtonMail](https://protonmail.com) Secure Email. -------- Original Message -------- Subject: Re: [Haskell-cafe] Qualified imports and REPL output in GHCi 8.0.1 Local Time: December 7, 2016 2:05 AM UTC Time: December 7, 2016 8:05 AM From: lexi.lambda@gmail.com To: Atrudyjane haskell-cafe@haskell.org 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 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