{{{#!hs import Control.Monad.Reader usingReader :: (Monad m) => r -> (a -> ReaderT r m b) (a -> m b) usingReader r f = flip runReaderT r . f }}}
Unfortunately, that function alone in a module does not trigger the
#14898: Panic with repSplitAppTys -------------------------------------+------------------------------------- Reporter: ryanreich | Owner: (none) Type: bug | Status: new 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 ryanreich): Replying to [ticket:14898 ryanreich]: panic. Note the error in the above type signature: there is a missing arrow on the line with ReaderT. If I fix that error, the panic goes away. However, a standalone module still does not trigger the panic; the type error is correctly reported. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14898#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler