[GHC] #13910: Inlining a definition causes GHC to panic (repSplitTyConApp_maybe)
GHC
ghc-devs at haskell.org
Tue Aug 29 14:17:00 UTC 2017
#13910: Inlining a definition causes GHC to panic (repSplitTyConApp_maybe)
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 8.2.1-rc2
checker) |
Resolution: | Keywords: TypeInType
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash or panic | Test Case:
Blocked By: 14119 | Blocking:
Related Tickets: #13877, #14038 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by RyanGlScott):
Humorously enough, the panic is now different on GHC HEAD (likely due to
commit a6c448b403dbe8720178ca82100f34baedb1f47e, `Small refactor of
getRuntimeRep`):
{{{
$ ghc4/inplace/bin/ghc-stage2 --interactive Bug.hs
GHCi, version 8.3.20170828: http://www.haskell.org/ghc/ :? for help
Loaded GHCi configuration from /home/rgscott/.ghci
[1 of 1] Compiling Bug ( Bug.hs, interpreted )
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 8.3.20170828 for x86_64-unknown-linux):
getRuntimeRep
(f_a5yC[sk:2] |> Sym (Sym (D:R:Funk1:->k2[0]
<k1_a5n2>_N <k2_a5n3>_N) ;
D:R:Funk1:->k2[0]
<t1_a5yB[sk:2]>_N
<*>_N))
a_a5yD[sk:2] :: k2_a5n3
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/utils/Outputable.hs:1138:37 in
ghc:Outputable
pprPanic, called at compiler/types/Type.hs:1982:18 in ghc:Type
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13910#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list