[GHC] #11441: RFC: Inline intermediate languages (Core, STG, Cmm, even StrictCore)

[GHC]

#11441: RFC: Inline intermediate languages (Core, STG, Cmm, even StrictCore)
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.10.3
      Resolution:                    |             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 Iceland_jack):

 Another example of Core from
 [http://osdir.com/ml/general/2016-01/msg29309.html ghc-devs]:

 >> It’d probably need a built-in function
 >> {{{#!hs
 >> setCallStack :: CallStack -> (AppendsCallStack => a) -> a
 >> }}}
 > Correct. This is easy to write in Core but not in Haskell. We also need
 > something similar for Typeable, when we get a type-indexed version of
 TypeRep
 > {{{#!hs
 > withTypeable :: TypeRep a -> (Typeable a => r) => r
 > }}}

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