Skip to content

Handle ArgPat reverting in head.hackage

Andrei Borzenkov requested to merge wip/sand-witch/revert-th-argpat into master

ArgPat was reveted from TH in favour of InvisP data constructor (ghc!12340 (closed))

This patch fixes compilation errors occured after this change.

There also was an error in singletons introduced by this commit (ghc!12328 (closed)), I fixed it in a separate commit.

I got strange GHC panic on futhark compilation:

[282 of 313] Compiling Futhark.CLI.Test ( src/Futhark/CLI/Test.hs, dist/build/Futhark/CLI/Test.o, dist/build/Futhark/CLI/Test.dyn_o )

<no location info>: error:
    panic! (the 'impossible' happened)
  GHC version 9.11.20240404:
	completeCall
  getResults_sYjXW
  Stop[BoringCtxt] TestStatus
                   -> State# RealWorld -> (# State# RealWorld, () #)
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/GHC/Utils/Panic.hs:190:37 in ghc-9.11-inplace:GHC.Utils.Panic
        pprPanic, called at compiler/GHC/Core/Opt/Simplify/Iteration.hs:2116:9 in ghc-9.11-inplace:GHC.Core.Opt.Simplify.Iteration
  CallStack (from HasCallStack):
    panic, called at compiler/GHC/Utils/Error.hs:507:29 in ghc-9.11-inplace:GHC.Utils.Error


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

Let's see if it will occur on CI or this is a problem of my local setup.

Merge request reports