[GHC] #13275: ghci ignores -fprint-explicit-runtime-reps

[GHC]

#13275: ghci ignores -fprint-explicit-runtime-reps
-------------------------------------+-------------------------------------
           Reporter:  Konrad Gądek   |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  GHCi           |           Version:  8.0.2
           Keywords:  levity         |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Other
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 The docs
 [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using.html
 #ghc-flag--fprint-explicit-runtime-reps here] mentions the following use-
 case:

 {{{
 ghci> :t ($)
 ($) :: (a -> b) -> a -> b
 ghci> :set -fprint-explicit-runtime-reps
 ghci> :t ($)
 ($)
   :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r).
      (a -> b) -> a -> b
 }}}

 However, I get this:

 {{{
 GHCi, version 8.0.2: http://www.haskell.org/ghc/  :? for help
 Prelude> :t ($)
 ($) :: (a -> b) -> a -> b
 Prelude> :i ($)
 ($) ::
   forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r).
   (a -> b) -> a -> b
         -- Defined in ‘GHC.Base’
 infixr 0 $
 Prelude> :set -fprint-explicit-runtime-reps
 Prelude> :t ($)
 ($) :: (a -> b) -> a -> b
 Prelude> :i ($)
 ($) ::
   forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r).
   (a -> b) -> a -> b
         -- Defined in ‘GHC.Base’
 infixr 0 $
 }}}

 I'm not sure if the docs are wrong or GHCi is erroneously ignoring the
 flag when using `:t`.

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