GHC issueshttps://gitlab.haskell.org/ghc/ghc/-/issues2021-10-25T22:30:28Zhttps://gitlab.haskell.org/ghc/ghc/-/issues/20553ghc: internal error: evacuate: strange closure type 2734351682021-10-25T22:30:28Zm tghc: internal error: evacuate: strange closure type 273435168## Summary
Got error
ghc: internal error: evacuate: strange closure type 273435168
when trying to compile simple clash example on OS X Catalina
## Steps to reproduce
stack new my-clash-project clash-lang/deca
stack build
got above ...## Summary
Got error
ghc: internal error: evacuate: strange closure type 273435168
when trying to compile simple clash example on OS X Catalina
## Steps to reproduce
stack new my-clash-project clash-lang/deca
stack build
got above error message
## Expected behavior
Compiler should create output file
## Environment
* GHC version used:
(GHC version 8.10.4 for x86_64_apple_darwin)
Optional:
* Operating System:
Darwin beauty.local 19.6.0 Darwin Kernel Version 19.6.0: Thu Sep 16 20:58:47 PDT 2021; root:xnu-6153.141.40.1~1/RELEASE_X86_64 x86_64
* System Architecture:
Macbook Pro (2019)https://gitlab.haskell.org/ghc/ghc/-/issues/20539diagrams-core-1.5.0 fails to compile on HEAD (expectJust isRecDataCon:go_tc_app)2021-11-09T13:57:09ZRyan Scottdiagrams-core-1.5.0 fails to compile on HEAD (expectJust isRecDataCon:go_tc_app)_Originally observed on a `head.hackage` CI job [here](https://gitlab.haskell.org/ghc/head.hackage/-/jobs/828159#L5933)._
`diagrams-core-1.5.0` will panic if you compile it with GHC 9.3.20211020. Here is a heavily minimized example:
``..._Originally observed on a `head.hackage` CI job [here](https://gitlab.haskell.org/ghc/head.hackage/-/jobs/828159#L5933)._
`diagrams-core-1.5.0` will panic if you compile it with GHC 9.3.20211020. Here is a heavily minimized example:
```hs
module Diagrams.Core.Types where
newtype Measured a = Measured { unmeasure :: () -> a }
data Subdiagram = Subdiagram () (Measured ())
mkSubdiagram :: () -> Subdiagram
mkSubdiagram d = Subdiagram d (Measured (\_ -> ()))
```
```
$ ~/Software/ghc-9.3.20211020/bin/ghc -fforce-recomp Bug.hs -O1
[1 of 1] Compiling Diagrams.Core.Types ( Bug.hs, Bug.o )
<no location info>: error:
expectJust isRecDataCon:go_tc_app
CallStack (from HasCallStack):
error, called at compiler/GHC/Data/Maybe.hs:68:27 in ghc:GHC.Data.Maybe
expectJust, called at compiler/GHC/Core/Opt/WorkWrap/Utils.hs:1392:25 in ghc:GHC.Core.Opt.WorkWrap.Utils
```
Note that:
* This is a regression from GHC 9.0.1 and 9.2.1-rc1, which do not panic.
* `-O1` or higher is required to trigger the bug.9.4.1Sebastian GrafSebastian Grafhttps://gitlab.haskell.org/ghc/ghc/-/issues/20519Cross-compiled riscv64 binary fails to execute under qemu-user-riscv642021-11-04T08:13:46ZhexchainCross-compiled riscv64 binary fails to execute under qemu-user-riscv64## Summary
Bootstrapping a riscv64 toolchain on x64 results in some unusable stage2 binaries.
## Steps to reproduce
0. Create a working directory (e.g. `~/build`) and clone the ghc repository into it.
1. Prepare a Debian sid x64 chroo...## Summary
Bootstrapping a riscv64 toolchain on x64 results in some unusable stage2 binaries.
## Steps to reproduce
0. Create a working directory (e.g. `~/build`) and clone the ghc repository into it.
1. Prepare a Debian sid x64 chroot (I am using `debian-sid-tar` from https://hub.nspawn.org/images/).
2. Mount the directory inside the chroot and start it. Personally I found it very simple with systemd-nspawn:
```
systemd-nspawn -D /path/to/debian/x64 --bind=~/build:/build
```
3. Install required tools in the chroot (git, build-essential, gcc-12, autoconf, python3, riscv64-linux-gnu-gcc, llvm-12, ghc 8.10.6 from experimental, happy, alex).
4. Build the `ghc-9.2` branch with !6765 because rv64 gcc requires explicitly linking to libatomic for sub-word atomic operations.
```
(debian-sid-x64-chroot) $ ./boot
(debian-sid-x64-chroot) $ ./configure --target=riscv64-linux-gnu
(debian-sid-x64-chroot) $ make
```
build.mk:
```
...
BuildFlavour = quick
...
WITH_TERMINFO = NO
BUILD_EXTRA_PKGS = NO
HADDOCK_DOCS = NO
BUILD_MAN = NO
BUILD_SPHINX_HTML = NO
BUILD_SPHINX_PDF = NO
GhcRtsCcOpts += -fkeep-inline-functions
DYNAMIC_GHC_PROGRAMS = NO
GhcLibWays = v
GhcRTSWays = debug
GhcThreaded = NO
GhcDebugged = YES
```
5. Setup `qemu-user-static` and binfmt-misc, and prepare a riscv64 chroot (may refer to [this Debian wiki article](https://wiki.debian.org/RISC-V#Qemu), starting from the "Qemu" section).
6. Mount the working directory into the chroot and start it:
```
systemd-nspawn -D /path/to/debian/rv64 --bind=~/build:/build
```
7. Try to execute the stage2 binary:
```
(debian-rv64-chroot) $ inplace/bin/ghc-stage2
ghc-stage2: internal error: ASSERTION FAILED: file rts/dist/build/AutoApply.cmm, line 2317
(GHC version 9.2.0.20211020 for riscv64_unknown_linux)
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
Aborted (core dumped)
```
A more detailed log, with `+RTS -Di -Da -Ds -DS`, can be found at https://ix.io/3CkH.
I've also tried to pull in 8b5e5b0524f614679a20ffaebab731c54dc6dee9 and cb862ecfc3d9d421ff64af35c0d87f6d6f835fa0 (the branch is at https://gitlab.haskell.org/hexchain/ghc/-/tree/ghc-9.2-rv64-bootstrap). The compiler still crashes, but only with a "Segmentation fault". With `+RTS -Di -Da -Ds -DS` there is not much difference.
## Expected behavior
The stage2 binary should work without any problem.
## Environment
* GHC version used: 8.10.6 (from debian experimental)
* LLVM: 12.0
* GCC: riscv64-linux-gnu-gcc 11.2.0
Optional:
* Operating System: Arch Linux
* System Architecture: x64https://gitlab.haskell.org/ghc/ghc/-/issues/20515Inconsistent constructor name causes a panic in signature files2021-10-15T10:12:17Zsheafsam.derbyshire@gmail.comInconsistent constructor name causes a panic in signature filesIf I declare a data constructor, and export it from a signature with a different name, I get a panic, as in the following `.bkp` file:
```haskell
unit p where
signature H(S(MkS)) where
data S = NotMkS
```
```
ghc: panic! (the 'im...If I declare a data constructor, and export it from a signature with a different name, I get a panic, as in the following `.bkp` file:
```haskell
unit p where
signature H(S(MkS)) where
data S = NotMkS
```
```
ghc: panic! (the 'impossible' happened)
(GHC version 9.0.1:
nameModule
internal MkS_02y
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler\GHC\Utils\Outputable.hs:1230:37 in ghc:GHC.Utils.Outputable
pprPanic, called at compiler\GHC\Types\Name.hs:282:3 in ghc:GHC.Types.Name
```
This happens in general Backpack usage (i.e. isn't limited to `.bkp` files).https://gitlab.haskell.org/ghc/ghc/-/issues/20496Panic in pprMatch when "deriving Foldable" is used with -ddump-tc-trace2021-10-28T00:33:19ZArtyom KuznetsovPanic in pprMatch when "deriving Foldable" is used with -ddump-tc-trace## Summary
Trying to compile the following program in current HEAD with `-ddump-tc-trace` flag results in a panic:
```haskell
{-# LANGUAGE DeriveFoldable #-}
module Test where
data T a = MkT a
deriving Foldable
```
```
rndghc: panic...## Summary
Trying to compile the following program in current HEAD with `-ddump-tc-trace` flag results in a panic:
```haskell
{-# LANGUAGE DeriveFoldable #-}
module Test where
data T a = MkT a
deriving Foldable
```
```
rndghc: panic! (the 'impossible' happened)
GHC version 9.3.20211004:
pprMatch
CaseAlt
[f, (MkT a1)]
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/Hs/Expr.hs:1364:29 in ghc:GHC.Hs.Expr
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
```
I know that this issue is already present in 6141aef49b, but I didn't check any further. 8.10.7 doesn't have this issue as far as I'm aware.
## Steps to reproduce
Run `ghc -ddump-tc-trace Test.hs` on the program above.
## Expected behavior
No panic :)
## Environment
* GHC version used: HEAD9.4.1Artyom KuznetsovArtyom Kuznetsovhttps://gitlab.haskell.org/ghc/ghc/-/issues/20487Incorrect unit name in .bkp instantiation causes a panic2021-10-19T12:09:03Zsheafsam.derbyshire@gmail.comIncorrect unit name in .bkp instantiation causes a panicThe following `.bkp` file causes a panic:
```haskell
unit basic where
signature Basic where
unit main where
dependency basic [ Basic = nonsense:Nonsense ]
```
```
ghc.exe --backpack Error1.bkp
[1 of 2] Processing basic
[1 of 1] ...The following `.bkp` file causes a panic:
```haskell
unit basic where
signature Basic where
unit main where
dependency basic [ Basic = nonsense:Nonsense ]
```
```
ghc.exe --backpack Error1.bkp
[1 of 2] Processing basic
[1 of 1] Compiling Basic[sig] ( basic\Basic.hsig, nothing ) [Flags changed]
[2 of 2] Processing main
panic! (the 'impossible' happened)
GHC version 9.3.20210928:
no package name
CallStack (from HasCallStack):
error, called at compiler\GHC\Driver\Backpack.hs:647:32 in ghc:GHC.Driver.Backpack
```
It would be better to catch the problem early and report an appropriate error message.https://gitlab.haskell.org/ghc/ghc/-/issues/20428IPE GHC build fails2021-10-09T02:45:01ZMatthew PickeringIPE GHC build failsWith a recent HEAD if I try to build `hadrian/build.cabal --flavour=default+ipe` then I get a linker error due to missing symbols.
```
/home/matt/ghc-with-debug/_build/stage1/lib/../lib/x86_64-linux-ghc-9.3.20210928/libHSCabal-3.5.0.0-g...With a recent HEAD if I try to build `hadrian/build.cabal --flavour=default+ipe` then I get a linker error due to missing symbols.
```
/home/matt/ghc-with-debug/_build/stage1/lib/../lib/x86_64-linux-ghc-9.3.20210928/libHSCabal-3.5.0.0-ghc9.3.20210928.so: error: undefined reference to '.Lc5sS_info'
/home/matt/ghc-with-debug/_build/stage1/lib/../lib/x86_64-linux-ghc-9.3.20210928/libHSCabal-3.5.0.0-ghc9.3.20210928.so: error: undefined reference to '.Lc5sH_info'
/home/matt/ghc-with-debug/_build/stage1/lib/../lib/x86_64-linux-ghc-9.3.20210928/libHSCabal-3.5.0.0-ghc9.3.20210928.so: error: undefined reference to '.Lc5sm_info'
collect2: error: ld returned 1 exit status
`cc' failed in phase `Linker'. (Exit code: 1)
Development.Shake.cmd, system command failed
```
I strongly suspect this is due to 29717ecb0711cd03796510fbe9b4bff58c7da8709.4.1Matthew PickeringMatthew Pickeringhttps://gitlab.haskell.org/ghc/ghc/-/issues/20426Levity-polymorphic GADT causes a panic (tyConAppTyCon)2021-10-18T10:52:13Zsheafsam.derbyshire@gmail.comLevity-polymorphic GADT causes a panic (tyConAppTyCon)On any version of GHC that supports `UnliftedDatatypes` (e.g. 9.2), the following program causes a panic:
```haskell
{-# LANGUAGE StandaloneKindSignatures, MagicHash, ExplicitForAll, PolyKinds,
DataKinds, UnliftedDatatypes,...On any version of GHC that supports `UnliftedDatatypes` (e.g. 9.2), the following program causes a panic:
```haskell
{-# LANGUAGE StandaloneKindSignatures, MagicHash, ExplicitForAll, PolyKinds,
DataKinds, UnliftedDatatypes, GADTs #-}
module RepPolyGADT where
import GHC.Exts
type LPGADT :: forall (l :: Levity) -> TYPE (BoxedRep l)
data LPGADT l where
MkLifted :: Int -> LPGADT Lifted
MkUnlifted :: Int# -> LPGADT Unlifted
getInt# :: LPGADT l -> Int#
getInt# (MkLifted (I# i#)) = i#
getInt# (MkUnlifted i#) = i#
```
```
ghc.exe: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210331:
tyConAppTyCon
l_ayy
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler\\GHC\\Utils\\Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler\\GHC\\Core\\Type.hs:1426:52 in ghc:GHC.Core.Type
```https://gitlab.haskell.org/ghc/ghc/-/issues/20423Attempt at levity polymorphic pattern synonym causes panic2021-10-18T10:52:13ZRichard Eisenbergrae@richarde.devAttempt at levity polymorphic pattern synonym causes panicIf I say
```hs
{-# LANGUAGE StandaloneKindSignatures, MagicHash, ExplicitForAll, PolyKinds,
DataKinds, UnliftedDatatypes, PatternSynonyms #-}
module PatSyns3 where
import GHC.Exts
type LPInt :: forall (l :: Levity) -> TY...If I say
```hs
{-# LANGUAGE StandaloneKindSignatures, MagicHash, ExplicitForAll, PolyKinds,
DataKinds, UnliftedDatatypes, PatternSynonyms #-}
module PatSyns3 where
import GHC.Exts
type LPInt :: forall (l :: Levity) -> TYPE (BoxedRep l)
data LPInt l = MkI Int#
pattern MkIPS :: Int# -> LPInt lev
pattern MkIPS n = MkI n
```
GHC says
```
<no location info>: error:
panic! (the 'impossible' happened)
GHC version 9.3.20210916:
tyConAppTyCon
lev_a2ju
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/Core/Type.hs:1431:52 in ghc:GHC.Core.Type
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
```
I expected the original program to be rejected, as it seems to be attempting to write a levity-polymorphic pattern synonym. But it shouldn't cause a panic!9.4.1https://gitlab.haskell.org/ghc/ghc/-/issues/20389`mkProjection: The impossible happened` panic with Template Haskell splice2021-11-20T23:12:46ZRyan Scott`mkProjection: The impossible happened` panic with Template Haskell spliceThe following program will cause GHC 9.2.1-rc1 to panic:
```hs
{-# LANGUAGE TemplateHaskell #-}
module Bug where
import Language.Haskell.TH
f = $(pure (ProjectionE []))
```
```
$ ~/Software/ghc-9.2.1-rc1/bin/ghc Bug.hs
[1 of 1] Compil...The following program will cause GHC 9.2.1-rc1 to panic:
```hs
{-# LANGUAGE TemplateHaskell #-}
module Bug where
import Language.Haskell.TH
f = $(pure (ProjectionE []))
```
```
$ ~/Software/ghc-9.2.1-rc1/bin/ghc Bug.hs
[1 of 1] Compiling Bug ( Bug.hs, Bug.o, Bug.dyn_o )
ghc: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210821:
mkProjection: The impossible happened
```ZubinZubinhttps://gitlab.haskell.org/ghc/ghc/-/issues/20387`isUnliftedType` panic with derived Generic1 instance for runtime-polymorphic...2021-11-18T21:09:11ZRyan Scott`isUnliftedType` panic with derived Generic1 instance for runtime-polymorphic newtypeThe following program will cause GHC 8.10.4 through HEAD to panic:
```hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UnliftedNewtypes #-}
module Bug where
import GHC.Exts (TYPE)
imp...The following program will cause GHC 8.10.4 through HEAD to panic:
```hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UnliftedNewtypes #-}
module Bug where
import GHC.Exts (TYPE)
import GHC.Generics (Generic1)
newtype D (a :: TYPE r) = MkD a
deriving Generic1
```
```
$ /opt/ghc/9.0.1/bin/ghc Bug.hs
[1 of 1] Compiling Bug ( Bug.hs, Bug.o )
ghc: panic! (the 'impossible' happened)
(GHC version 9.0.1:
isUnliftedType
a_aMT :: TYPE r_aMS
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Outputable.hs:1230:37 in ghc:GHC.Utils.Outputable
pprPanic, called at compiler/GHC/Core/Type.hs:1972:10 in ghc:GHC.Core.Type
```ZubinZubinhttps://gitlab.haskell.org/ghc/ghc/-/issues/20356Constraint-vs-Type causes a panic2021-10-22T17:00:34ZRichard Eisenbergrae@richarde.devConstraint-vs-Type causes a panic@monoidal observes in https://gitlab.haskell.org/ghc/ghc/-/issues/11715#note_375240 that
```hs
{-# LANGUAGE TypeFamilies, PolyKinds, ConstraintKinds #-}
import GHC.Types
type family Id (a :: k -> Constraint) :: l -> Constraint
type inst...@monoidal observes in https://gitlab.haskell.org/ghc/ghc/-/issues/11715#note_375240 that
```hs
{-# LANGUAGE TypeFamilies, PolyKinds, ConstraintKinds #-}
import GHC.Types
type family Id (a :: k -> Constraint) :: l -> Constraint
type instance Id f = f
type T :: Constraint -> Constraint
type T = Id Eq
data Proxy p = MkProxy
id' :: f a -> f a
id' x = x
z = id' (MkProxy @T)
```
causes
```
<no location info>: error:
panic! (the 'impossible' happened)
GHC version 9.3.20210824:
ASSERT failed!
Ill-kinded update to meta tyvar
a_aIJ[tau:1] :: Constraint -> Constraint
Constraint -> Constraint := Eq :: * -> Constraint
Call stack:
CallStack (from HasCallStack):
massertPpr, called at compiler/GHC/Tc/Utils/TcMType.hs:1009:10 in ghc:GHC.Tc.Utils.TcMType
```
when assertions are enabled (e.g. a `DEBUG` compiler).
Constraint-vs-Type is a difficult problem (see #11715), but I think we can pull this off and fix it. I imagine we just need to change an `eqType` to `tcEqType` somewhere.Richard Eisenbergrae@richarde.devRichard Eisenbergrae@richarde.devhttps://gitlab.haskell.org/ghc/ghc/-/issues/20351cabal build cardano-node 1.29 for raspberry pi 4 ubuntu2021-09-10T13:25:27Zbetocabal build cardano-node 1.29 for raspberry pi 4 ubuntuHardware: raspberry pi 4 8gb ram
arch: aarch64
```
Failed to build exe:alex from alex-3.2.6.
Build log (
/root/.cabal/logs/ghc-8.10.7/alex-3.2.6-e-alex-838d55093d70a7c6050e230234a6584e9da9744f8aea4177bb18e5634fc907dc.log
):
Configuring...Hardware: raspberry pi 4 8gb ram
arch: aarch64
```
Failed to build exe:alex from alex-3.2.6.
Build log (
/root/.cabal/logs/ghc-8.10.7/alex-3.2.6-e-alex-838d55093d70a7c6050e230234a6584e9da9744f8aea4177bb18e5634fc907dc.log
):
Configuring executable 'alex' for alex-3.2.6..
Preprocessing executable 'alex' for alex-3.2.6..
Building executable 'alex' for alex-3.2.6..
[ 1 of 22] Compiling Data.Ranged.Boundaries ( src/Data/Ranged/Boundaries.hs, dist/build/alex/alex-tmp/Data/Ranged/Boundaries.o )
[ 2 of 22] Compiling Data.Ranged.Ranges ( src/Data/Ranged/Ranges.hs, dist/build/alex/alex-tmp/Data/Ranged/Ranges.o )
[ 3 of 22] Compiling Data.Ranged.RangedSet ( src/Data/Ranged/RangedSet.hs, dist/build/alex/alex-tmp/Data/Ranged/RangedSet.o )
src/Data/Ranged/RangedSet.hs:31:1: warning: [-Wunused-imports]
The import of ‘Data.Semigroup’ is redundant
except perhaps to import instances from ‘Data.Semigroup’
To import instances alone, use: import Data.Semigroup()
|
31 | import Data.Semigroup
| ^^^^^^^^^^^^^^^^^^^^^
[ 4 of 22] Compiling Data.Ranged ( src/Data/Ranged.hs, dist/build/alex/alex-tmp/Data/Ranged.o )
[ 5 of 22] Compiling Map ( src/Map.hs, dist/build/alex/alex-tmp/Map.o )
[ 6 of 22] Compiling Paths_alex ( dist/build/alex/autogen/Paths_alex.hs, dist/build/alex/alex-tmp/Paths_alex.o )
[ 7 of 22] Compiling Set ( src/Set.hs, dist/build/alex/alex-tmp/Set.o )
[ 8 of 22] Compiling DFS ( src/DFS.hs, dist/build/alex/alex-tmp/DFS.o )
[ 9 of 22] Compiling Sort ( src/Sort.hs, dist/build/alex/alex-tmp/Sort.o )
[10 of 22] Compiling UTF8 ( src/UTF8.hs, dist/build/alex/alex-tmp/UTF8.o )
[11 of 22] Compiling CharSet ( src/CharSet.hs, dist/build/alex/alex-tmp/CharSet.o )
[12 of 22] Compiling Util ( src/Util.hs, dist/build/alex/alex-tmp/Util.o )
[13 of 22] Compiling AbsSyn ( src/AbsSyn.hs, dist/build/alex/alex-tmp/AbsSyn.o )
[14 of 22] Compiling ParseMonad ( src/ParseMonad.hs, dist/build/alex/alex-tmp/ParseMonad.o )
[15 of 22] Compiling Scan ( src/Scan.hs, dist/build/alex/alex-tmp/Scan.o )
[16 of 22] Compiling Parser ( src/Parser.hs, dist/build/alex/alex-tmp/Parser.o )
[17 of 22] Compiling Output ( src/Output.hs, dist/build/alex/alex-tmp/Output.o )
[18 of 22] Compiling NFA ( src/NFA.hs, dist/build/alex/alex-tmp/NFA.o )
[19 of 22] Compiling Info ( src/Info.hs, dist/build/alex/alex-tmp/Info.o )
[20 of 22] Compiling DFAMin ( src/DFAMin.hs, dist/build/alex/alex-tmp/DFAMin.o )
[21 of 22] Compiling DFA ( src/DFA.hs, dist/build/alex/alex-tmp/DFA.o )
[22 of 22] Compiling Main ( src/Main.hs, dist/build/alex/alex-tmp/Main.o )
Linking dist/build/alex/alex ...
/usr/bin/ld.gold: error: cannot find -lnuma
rts/posix/OSMem.c:370:0: error:
error: undefined reference to 'mbind'
rts/posix/OSMem.c:748:0: error:
error: undefined reference to 'numa_num_configured_nodes'
rts/posix/OSMem.c:758:0: error:
error: undefined reference to 'numa_get_mems_allowed'
rts/posix/OSMem.c:748:0: error:
error: undefined reference to 'numa_num_configured_nodes'
rts/posix/OSMem.c:763:0: error:
error: undefined reference to 'numa_bitmask_free'
rts/posix/OSMem.c:748:0: error:
error: undefined reference to 'numa_num_configured_nodes'
collect2: error: ld returned 1 exit status
`gcc' failed in phase `Linker'. (Exit code: 1)
cabal: Failed to build exe:alex from alex-3.2.6 (which is required by
test:cardano-node-test from cardano-node-1.29.0, exe:cardano-node from
cardano-node-1.29.0 and others). See the build log above for details.
```https://gitlab.haskell.org/ghc/ghc/-/issues/20294Regression `refineFromInScope` caused by "Get the in-scope set right during R...2021-12-14T08:52:49ZMatthew PickeringRegression `refineFromInScope` caused by "Get the in-scope set right during RULE matching"Agda fails to compile with a panic from refineInScopeSet
If I revert 4ff4d434e9a90623afce00b43e2a5a1ccbdb4c05 then it builds successfully.
cc @simonpj
```
<no location info>: error:
panic! (the 'impossible' happened)
GHC versi...Agda fails to compile with a panic from refineInScopeSet
If I revert 4ff4d434e9a90623afce00b43e2a5a1ccbdb4c05 then it builds successfully.
cc @simonpj
```
<no location info>: error:
panic! (the 'impossible' happened)
GHC version 9.3.20210825:
refineFromInScope
InScope {wild_00 $dReadTCState_aJ8Dp $dHasOptions_aJ8Dq
$dMonadTCEnv_aJ8Iu $dMonadReduce_aJ8IS $d(%,,%)_aJ8LE
$dMonadFail_aJ8PI $dMonadTCM_aJ8Qb $d(%,,,,%)_aJ8R6
$d(%,,,,,,,,%)_aJ8Uq $dMonadReduce_aJ9ff $dPureTCM_aJ9fs
$dMonadTCEnv_aJ9h1 $dMonadDebug_aJ9ha $cshowsPrec_aJ9o4
$cshow_aJ9om $cshowList_aJ9os $d(%,,%)_aJ9oJ $d(%,,,,,%)_aJ9oK
$dMonadFresh_aJ9oP $dHasBuiltins_aJ9oS $dMonadFresh_aJ9oV
$dMonadFresh_aJ9oW $dSubst_aJ9p3 $dSubst_aJ9p5 $d~_aJ9p7 $d~_aJ9pb
$dSubst_aJ9pi $d~_aJ9pk $d~_aJ9po $d(%,%)_aJ9pq $dSubst_aJ9pr
$d~_aJ9ps $d~_aJ9pv $krep_aJ9rN $krep_aJ9rO $krep_aJ9rP eta_in87h
eta_in87u eta1_in87v f252_in8cs ds_in8ct r_in8cu e_in8cv s183_in8cw
eta_ipLiD ww4_ipLiN ww5_ipLiO ww7_ipLiS ww8_ipLiT ww9_ipLiU
wild4_ipLiW ww10_ipLiX ww11_ipLiY ww12_ipLiZ ww13_ipLj0 ww_ipM0f
ww3_ipM0i ww5_ipM0o ww9_ipM0u ww2_iJ9xX ww6_iJ9y3 ww8_iJ9y5
ww1_iJajv findInstance isInstanceConstraint
postponeInstanceConstraints shouldPostponeInstanceSearch
$fShowYesNoMaybe $tc'HellNo $trModule $tc'Maybe $tc'No
$tc'NoBecause $tc'Yes $tcYesNoMaybe isInstanceProblemConstraint
insidePi $trModule_sJ9NW $trModule_sJ9NX $trModule_sJ9NY
$trModule_sJ9NZ $tcYesNoMaybe_sJ9O0 $tcYesNoMaybe_sJ9O1
$tc'Yes_sJ9O2 $tc'Yes_sJ9O3 $tc'No_sJ9O4 $tc'No_sJ9O5
$tc'Maybe_sJ9O6 $tc'Maybe_sJ9O7 $tc'NoBecause_sJ9O8
$tc'NoBecause_sJ9O9 $tc'HellNo_sJ9Oa $tc'HellNo_sJ9Ob loc_sJ9Oc
loc_sJ9Od loc_sJ9Oe loc_sJ9Of loc_sJ9Og loc_sJ9Oh loc_sJ9Oi
$dIP_sJ9Oj $dIP_sJ9Ok $dIP_sJ9Ol loc_sJ9Om loc_sJ9On loc_sJ9Oo
loc_sJ9Op loc_sJ9Oq loc_sJ9Or loc_sJ9Os $dIP_sJ9Ot $dIP_sJ9Ou
$dIP_sJ9Ov $dSubst_sJ9Ow $dIsMeta_sJ9Ox loc_sJ9Oz loc_sJ9OA
loc_sJ9OB loc_sJ9OC loc_sJ9OD loc_sJ9OE loc_sJ9OF $dIP_sJ9OG
$dIP_sJ9OH $dIP_sJ9OI loc_sJ9OM loc_sJ9ON loc_sJ9OO loc_sJ9OP
loc_sJ9OQ loc_sJ9OR loc_sJ9OS $dIP_sJ9OT $dIP_sJ9OU $dIP_sJ9OV
loc_sJ9OY loc_sJ9OZ loc_sJ9P0 loc_sJ9P1 loc_sJ9P2 loc_sJ9P3
loc_sJ9P4 $dIP_sJ9P5 $dIP_sJ9P6 $dIP_sJ9P7 loc_sJ9Qu loc_sJ9Qv
loc_sJ9Qw loc_sJ9Qx loc_sJ9Qy loc_sJ9Qz loc_sJ9QA $dIP_sJ9QB
$dIP_sJ9QC $dIP_sJ9QD loc_sJ9QE loc_sJ9QF loc_sJ9QG loc_sJ9QH
loc_sJ9QI loc_sJ9QJ loc_sJ9QK $dIP_sJ9QL $dIP_sJ9QM $dIP_sJ9QN
loc_sJ9QO loc_sJ9QP loc_sJ9QQ loc_sJ9QR loc_sJ9QS loc_sJ9QT
loc_sJ9QU $dIP_sJ9QV $dIP_sJ9QW $dIP_sJ9QX loc_sJ9QY loc_sJ9QZ
loc_sJ9R0 loc_sJ9R1 loc_sJ9R2 loc_sJ9R3 loc_sJ9R4 $dIP_sJ9R5
$dIP_sJ9R6 $dIP_sJ9R7 loc_sJ9R8 loc_sJ9R9 loc_sJ9Ra loc_sJ9Rb
loc_sJ9Rc loc_sJ9Rd loc_sJ9Re $dIP_sJ9Rf $dIP_sJ9Rg $dIP_sJ9Rh
loc_sJ9Ri loc_sJ9Rj loc_sJ9Rk loc_sJ9Rl loc_sJ9Rm loc_sJ9Rn
loc_sJ9Ro $dIP_sJ9Rp $dIP_sJ9Rq $dIP_sJ9Rr loc_sJ9Rs loc_sJ9Rt
loc_sJ9Ru loc_sJ9Rv loc_sJ9Rw loc_sJ9Rx loc_sJ9Ry $dIP_sJ9Rz
$dIP_sJ9RA $dIP_sJ9RB loc_sJ9RC loc_sJ9RD loc_sJ9RE loc_sJ9RF
loc_sJ9RG loc_sJ9RH loc_sJ9RI $dIP_sJ9RJ $dIP_sJ9RK $dIP_sJ9RL
eta1_sJ9RM wakeupInstanceConstraints_sJ9RN $dIsString_sJa18
$dMonadTCEnv_sJa4I $dMonadTCEnv_sJa4J $dPiApplyM_sJabp
$dFunctor_sJaeS $dApplicative_sJaeT $dMonad_sJaeU
$sshouldPostponeInstanceSearch_sJaeV wild_sJaeY ww_sJaeZ
$ssep_sJaf0 wild_sJaf3 ww_sJaf4 $svcat_sJaf5 $seInstanceDepth_sJaf7
wild_sJaf9 ww_sJafa wild1_sJafb ww3_sJafc wild2_sJafd ww7_sJafe
$sviewTC_sJaff wild_sJafh ww2_sJafi wild1_sJafj ww10_sJafk
$sreportSDoc_sJafl wild_sJafq ww1_sJafr $sdontAssignMetas_sJafs
wild_sJafv ww1_sJafw $sgetMetaType_sJafx $sdropWhileM_sJag2
wild_sJag4 ww_sJag5 $sallMetas'_$sallMetas'1_sJag6 wild_sJag8
ww1_sJag9 wild1_sJaga ww5_sJagb wild2_sJagc ww9_sJagd
$sgetMetaVariableSet_sJage wild_sJagk ww1_sJagl
$sgetMetaTypeInContext_sJagm wild_sJagp ww1_sJagq $sisFrozen_sJagr
wild_sJagu ww_sJagv ww1_sJagw wild2_sJagx ww3_sJagy wild3_sJagz
ww6_sJagA $sgetOpen_sJagB $s$w$c<*>_sJagD wild_sJagF ww_sJagG
$s$fMonadTCEnvBlockT_$caskTC_sJagH wild_sJagJ ww_sJagK $shang_sJagL
$s$fSubstDom'_$capplySubst_sJagP $s$fSubstDom'_$capplySubst_sJagT
wild_sJagV ww_sJagW wild1_sJagX ww3_sJagY wild2_sJagZ ww7_sJah0
$sgetContext_sJah1 $setaExpandRecord'_sJah5 $sisPrefixOf_sJahy
wild_sJahA ww_sJahB wild1_sJahC ww3_sJahD wild2_sJahE ww7_sJahF
$scurrentModule_sJahG $s$fAddContext(,)_$caddContext_sJahI
$sstConsideringInstance_sJahK $sstPostponeInstanceSearch_sJahM
m1_sJamn lvl_sJamo lvl_sJamp m'_sJamr lvl_sJams lvl_sJamt mb_sJamv
m'_sJamx lvl_sJamy lvl_sJamz lvl_sJamA lvl_sJamB lvl_sJamC
lvl_sJamD lvl_sJamE lvl_sJamF lvl_sJamG lvl_sJamH lvl_sJamI
lvl_sJamJ lvl_sJamK lvl_sJamL lvl_sJamM lvl_sJamN lvl_sJamO
lvl_sJamP lvl_sJamQ lvl_sJamR lvl_sJamS lvl_sJamT lvl_sJamU
lvl_sJamV lvl_sJamW lvl_sJamX lvl_sJamY lvl_sJamZ lvl_sJan0
lvl_sJan1 lvl_sJan2 lvl_sJan3 lvl_sJan4 lvl_sJan5 lvl_sJan6
lvl_sJan7 lvl_sJan8 lvl_sJan9 lvl_sJana lvl_sJanb lvl_sJanc
lvl_sJand lvl_sJane lvl_sJanf lvl_sJang lvl_sJanh lvl_sJani
lvl_sJanj lvl_sJank lvl_sJanl lvl_sJanm f_sJano lvl_sJanp lvl_sJanr
lvl_sJans lvl_sJant lvl_sJanu lvl_sJanv lvl_sJanw lvl_sJanx f_sJanz
lvl_sJanA lvl_sJanC lvl_sJanD lvl_sJanE lvl_sJanF lvl_sJanG
lvl_sJanH lvl_sJanI lvl_sJanJ lvl_sJanK lvl_sJanL lvl_sJanM
lvl_sJanN lvl_sJanO lvl_sJanP lvl_sJanQ lvl_sJanR lvl_sJanS
lvl_sJanT lvl_sJanU lvl_sJanV lvl_sJanW lvl_sJanX lvl_sJanY
lvl_sJanZ lvl_sJao0 lvl_sJao1 lvl_sJao2 lvl_sJao3 lvl_sJao4
lvl_sJao5 lvl_sJao6 lvl_sJao7 lvl_sJao8 lvl_sJao9 lvl_sJaoa
lvl_sJaob lvl_sJaoc lvl_sJaod lvl_sJaoe lvl_sJaof lvl_sJaog
lvl_sJaoh lvl_sJaoi lvl_sJaoj lvl_sJaok lvl_sJaol lvl_sJaom
lvl_sJaon lvl_sJaoo lvl_sJaop lvl_sJaoq lvl_sJaor lvl_sJaos
lvl_sJaot lvl_sJaou lvl_sJaov lvl_sJaow lvl_sJaox lvl_sJaoy
lvl_sJaoz lvl_sJaoA lvl_sJaoB lvl_sJaoC lvl_sJaoD lvl_sJaoE
lvl_sJaoF lvl_sJaoG lvl_sJaoH lvl_sJaoI lvl_sJaoJ lvl_sJaoK
lvl_sJaoL lvl_sJaoM lvl_sJaoN lvl_sJaoO lvl_sJaoP lvl_sJaoR
lvl_sJaoS lvl_sJaoT lvl_sJaoU lvl_sJaoV lvl_sJaoW lvl_sJaoX
lvl_sJaoY lvl_sJaoZ lvl_sJap0 lvl_sJap1 lvl_sJap2 lvl_sJap3
lvl_sJap4 lvl_sJap5 lvl_sJap6 lvl_sJap7 lvl_sJap8 eta_sJapa
lvl_sJapb lvl_sJapc lvl_sJapd lvl_sJape lvl_sJapf lvl_sJapg
lvl_sJaph lvl_sJapi instanceFields'_sJapk lvl_sJapl eta_sJapn
n_sJapp lvl_sJapq lvl_sJapr lvl_sJaps lvl_sJapt lvl_sJapu lvl_sJapv
lvl_sJapw lvl_sJapz lvl_sJapA eta_sJapC lvl_sJapD go1_sJapF
eta_sJapH lvl_sJapI lvl_sJapJ lvl_sJapK lvl_sJapL lvl_sJapM
lvl_sJapN s183_sJapP lvl_sJapQ lvl_sJapR lvl_sJapS lvl_sJapT
eta_sJapV lvl_sJapW lvl1068_sJapY lvl_sJapZ lvl_sJaq0 lvl_sJaq1
lvl_sJaq2 lvl_sJaq3 lvl_sJaq4 s183_sJaq6 f252_sJaq8 lvl_sJaq9
lvl_sJaqa s183_sJaqc lvl_sJaqd lvl_sJaqe lvl_sJaqf lvl_sJaqg
s183_sJaqi lvl_sJaqj f252_sJaql lvl_sJaqm wild1_sJaqo lvl_sJaqp
lvl_sJaqq lvl_sJaqr lvl_sJaqs s183_sJaqu lvl_sJaqv lvl_sJaqw
lvl_sJaqx eta_sJaqz lvl_sJaqA getContextVars_sJaqC lvl_sJaqD
lvl_sJaqE lvl_sJaqF lvl_sJaqG lvl_sJaqH lvl_sJaqI s183_sJaqK
lvl_sJaqL wild1_sJaqN lvl_sJaqO lvl_sJaqP lvl_sJaqS lvl_sJaqT
lvl_sJaqU m_sJaqW ds_sJaqY lvl_sJaqZ lvl_sJar0 lvl_sJar1 lvl_sJar2
lvl_sJar3 lvl_sJar4 lvl_sJar5 s183_sJar7 lvl_sJara lvl_sJarb
s183_sJard lvl_sJare lvl_sJarf lvl_sJarg lvl_sJarh lvl_sJari
wild1_sJark lvl_sJarl lvl_sJarm lvl_sJarn wild1_sJarp lvl_sJarq
lvl_sJarr lvl_sJars lvl_sJart s183_sJarv lvl_sJarw wild1_sJary
lvl_sJarz lvl_sJarA lvl_sJarC ds_sJarE m'_sJarG ds_sJarI lvl_sJarJ
go10_sJarL lvl_sJarM lvl_sJarN lvl_sJarO lvl_sJarP lvl_sJarQ
lvl_sJarR s183_sJarT lvl_sJarU lvl_sJarV lvl_sJarW lvl_sJarX
lvl_sJarY lvl_sJarZ lvl_sJas0 lvl_sJas1 lvl_sJas2 lvl_sJas3
lvl_sJas4 lvl_sJas5 lvl_sJas6 lvl_sJas7 s183_sJas9 lvl_sJasa
lvl_sJasb lvl_sJasc lvl_sJasd lvl_sJase lvl_sJasf lvl_sJasg
lvl_sJash lvl_sJasi lvl_sJasj lvl_sJask lvl_sJasl lvl_sJasm
lvl_sJasn lvl_sJasq lvl_sJasr lvl_sJass lvl_sJast lvl_sJasu
lvl_sJasv lvl_sJasw eta_sJasy lvl_sJasz lvl_sJasA lvl_sJasB
lvl_sJasC lvl_sJasD lvl_sJasE lvl_sJasF eta_sJasH lvl_sJasI
lvl_sJasJ lvl_sJasK lvl_sJasL lvl_sJasM lvl_sJasN lvl_sJasO
lvl_sJasP lvl_sJasQ lvl_sJasR lvl_sJasS lvl_sJasT lvl_sJasU
lvl_sJasV lvl_sJasW f252_sJasY lvl_sJasZ lvl_sJat0 s183_sJat2
lvl_sJat3 lvl_sJat4 lvl_sJat5 lvl_sJat6 s183_sJat8 lvl_sJat9
f252_sJatb lvl_sJatc lvl_sJatd lvl_sJate lvl_sJatf lvl_sJatg
lvl_sJath s183_sJatj f252_sJatl lvl_sJatm lvl_sJatn s183_sJatp
lvl_sJatq lvl_sJatr lvl_sJats lvl_sJatt s183_sJatv lvl_sJatw
f252_sJaty lvl_sJatA wild1_sJatC lvl_sJatD lvl_sJatE lvl_sJatF
lvl_sJatG lvl_sJatH lvl_sJatI lvl_sJatJ lvl_sJatK lvl_sJatL
lvl_sJatM lvl_sJatN lvl_sJatO lvl_sJatP lvl_sJatQ s183_sJatS
lvl_sJatT wild1_sJatV lvl_sJatW lvl_sJatX lvl_sJatY lvl_sJatZ
lvl_sJau0 lvl_sJau1 lvl_sJau2 lvl_sJau3 lvl_sJau4
anyMetaTypes_sJau6 lvl_sJau7 lvl_sJau9 lvl_sJaua lvl_sJaub
lvl_sJauc lvl_sJaud lvl_sJaue lvl_sJauf m1_sJaui lvl_sJauj
lvl_sJauk lvl_sJaul lvl_sJaum f252_sJauo lvl_sJaup lvl_sJauq
s183_sJaus lvl_sJaut wild1_sJauv lvl_sJauw lvl_sJaux lvl_sJauy
lvl_sJauz lvl_sJauA lvl_sJauB f252_sJauD lvl_sJauE lvl_sJauF
s183_sJauH lvl_sJauI lvl_sJauJ lvl_sJauK lvl_sJauL s183_sJauN
lvl_sJauO lvl_sJauP s183_sJauR lvl_sJauS lvl_sJauT lvl_sJauU
lvl_sJauV s183_sJauX lvl_sJauY wild1_sJav0 lvl_sJav1 lvl_sJav2
lvl_sJav3 wild1_sJav5 lvl_sJav6 lvl_sJav7 lvl_sJav8 lvl_sJavb
lvl_sJavc lvl_sJavd lvl_sJave lvl_sJavf lvl_sJavg lvl_sJavh
s183_sJavj lvl_sJavk wild1_sJavm lvl_sJavn lvl_sJavo handle_sJavq
$dMonadFresh_sJavs $d(%,,%)_sJavu $dIsString_sJavw
$dMonadTCEnv_sJavy $dReadTCState_sJavA $dHasOptions_sJavC
$dHasBuiltins_sJavE $d(%,,,,,%)_sJavG $d(%,,,,%)_sJavI lvl_sJavJ
lvl_sJavK lvl_sJavL lvl_sJavM lvl_sJavN lvl_sJavO s183_sJavQ
lvl_sJavR wild1_sJavT lvl_sJavU lvl_sJavV
$sdebugConstraintFail_sJavX $dMonadFresh_sJavZ $d(%,,%)_sJaw1
$dIsString_sJaw3 $dMonadTCEnv_sJaw5 $dReadTCState_sJaw7
$dHasOptions_sJaw9 $dHasBuiltins_sJawb $d(%,,,,,%)_sJawd
$d(%,,,,%)_sJawf lvl_sJawg lvl_sJawh lvl_sJawi lvl_sJawj lvl_sJawk
lvl_sJawl s183_sJawn lvl_sJawo wild1_sJawq lvl_sJawr lvl_sJaws
debugConstraintFail_sJawu lvl_sJawv lvl_sJaww lvl_sJawx lvl_sJawy
lvl_sJawz lvl_sJawA lvl_sJawB debugInconclusive_sJawD lvl_sJawE
lvl_sJawF lvl_sJawG lvl_sJawH lvl_sJawI lvl_sJawJ lvl_sJawK
debugSuccess_sJawM lvl_sJawN lvl_sJawO loc_sJawQ lvl_sJawR
lvl_sJawS loc_sJawU lvl_sJawV lvl_sJawW loc_sJawY loc_sJax0
loc_sJax2 loc_sJax4 loc_sJax6 lvl_sJax7 lvl_sJax8 $dIP_sJaxa
$dIP_sJaxc $dIP_sJaxe lvl_sJaxf lvl_sJaxg loc_sJaxi lvl_sJaxj
lvl_sJaxk loc_sJaxm lvl_sJaxn lvl_sJaxo loc_sJaxq loc_sJaxs
loc_sJaxu loc_sJaxw loc_sJaxy lvl_sJaxz lvl_sJaxA $dIP_sJaxC
$dIP_sJaxE $dIP_sJaxG eta_sJaxK lvl_sJaxL lvl_sJaxM lvl_sJaxN
lvl_sJaxO lvl_sJaxP lvl_sJaxQ lvl_sJaxR lvl_sJaxT lvl_sJaxU
lvl_sJaxV lvl_sJaxW lvl_sJaxX lvl_sJaxY lvl_sJaxZ lvl_sJay0
lvl_sJay1 lvl_sJay3 lvl_sJay4 lvl_sJay5 lvl_sJay6 lvl_sJay7
lvl_sJay8 s183_sJaya lvl_sJayb lvl_sJayc lvl_sJayd lvl_sJaye
s183_sJayg lvl_sJayh wild1_sJayj lvl_sJayk lvl_sJayl lvl_sJayn
lvl_sJayo s183_sJayq lvl_sJayr wild1_sJayt lvl_sJayu lvl_sJayv
lvl_sJayw lvl_sJayx s183_sJayz lvl_sJayA wild1_sJayC lvl_sJayD
lvl_sJayE lvl_sJayF lvl_sJayG lvl_sJayH lvl_sJayI lvl_sJayJ
lvl_sJayK lvl_sJayL lvl_sJayM s183_sJayO lvl_sJayP lvl_sJayQ
s183_sJayS lvl_sJayV lvl_sJayW wild1_sJayY lvl_sJayZ lvl_sJaz0
lvl_sJaz1 wild1_sJaz3 lvl_sJaz4 lvl_sJaz5 lvl_sJaz6 lvl_sJaz7
lvl_sJaz8 lvl_sJaz9 lvl_sJaza lvl_sJazb s183_sJazd lvl_sJaze
lvl_sJazf f252_sJazh f252_sJazk lvl_sJazl lvl_sJazm s183_sJazo
lvl_sJazp lvl_sJazq lvl_sJazr f252_sJazt lvl_sJazw lvl_sJazx
unsafeDrop_sJazz lvl_sJazA lvl_sJazB lvl_sJazC lvl_sJazD lvl_sJazE
lvl_sJazF lvl_sJazG s183_sJazI lvl_sJazJ lvl_sJazK f252_sJazM
lvl_sJazP lvl_sJazQ s183_sJazS lvl_sJazT lvl_sJazU lvl_sJazV
lvl_sJazW lvl_sJazX lvl_sJazY f252_sJaA0 lvl_sJaA1 lvl_sJaA2
s183_sJaA4 lvl_sJaA5 wild1_sJaA7 lvl_sJaA8 lvl_sJaA9 lvl_sJaAb
lvl_sJaAc lvl_sJaAd lvl_sJaAe lvl_sJaAf lvl_sJaAg lvl_sJaAh
lvl_sJaAi lvl_sJaAj lvl_sJaAk s183_sJaAm lvl_sJaAn lvl_sJaAo
s183_sJaAq lvl_sJaAr lvl_sJaAs wild1_sJaAu lvl_sJaAv lvl_sJaAw
lvl_sJaAx wild1_sJaAz lvl_sJaAA lvl_sJaAB f252_sJaAE lvl_sJaAF
lvl_sJaAG lvl_sJaAH lvl_sJaAI lvl_sJaAJ lvl_sJaAK s183_sJaAM
lvl_sJaAN lvl_sJaAO s183_sJaAQ lvl_sJaAR lvl_sJaAS wild1_sJaAU
lvl_sJaAV lvl_sJaAW lvl_sJaAX wild1_sJaAZ lvl_sJaB0 lvl_sJaB1
f252_sJaB4 lvl_sJaB5 lvl_sJaB6 lvl_sJaB7 lvl_sJaB8 lvl_sJaB9
lvl_sJaBa lvl_sJaBb lvl_sJaBw lvl_sJaBx lvl_sJaBy lvl_sJaBz
lvl_sJaBA lvl_sJaBB lvl_sJaBC lvl_sJaBD lvl_sJaBE eta_sJaBG
lvl_sJaBH lvl_sJaBI lvl_sJaBL lvl_sJaBM lvl_sJaBN lvl_sJaBO
lvl_sJaBP lvl_sJaBQ s183_sJaBS lvl_sJaBT lvl_sJaBU f252_sJaBW
lvl_sJaBX lvl_sJaBY s183_sJaC0 lvl_sJaC1 lvl_sJaC2 lvl_sJaC3
lvl_sJaC4 lvl_sJaC5 lvl_sJaC6 lvl_sJaC7 lvl_sJaC8 lvl_sJaC9
lvl_sJaCa lvl_sJaCb lvl_sJaCc lvl_sJaCd lvl_sJaCe lvl_sJaCf
lvl_sJaCg s183_sJaCi lvl_sJaCj f252_sJaCm f_sJaCq lvl_sJaCr
lvl_sJaCs lvl_sJaCt lvl_sJaCM lvl_sJaCN lvl_sJaCO lvl_sJaCP
lvl_sJaCQ lvl_sJaCR lvl_sJaCS lvl_sJaCT eta_sJaCV lvl_sJaCW
lvl_sJaCX lvl_sJaCY lvl_sJaCZ lvl_sJaD0 lvl_sJaD1 lvl_sJaD2
lvl_sJaD4 lvl_sJaD5 lvl_sJaD6 lvl_sJaD7 lvl_sJaD8 lvl_sJaD9
lvl_sJaDa lvl_sJaDb lvl_sJaDc lvl_sJaDd lvl_sJaDe f252_sJaDg
lvl_sJaDh lvl_sJaDi s183_sJaDk lvl_sJaDl lvl_sJaDm lvl_sJaDn
lvl_sJaDo s183_sJaDq lvl_sJaDr lvl_sJaDs s183_sJaDu lvl_sJaDv
lvl_sJaDw lvl_sJaDx lvl_sJaDy s183_sJaDA lvl_sJaDB wild1_sJaDD
lvl_sJaDE lvl_sJaDF lvl_sJaDG wild1_sJaDI lvl_sJaDJ lvl_sJaDK
lvl_sJaDL lvl_sJaDM lvl_sJaDN lvl_sJaDO lvl_sJaDP f252_sJaDR
lvl_sJaDS lvl_sJaDT s183_sJaDV lvl_sJaDW lvl_sJaDX lvl_sJaDY
lvl_sJaDZ s183_sJaE1 lvl_sJaE2 lvl_sJaE3 s183_sJaE5 lvl_sJaE6
lvl_sJaE7 lvl_sJaE8 lvl_sJaE9 s183_sJaEb lvl_sJaEc wild1_sJaEe
lvl_sJaEf lvl_sJaEg lvl_sJaEh wild1_sJaEj lvl_sJaEk lvl_sJaEl
lvl_sJaEm lvl_sJaEp lvl_sJaEq lvl_sJaEr lvl_sJaEs lvl_sJaEt
lvl_sJaEu s_sJaEw lvl_sJaEx eta_sJaEz g_sJaEB lvl_sJaEC lvl_sJaED
lvl_sJaEE lvl_sJaEF lvl_sJaEG lvl_sJaEH lvl_sJaEI lvl_sJaEJ
lvl_sJaEK s183_sJaEM lvl_sJaEN lvl_sJaEO lvl_sJaEP lvl_sJaEQ
lvl_sJaER lvl_sJaES lvl_sJaET lvl_sJaEU lvl_sJaEV s183_sJaEX
lvl_sJaEY lvl_sJaEZ lvl_sJaF0 infinity_sJaF2 f_sJaF4 lvl_sJaF5
n_sJaF7 lvl_sJaF8 lvl_sJaF9 lvl_sJaFa lvl_sJaFb lvl_sJaFc lvl_sJaFd
lvl_sJaFe lvl_sJaFf s183_sJaFh lvl_sJaFi lvl_sJaFj f252_sJaFl
lvl_sJaFm lvl_sJaFn s183_sJaFp lvl_sJaFq lvl_sJaFr lvl_sJaFs
lvl_sJaFt s183_sJaFv lvl_sJaFw wild1_sJaFy lvl_sJaFz lvl_sJaFA
lvl_sJaFB lvl_sJaFC s183_sJaFE lvl_sJaFF wild1_sJaFH lvl_sJaFI
lvl_sJaFJ lvl_sJaFL lvl_sJaFM lvl_sJaFN lvl_sJaFO lvl_sJaFP
lvl_sJaFQ s183_sJaFS lvl_sJaFT lvl_sJaFU eta_sJaFY lvl_sJaFZ
$s$w$c<*>_sJaG6 ww6_sJaGJ ww3_sJaHR ww5_sJaHS}
checkpointSubstitution
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/Core/Opt/Simplify/Env.hs:708:30 in ghc:GHC.Core.Opt.Simplify.Env
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
```9.0.2https://gitlab.haskell.org/ghc/ghc/-/issues/20278in_scope ASSERT failure when desugaring GADT record update2021-09-09T13:34:53Zsheafsam.derbyshire@gmail.comin_scope ASSERT failure when desugaring GADT record updateThe following module causes an ASSERT failure on HEAD:
```haskell
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module RepPolyGADTRecordUpdate where
im...The following module causes an ASSERT failure on HEAD:
```haskell
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module RepPolyGADTRecordUpdate where
import Data.Kind
import GHC.Exts
type X :: TYPE rep -> Type
data X a where
MkX :: { fld1 :: a, fld2 :: Int } -> X a
upd :: forall rep (a :: TYPE rep). X a -> X a
upd x = x { fld2 = 3 }
```
```
ghc: panic! (the 'impossible' happened)
GHC version 9.3.20210824:
ASSERT failed!
in_scope InScope {rep_azw a_azx}
tenv [aiR :-> a_azx, awI :-> rep_azw]
cenv []
tys [rep_awI ~# 'BoxedRep 'Lifted, a_aiR ~# a_X0]
cos []
needInScope {a_X0}
Call stack:
CallStack (from HasCallStack):
assertPpr, called at compiler/GHC/Core/TyCo/Subst.hs:<line>:<column> in <package-id>:GHC.Core.TyCo.Subst
checkValidSubst, called at compiler/GHC/Core/TyCo/Subst.hs:<line>:<column> in <package-id>:GHC.Core.TyCo.Subst
substTys, called at compiler/GHC/Core/TyCo/Subst.hs:<line>:<column> in <package-id>:GHC.Core.TyCo.Subst
substTheta, called at compiler/GHC/HsToCore/Expr.hs:<line>:<column> in <package-id>:GHC.HsToCore.Expr
```
The callstack indicates that this happens in a call to `substTheta` in the `RecordUpd` case of `GHC.HsToCore.Expr.dsExpr`, which indeed desugars GADT record upates.https://gitlab.haskell.org/ghc/ghc/-/issues/20277Representation-polymorphic unboxed sum causes a panic2021-10-18T10:52:12Zsheafsam.derbyshire@gmail.comRepresentation-polymorphic unboxed sum causes a panicThe existing representation-polymorphism checks allow some unboxed sums to slip through the cracks:
```haskell
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnboxedTuples #-}
mo...The existing representation-polymorphism checks allow some unboxed sums to slip through the cracks:
```haskell
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnboxedTuples #-}
module RepPolySum where
import GHC.Exts
baz :: forall (rep :: RuntimeRep) (a :: TYPE rep). () -> (# Int# | a #)
baz _ = (# 17# | #)
```
```
ghc: panic! (the 'impossible' happened)
(GHC version 9.0.1:
runtimeRepPrimRep
typePrimRep (a_aCt :: TYPE rep_aCs)
rep_aCs
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler\GHC\Utils\Outputable.hs:1230:37 in ghc:GHC.Utils.Outputable
pprPanic, called at compiler\\GHC\\Types\\RepType.hs:527:5 in ghc:GHC.Types.RepType
```
(That's with GHC 9.0; the same error exists on HEAD.)
It wouldn't be hard to fix with the existing mechanisms (in the desugarer), but I'm currently fixing it in the typechecker as part of !6164.https://gitlab.haskell.org/ghc/ghc/-/issues/202109.2.1 RC1 build panics on ppc64le Linux2021-08-29T19:53:16ZJens Petersen9.2.1 RC1 build panics on ppc64le Linux## Summary
(I appreciate that 9.2.1 RC1 hasn't been officially announced yet: its upload was picked up by [release-monitor.org](https://release-monitoring.org/project/906/), so I keenly started to test building for Fedora.)
Building gh...## Summary
(I appreciate that 9.2.1 RC1 hasn't been officially announced yet: its upload was picked up by [release-monitor.org](https://release-monitoring.org/project/906/), so I keenly started to test building for Fedora.)
Building ghc-9.2.0.20210806 on ppc64le with Fedora 35 ppc64le panics for me:
```
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/StgMiscClosures.o] Error 1
ghc-stage1: panic! (the 'impossible' happened)
```
## Steps to reproduce
Build ghc-9.2.0.20210806 on ppc64le with ghc-8.10.5
https://koji.fedoraproject.org/koji/taskinfo?taskID=73515727
Full build.log: https://kojipkgs.fedoraproject.org//work/tasks/5727/73515727/build.log (available for 2 weeks)
```
"inplace/bin/ghc-stage1" -optc-Wall -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Wno-aggregate-return -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedconstants/header -optc-Iincludes/dist-ghcconstants/header -optc-Iincludes/dist-install/build -optc-Irts -optc-Irts/dist/build -optc-DCOMPILING_RTS -optc-DFS_NAMESPACE=rts -optc-DUSE_LIBFFI_FOR_ADJUSTORS -optc-fno-strict-aliasing -optc-fno-common -optc-Irts/dist/build/./autogen -optc-Werror=unused-but-set-variable -optc-Wno-error=inline -optc-O2 -optc-fomit-frame-pointer -optc-g -optc-DRtsWay=\"rts_v\" -optc-ffunction-sections -optc-fdata-sections -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/WSDeque.c -o rts/dist/build/WSDeque.o
"inplace/bin/ghc-stage1" -optc-Wall -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Wno-aggregate-return -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedconstants/header -optc-Iincludes/dist-ghcconstants/header -optc-Iincludes/dist-install/build -optc-Irts -optc-Irts/dist/build -optc-DCOMPILING_RTS -optc-DFS_NAMESPACE=rts -optc-DUSE_LIBFFI_FOR_ADJUSTORS -optc-fno-strict-aliasing -optc-fno-common -optc-Irts/dist/build/./autogen -optc-Werror=unused-but-set-variable -optc-Wno-error=inline -optc-O2 -optc-fomit-frame-pointer -optc-g -optc-DRtsWay=\"rts_v\" -optc-ffunction-sections -optc-fdata-sections -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/Weak.c -o rts/dist/build/Weak.o
"inplace/bin/ghc-stage1" -optc-Wall -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Wno-aggregate-return -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedconstants/header -optc-Iincludes/dist-ghcconstants/header -optc-Iincludes/dist-install/build -optc-Irts -optc-Irts/dist/build -optc-DCOMPILING_RTS -optc-DFS_NAMESPACE=rts -optc-DUSE_LIBFFI_FOR_ADJUSTORS -optc-fno-strict-aliasing -optc-fno-common -optc-Irts/dist/build/./autogen -optc-Werror=unused-but-set-variable -optc-Wno-error=inline -optc-O2 -optc-fomit-frame-pointer -optc-g -optc-DRtsWay=\"rts_v\" -optc-ffunction-sections -optc-fdata-sections -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/fs.c -o rts/dist/build/fs.o
"inplace/bin/mkdirhier" rts/dist/build/hooks//.
"inplace/bin/mkdirhier" rts/dist/build/sm//.
"inplace/bin/mkdirhier" rts/dist/build/eventlog//.
"inplace/bin/mkdirhier" rts/dist/build/linker//.
"inplace/bin/mkdirhier" rts/dist/build/linker/macho//.
"inplace/bin/mkdirhier" rts/dist/build/posix//.
"inplace/bin/ghc-stage1" -optc-Wall -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Wno-aggregate-return -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedconstants/header -optc-Iincludes/dist-ghcconstants/header -optc-Iincludes/dist-install/build -optc-Irts -optc-Irts/dist/build -optc-DCOMPILING_RTS -optc-DFS_NAMESPACE=rts -optc-DUSE_LIBFFI_FOR_ADJUSTORS -optc-fno-strict-aliasing -optc-fno-common -optc-Irts/dist/build/./autogen -optc-Werror=unused-but-set-variable -optc-Wno-error=inline -optc-O2 -optc-fomit-frame-pointer -optc-g -optc-DRtsWay=\"rts_v\" -optc-ffunction-sections -optc-fdata-sections -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/StgCRunAsm.S -o rts/dist/build/StgCRunAsm.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/Apply.cmm -o rts/dist/build/Apply.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/Compact.cmm -o rts/dist/build/Compact.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/Exception.cmm -o rts/dist/build/Exception.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/HeapStackCheck.cmm -o rts/dist/build/HeapStackCheck.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/PrimOps.cmm -o rts/dist/build/PrimOps.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/StgMiscClosures.cmm -o rts/dist/build/StgMiscClosures.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/StgStartup.cmm -o rts/dist/build/StgStartup.o
"inplace/bin/ghc-stage1" -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Iincludes/dist-install/build -Irts -Irts/dist/build -DCOMPILING_RTS -DFS_NAMESPACE=rts -this-unit-id rts -dcmm-lint -package-env - -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -c rts/StgStdThunks.cmm -o rts/dist/build/StgStdThunks.o
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/Exception.o] Error 1
make[1]: *** Waiting for unfinished jobs....
make[1]: *** [rts/ghc.mk:325: rts/dist/build/Apply.o] Error 1
make[1]: *** [rts/ghc.mk:325: rts/dist/build/Compact.o] Error 1
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/HeapStackCheck.o] Error 1
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/StgStartup.o] Error 1
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/StgMiscClosures.o] Error 1
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/StgStdThunks.o] Error 1
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 9.2.0.20210806:
RegAllocLinear.getFreeRegs: Bad register class
F
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
pprPanic, called at compiler/GHC/CmmToAsm/Reg/Linear/PPC.hs:51:19 in ghc:GHC.CmmToAsm.Reg.Linear.PPC
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
make[1]: *** [rts/ghc.mk:325: rts/dist/build/PrimOps.o] Error 1
make: *** [Makefile:128: all] Error 2
```
## Expected behavior
Build to pass like for alpha1 and alpha2.
## Environment
* GHC version used: 8.10.5
Optional:
* Operating System: Fedora Linux
* System Architecture: ppc64le
cc @trommler9.2.1https://gitlab.haskell.org/ghc/ghc/-/issues/20142Cmm type mismatch in %MO_S_Shr_W8 application2021-11-08T13:30:59ZBen GamariCmm type mismatch in %MO_S_Shr_W8 application`text` currently fails to build with `-dcmm-lint`:
```
$ _build/stage1/bin/ghc -O2 -dcore-lint -dstg-lint -dcmm-lint -ilibraries/text/src Data.Text.Lazy.Builder.Int -Ilibraries/text/include
...
[36 of 36] Compiling Data.Text.Lazy.Builde...`text` currently fails to build with `-dcmm-lint`:
```
$ _build/stage1/bin/ghc -O2 -dcore-lint -dstg-lint -dcmm-lint -ilibraries/text/src Data.Text.Lazy.Builder.Int -Ilibraries/text/include
...
[36 of 36] Compiling Data.Text.Lazy.Builder.Int ( libraries/text/src/Data/Text/Lazy/Builder/Int.hs, libraries/text/src/Data/Text/Lazy/Builder/Int.o )
Cmm lint error:
in basic block cTTj
in MachOp application:
%MO_S_Shr_W8(_sRS5::I8, 7 :: W8)
op is expecting: [W8, W64]
arguments provide: [I8, I8]
Program was:
{offset
cTTh: // global
if ((Sp + -16) < SpLim) (likely: False) goto cTTi; else goto cTTj;
cTTi: // global
R1 = R1;
call (stg_gc_enter_1)(R1) args: 8, res: 0, upd: 8;
cTTj: // global
I64[Sp - 16] = stg_upd_frame_info;
P64[Sp - 8] = R1;
_sRS5::I8 = I8[R1 + 16];
R2 = %MO_XX_Conv_W8_W64(%MO_S_Shr_W8(_sRS5::I8 + %MO_S_Shr_W8(_sRS5::I8,
7 :: W8) & 15 :: W8,
4 :: W8));
Sp = Sp - 16;
call $wgo7_info(R2) args: 24, res: 0, upd: 24;
}
<no location info>: error:
Compilation had errors
```https://gitlab.haskell.org/ghc/ghc/-/issues/20136Build of aeson running out of memory in ghc 8.10.4 (pandoc)2022-02-23T13:39:31ZMarty HeymanBuild of aeson running out of memory in ghc 8.10.4 (pandoc)## Summary
`stack install` of `pandoc` cloned this morning on a
## Steps to reproduce
I installed the current `ghc` with "sudo apt install haskell-platform". I installed `stack` following the instructions on the `stack` website. I clo...## Summary
`stack install` of `pandoc` cloned this morning on a
## Steps to reproduce
I installed the current `ghc` with "sudo apt install haskell-platform". I installed `stack` following the instructions on the `stack` website. I cloned `pandoc` from project source. I went into the `pandoc/` directory and ran: `stack setup` and then `stack install`. It initially failed with an out of memory problem and I later restarted `stack install` and got:
mare:~/repos/pandoc$ stack install
aeson > configure
aeson > Configuring aeson-1.5.6.0...
aeson > build
aeson > Preprocessing library for aeson-1.5.6.0..
aeson > Building library for aeson-1.5.6.0..
aeson > [ 1 of 24] Compiling Data.Aeson.Internal.Functions
aeson > [ 2 of 24] Compiling Data.Aeson.Parser.UnescapePure
aeson > [ 3 of 24] Compiling Data.Aeson.Parser.Unescape
aeson > [ 4 of 24] Compiling Data.Aeson.Types.Generic
aeson > [ 5 of 24] Compiling Data.Aeson.Types.Internal
aeson > [ 6 of 24] Compiling Data.Aeson.Parser.Internal
aeson > ghc: internal error: Unable to commit 1048576 bytes of memory
aeson > (GHC version 8.10.4 for x86_64_unknown_linux)
aeson > Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
Progress 1/32
## Expected behavior
It should have built and installed `pandoc`.
## Environment
* GHC version used: 8.10.4
Optional:
* Operating System: PRETTY_NAME="Debian GNU/Linux 10 (buster)"
* System Architecture: 64-bit intel compatible9.4.1ZubinZubinhttps://gitlab.haskell.org/ghc/ghc/-/issues/20063No skolem info panic involving typed hole2022-03-22T09:20:15Zsheafsam.derbyshire@gmail.comNo skolem info panic involving typed holeThe following program causes a `No skolem info` panic on GHC 9.0.1, 9.2.1, HEAD, but not on GHC 8.10.5.
```haskell
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds ...The following program causes a `No skolem info` panic on GHC 9.0.1, 9.2.1, HEAD, but not on GHC 8.10.5.
```haskell
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module Bug where
data Context where
Extend :: forall k. Context -> Context
type (:*&) :: Context -> forall k -> Context
type ctx :*& k = Extend @k ctx
data Idx ctx where
T :: Idx ctx -> Idx (ctx :*& l)
data Rn ctx1 ctx2 where
U :: Rn ctx1 ctx2 -> Rn (ctx1 :*& l) (ctx2 :*& l)
rnRename :: Rn ctx1 ctx2 -> Idx ctx3 -> Idx ctx4
rnRename (U _ ) _ = T _
rnRename _ T = undefined
```
```
[1 of 1] Compiling Bug ( src\Bug.hs, interpreted )
ghc.exe: panic! (the 'impossible' happened)
(GHC version 9.0.1:
No skolem info:
[ctx4_aBB[sk:1]]
```
The program should be rejected, and the error given with GHC 8.10.5 seems perfect:
```
[1 of 1] Compiling Bug ( src\Bug.hs, interpreted )
src\Bug.hs:26:17: error:
• The constructor ‘T’ should have 1 argument, but has been given none
• In the pattern: T
In an equation for ‘rnRename’: rnRename _ T = undefined
|
26 | rnRename _ T = undefined
| ^
```
The issue seems to be related to the presence of a typed hole on the line prior to the bogus pattern match.