[GHC] #15862: Typeable panic with promoted rank-2 kind (initDs)
GHC
ghc-devs at haskell.org
Mon Nov 5 17:01:28 UTC 2018
#15862: Typeable panic with promoted rank-2 kind (initDs)
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.6.1
Resolution: | Keywords: Typeable
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash or panic | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by RyanGlScott):
Replying to [comment:1 goldfire]:
> I would fix the missing impredicativity check before worrying about
`initDs`.
In case you didn't notice this, I deliberately enabled
`ImpredicativeTypes` in this program :)
I, too, am surprised that this panics, though. Especially since
`typeIsTypeable` appears to
[http://git.haskell.org/ghc.git/blob/1a3b9bd0b674ad16a41b942c738b8f34564bcd8d:/compiler/typecheck/TcTypeable.hs#l440
already answer "no"] when a type contains a nested `forall` like this:
{{{#!hs
typeIsTypeable (ForAllTy{}) = False
}}}
It's possible that something else is going wrong, though.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15862#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list