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

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