[GHC] #4837: Template Haskell does not work in a profiled compiler.

GHC ghc-devs at haskell.org
Sat Nov 7 09:39:03 UTC 2015


#4837: Template Haskell does not work in a profiled compiler.
-------------------------------------+-------------------------------------
        Reporter:  benl              |                Owner:  simonmar
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.0.1
       Component:  Profiling         |              Version:  7.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC doesn't work  |  Unknown/Multiple
  at all                             |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Simon Marlow <marlowsd@…>):

 In [changeset:"ce1f1607ed7f8fedd2f63c8610cafefd59baaf32/ghc"
 ce1f1607/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="ce1f1607ed7f8fedd2f63c8610cafefd59baaf32"
 Make GHCi & TH work when the compiler is built with -prof

 Summary:
 Amazingly, there were zero changes to the byte code generator and very
 few changes to the interpreter - mainly because we've used good
 abstractions that hide the differences between profiling and
 non-profiling.  So that bit was pleasantly straightforward, but there
 were a pile of other wibbles to get the whole test suite through.

 Note that a compiler built with -prof is now like one built with
 -dynamic, in that to use TH you have to build the code the same way.
 For dynamic, we automatically enable -dynamic-too when TH is required,
 but we don't have anything equivalent for profiling, so you have to
 explicitly use -prof when building code that uses TH with a profiled
 compiler.  For this reason Cabal won't work with TH.  We don't expect
 to ship a profiled compiler, so I think that's OK.

 Test Plan: validate with GhcProfiled=YES in validate.mk

 Reviewers: goldfire, bgamari, rwbarton, austin, hvr, erikd, ezyang

 Reviewed By: ezyang

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D1407

 GHC Trac Issues: #4837, #545
 }}}

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


More information about the ghc-tickets mailing list