[GHC] #2207: Load the interface details for GHC.* even without -O

GHC ghc-devs at haskell.org
Tue Aug 26 23:19:14 UTC 2014


#2207: Load the interface details for GHC.* even without -O
-------------------------------------+-------------------------------------
              Reporter:  simonpj     |            Owner:
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  ⊥
              Priority:  normal      |          Version:  6.8.2
             Component:  Compiler    |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by rodlogic):

 For what is worth, this is in 7.8.3:
 {{{
 ❯❯❯ ghc -ddump-simpl a.hs
 [1 of 1] Compiling Main             ( a.hs, a.o )

 ==================== Tidy Core ====================
 Result size of Tidy Core = {terms: 13, types: 7, coercions: 0}

 Main.main :: GHC.Types.IO ()
 [GblId, Str=DmdType]
 Main.main =
   System.IO.putStrLn
     (GHC.Show.show
        @ GHC.Types.Bool
        GHC.Show.$fShowBool
        (GHC.Classes.==
           @ GHC.Types.Int
           GHC.Classes.$fEqInt
           (GHC.Types.I# 1)
           (GHC.Types.I# 2)))

 :Main.main :: GHC.Types.IO ()
 [GblId, Str=DmdType]
 :Main.main = GHC.TopHandler.runMainIO @ () Main.main
 }}}

 For:
 {{{
 main = putStrLn $ show foo
 foo = (1 :: Int) == (2 :: Int)
 }}}

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


More information about the ghc-tickets mailing list