[GHC] #14898: Panic with repSplitAppTys

[GHC]

#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