#14561: Panic on levity polymorphic very unsafe coerce -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 Resolution: | Keywords: | LevityPolymorphism Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"321b420f4582d103ca7b304867b916a749712e9f/ghc" 321b420/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="321b420f4582d103ca7b304867b916a749712e9f" Tidy up of wired-in names Two things here: * While debugging Trac #14561 I found it hard to understand ghcPrimIds and magicIds in MkId. This patch adds more structure and comments. * I also discovered that ($) no longer needs to be a wiredInId because we now have levity polymorphism. So I took dollarId out of MkId; and gave it a levity-polymorphic type in GHC.Base }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14561#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler