#15499: Panic in occurence analysis phase (?), getRuntimeRep -------------------------------------+------------------------------------- Reporter: _deepfire | Owner: RyanGlScott Type: bug | Status: patch Priority: high | Milestone: 8.4.4 Component: Compiler | Version: 8.4.3 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): Phab:D5060 Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): By the way, it's worth noting that working around this issue is very simple: just quantify the type variables in universals-then-existentials order. That is, do this: {{{#!hs data ADT (p :: Integer) where ADT :: forall p a. { a :: a , b :: Integer } -> ADT p }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15499#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler