Opened 13 months ago

Last modified 8 months ago

#12825 infoneeded bug

ghc panic on ppc64le, ghc 8.0.1, agda 2.5.1.1 patched for newer EdisonAPI

Reported by: clint Owned by:
Priority: normal Milestone: 8.4.1
Component: Compiler Version: 8.0.1
Keywords: Cc:
Operating System: Linux Architecture: powerpc64
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

[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

Change History (3)

comment:1 Changed 12 months ago by bgamari

Milestone: 8.2.1
Status: newinfoneeded

We won't be able to do much with this without instructions to reproduce the issue.

comment:2 Changed 12 months ago by slyfox

Summary: ghc panic on ppc64el, ghc 8.0.1, agda 2.5.1.1 patched for newer EdisonAPIghc panic on ppc64le, ghc 8.0.1, agda 2.5.1.1 patched for newer EdisonAPI

comment:3 Changed 8 months ago by bgamari

Milestone: 8.2.18.4.1

Given that 8.2.1-rc1 is imminent, I'm bumping these off to the 8.4

Note: See TracTickets for help on using tickets.