#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