[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:  new
        Priority:  high              |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             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 Simon Peyton Jones <simonpj@…>):

 In [changeset:"1c6d70c2121fd1126fcc2458bdbcc856e19598c2/ghc"
 1c6d70c2/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="1c6d70c2121fd1126fcc2458bdbcc856e19598c2"
 Kill off zipTopTCvSubst in favour of zipOpenTCvSubst

 As Bartosz has discovered, the invariants for substitutions were
 wrong, and in particular the "mkTop...Subst" and "zipTop..Subst"
 functions were building substitutions that didn't obey even the
 old invariants.

 This patch kills of the bogus zipTopTCvSubst in favour of the
 more robust zipOpenTCvSubst.

 I tripped over this because my upcoming patch (concerning SetLevels,
 Trac #11330) triggered an ASSERT failure in the substitution
 well-formedness assertion in TyCoRep.
 }}}

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