Opened 3 years ago

Closed 16 months ago

#13275 closed bug (duplicate)

ghci ignores -fprint-explicit-runtime-reps

Reported by: kgadek Owned by:
Priority: normal Milestone:
Component: GHCi Version: 8.0.2
Keywords: LevityPolymorphism Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Other Test Case:
Blocked By: Blocking:
Related Tickets: #11786 Differential Rev(s):
Wiki Page:

Description

The docs 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.

Change History (1)

comment:1 Changed 16 months ago by RyanGlScott

Keywords: LevityPolymorphism added; levity removed
Resolution: duplicate
Status: newclosed

I'll close this in favor of #11786.

Note: See TracTickets for help on using tickets.