[GHC] #9208: panic - attempt to prod-split strictness call demand C(S(C(C(S(LS)))))

[GHC]

#9208: panic - attempt to prod-split strictness call demand C(S(C(C(S(LS)))))
-------------------------------------------------+-------------------------
        Reporter:  luite                         |            Owner:
            Type:  bug                           |           Status:  new
        Priority:  normal                        |        Milestone:
       Component:  Compiler                      |          Version:  7.8.2
      Resolution:                                |         Keywords:
Operating System:  Unknown/Multiple              |     Architecture:
 Type of failure:  None/Unknown                  |  Unknown/Multiple
       Test Case:  stranal/should_compile/T9208  |       Difficulty:
        Blocking:                                |  Unknown
                                                 |       Blocked By:
                                                 |  Related Tickets:
-------------------------------------------------+-------------------------
Changes (by simonpj):

 * testcase:   => stranal/should_compile/T9208


Comment:

 Good point, thank you.

 In the test program you use `unsafeCoerce`, and in fact you end up doing
 something like
 {{{
 (coerce ()) arg
 }}}
 that is, you take `()` (produced by `loadTHData`) and apply it to
 something (in `runTH`).  So you are going to get some bizarre runtime
 crash.    Maybe your real example was not as perverse as this one.

 But regardless, it shouldn't crash the compiler, I agree.  I've fixed
 that; patch coming.

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