#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): In general all of this tick business is terribly fragile since there is no strong invariant (as far as I know) dictating where they might appear. I wonder if it would be reasonable a put inplace a Core invariant (checked by `CoreLint`) stating that "a tick must not sit directly inside of a type abstraction, type application, or cast. That is, we would normalize all things of the form, {{{ (tick<t> e) @ty --> tick<t> (e @ty) }}} It already seems like we try to do something along these lines, but it's not strongly checked. Does this make sense? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13233#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler