[GHC] #11786: Need -fno-print-explicit-runtime-reps to work on IfaceType, else RuntimeRep leaks
GHC
ghc-devs at haskell.org
Tue May 8 12:04:57 UTC 2018
#11786: Need -fno-print-explicit-runtime-reps to work on IfaceType, else RuntimeRep
leaks
-------------------------------------+-------------------------------------
Reporter: simonpj | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone: 8.2.1
Component: Compiler | Version: 7.10.3
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by sighingnow):
This bug still exists in ghc-HEAD.
With or without `:set -fprint-explicit-runtime-reps`, we both have
{{{#!hs
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 $
}}}
This behavior is inconsistent with the description in user guide:
https://downloads.haskell.org/~ghc/master/users-guide/using.html#ghc-flag
--fprint-explicit-runtime-reps
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11786#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list