#13233: typePrimRep panic while compiling GHC with profiling -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler | Version: 8.0.1 Resolution: | Keywords: 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 bgamari): At this point I'm fairly convinced that this was introduced by the levity polymorphism work. While I'm still working out precisely what is going on, it seems that our conception of arity may be a bit inconsistent, meaning that we don't eta expand enough in CorePrep. One thing that surprised me is the type of the worker for `(#,#)`, {{{#!hs (#,#) :: forall (a :: TYPE k0) (b :: TYPE k1). a -> b -> (# a, b #) }}} In contrast I would have expected, {{{#!hs (#,#) :: forall (r1 :: RuntimeRep) (r2 :: RuntimeRep) (a :: TYPE r1) (b :: TYPE r2). a -> b -> (#,#) r1 r2 a b }}} That is, it seems to me like the worker is missing `RuntimeRep` arguments. Goldfire, am I missing something here? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13233#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler