[GHC] #11330: Test `dynamic-paper` fails with core lint error (hpc) and "Simplifier ticks exhausted" (optasm)

[GHC]

#11330: Test `dynamic-paper` fails with core lint error (hpc) and "Simplifier ticks
exhausted" (optasm)
-------------------------------------+-------------------------------------
        Reporter:  thomie            |                Owner:  simonpj
            Type:  bug               |               Status:  closed
        Priority:  high              |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  dependent/should_compile/dynamic-
                                     |  paper
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Just to be clear, the `expect_fail` is because of the issue in comment:2.
 The code says
 {{{
 delta1 :: Dynamic -> Dynamic
 -- NB: this function behaves like a negative-recursive data type
 -- and hence leads compiler into an infinite inlining loop,
 -- and we get "simplifier ticks exhausted".
 -- See Section 7 of the paper "A reflection on types"
 delta1 dn = case fromDynamic dn of
              Just f   -> f dn
              Nothing  -> dn
 loop1 = delta1 (toDynamic delta1)
 }}}

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