#14898: Panic with repSplitAppTys -------------------------------------+------------------------------------- Reporter: ryanreich | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by sighingnow): I have confirmed that the program in description doesn't trigger panic with ghc-8.2.2. The error message is as follows: {{{#!hs [1 of 1] Compiling T ( T.hs, T.o ) T.hs:313:3: error: ? Expecting one fewer arguments to ‘a -> ReaderT r m b’ Expected kind ‘* -> *’, but ‘a -> ReaderT r m b’ has kind ‘*’ ? In the type signature: usingReader :: (Monad m) => r -> (a -> ReaderT r m b) (a -> m b) | 313 | (a -> ReaderT r m b) | ^^^^^^^^^^^^^^^^^^^^... }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14898#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler