#14175: Panic repSplitTyConApp_maybe -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.2.2 Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #13910 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): After my fix I get this for comment:4 {{{ c:/code/HEAD/inplace/bin/ghc-stage1 -c T14175b.hs T14175b.hs:13:3: error: Expected kind (k1 -> *) -> * , but CD k (a :: k -> *) :: (k -> *) -> * has kind k1 -> * In the data instance declaration for CD In the instance declaration for C (Maybe a) | 13 | data CD k (a :: k -> *) :: (k -> *) -> * | ^^^^^^^^^^^^^^^^^^^^^^^ }}} That looks pretty weird too. But at least neither crashes, which is the first thing. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14175#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler