[GHC] #12825: ghc panic on ppc64el, ghc 8.0.1, agda 2.5.1.1 patched for newer EdisonAPI

[GHC]

#12825: ghc panic on ppc64el, ghc 8.0.1, agda 2.5.1.1 patched for newer EdisonAPI
---------------------------------+---------------------------------
           Reporter:  clint      |             Owner:
               Type:  bug        |            Status:  new
           Priority:  normal     |         Milestone:
          Component:  Compiler   |           Version:  8.0.1
           Keywords:             |  Operating System:  Linux
       Architecture:  powerpc64  |   Type of failure:  None/Unknown
          Test Case:             |        Blocked By:
           Blocking:             |   Related Tickets:
Differential Rev(s):             |         Wiki Page:
---------------------------------+---------------------------------
 {{{
 [331 of 332] Compiling Agda.Interaction.EmacsTop (
 src/full/Agda/Interaction/EmacsTop.hs, dist-
 ghc/build/Agda/Interaction/EmacsTop.o )
 ghc: panic! (the 'impossible' happened)
   (GHC version 8.0.1 for powerpc64le-unknown-linux):
         applyTypeToArgs
   Expression: $w$cgmapQl2 stdin LineBuffering s_aJ4
   Type: forall r_a2gyr r'_a2gys.
         (r_a2gyr -> r'_a2gys -> r_a2gyr)
         -> r_a2gyr
         -> (forall d_a2gyt. Data d_a2gyt => d_a2gyt -> r'_a2gys)
         -> [ModulePragma]
         -> ModuleName
         -> r_a2gyr
   Args: [stdin, LineBuffering, s_aJ4]

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12825>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler