[GHC] #14880: GHC panic: updateRole

[GHC]

#14880: GHC panic: updateRole
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  goldfire
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Compiler (Type    |              Version:  8.2.2
  checker)                           |
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #15076            |  Differential Rev(s):  Phab:D4769,
       Wiki Page:                    |  Phab:D5141, Phab:D5147, Phab:D5150
-------------------------------------+-------------------------------------

Comment (by tdammers):

 Did an overnight validate run of the 3 changes, one by one. Here's what I
 got:

 -- master (a3bce956d7) --
 {{{
 Unexpected stat failures:
    /tmp/ghctest-hajvz66w/test   spaces/perf/compiler/T9630.run  T9630
 [stat not good enough] (normal)
 }}}

 -- + step 1 (wip/T14880-2-step1) --
 {{{
 Unexpected stat failures:
    /tmp/ghctest-shsa0qwp/test   spaces/perf/compiler/T9630.run  T9630
 [stat not good enough] (normal)
 }}}

 -- + step 2 (wip/T14880-2-step2-c123) --
 {{{
 Unexpected failures:
    /tmp/ghctest-5yp1lu_z/test
 spaces/dependent/should_fail/BadTelescope4.run  BadTelescope4 [exit code
 0] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/dependent/should_fail/T14066g.run
 T14066g [exit code 0] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/partial-
 sigs/should_compile/T12844.run   T12844 [stderr mismatch] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/partial-
 sigs/should_compile/T15039a.run  T15039a [stderr mismatch] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/partial-
 sigs/should_compile/T15039b.run  T15039b [stderr mismatch] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/partial-
 sigs/should_compile/T15039c.run  T15039c [stderr mismatch] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/partial-
 sigs/should_compile/T15039d.run  T15039d [stderr mismatch] (normal)
    /tmp/ghctest-5yp1lu_z/test   spaces/partial-sigs/should_run/T15415.run
 T15415 [bad stderr] (ghci)
    /tmp/ghctest-5yp1lu_z/test   spaces/polykinds/T14265.run
 T14265 [stderr mismatch] (normal)
 }}}

 -- + step 3 (wip/T14880-2-step3) --
 {{{
 Unexpected failures:
    /tmp/ghctest-ht1chu9r/test
 spaces/dependent/should_compile/T14880-2.run       T14880-2 [exit code
 non-0] (normal)
    /tmp/ghctest-ht1chu9r/test
 spaces/dependent/should_fail/BadTelescope4.run     BadTelescope4 [exit
 code 0] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/dependent/should_compile/dynamic-
 paper.run  dynamic-paper [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/dependent/should_fail/T14066g.run
 T14066g [exit code 0] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/partial-
 sigs/should_compile/T12844.run      T12844 [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/partial-
 sigs/should_compile/T15039a.run     T15039a [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/partial-
 sigs/should_compile/T15039b.run     T15039b [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/partial-
 sigs/should_compile/T15039c.run     T15039c [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/partial-
 sigs/should_compile/T15039d.run     T15039d [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/partial-sigs/should_run/T15415.run
 T15415 [bad stderr] (ghci)
    /tmp/ghctest-ht1chu9r/test   spaces/polykinds/T9222.run
 T9222 [stderr mismatch] (normal)
    /tmp/ghctest-ht1chu9r/test   spaces/polykinds/T14265.run
 T14265 [stderr mismatch] (normal)
 }}}

 So it seems that step1 doesn't add any regressions beyond what's on master
 already, but steps 2 and 3 do. Step 3 also fails to pass the additional
 test `T14880-2` it introduces.

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