Make BCO# lifted
In #17424 Simon PJ noted that there is a potentially unsafe occurrence of unsafeCoerce#, coercing from an unlifted to lifted type. However, nowhere in the compiler do we assume that a BCO# is not a thunk. Moreover, in the case of a CAF the result returned by `createBCO` *will* be a thunk (as noted in [Updatable CAF BCOs]). Consequently it seems better to rather make BCO# a lifted type and rename it to BCO.
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Lint | |||||||||
passed |
#215441
lint
|
lint-linters |
00:00:14
|
|
|||||
passed |
#215444
lint
|
lint-submods-branch |
00:00:16
|
|
|||||
passed |
#215442
lint
|
lint-testsuite |
00:00:15
|
|
|||||
passed |
#215443
lint
|
typecheck-testsuite |
00:00:13
|
|
|||||
Quick Build | |||||||||
passed |
#215445
x86_64-linux
|
hadrian-ghc-in-ghci |
00:08:14
|
|
|||||
Build | |||||||||
passed |
#215448
x86_64-linux
|
release-x86_64-linux-deb9 |
00:46:22
|
|
|||||
passed |
#215447
x86_64-linux
|
validate-x86_64-linux-deb9-debug |
01:29:44
|
|
|||||
passed |
#215449
x86_64-linux
|
validate-x86_64-linux-deb9-dwarf |
01:13:26
|
|
|||||
passed |
#215446
x86_64-linux
|
validate-x86_64-linux-deb9-hadrian |
01:13:31
|
|
|||||
Full Build | |||||||||
failed |
#215452
aarch64-linux
allowed to fail
|
validate-aarch64-linux-deb9 |
03:10:11
|
|
|||||
failed |
#215453
armv7-linux
allowed to fail
|
validate-armv7-linux-deb9 |
03:15:28
|
|
|||||
passed |
#215454
x86_64-linux
|
validate-i386-linux-deb9 |
01:06:20
|
|
|||||
passed |
#215451
x86_64-darwin
|
validate-x86_64-darwin |
01:05:59
|
|
|||||
passed |
#215455
x86_64-linux
|
validate-x86_64-linux-deb9-integer-simple |
00:44:14
|
|
|||||
passed |
#215450
x86_64-linux
|
validate-x86_64-linux-deb9-unreg-hadrian |
02:16:40
|
|
|||||
passed |
#215456
x86_64-linux
|
validate-x86_64-linux-fedora27 |
01:19:33
|
|
|||||
failed |
#215458
x86_64-windows
allowed to fail
|
validate-x86_64-windows |
00:31:38
|
|
|||||
failed |
#215457
x86_64-windows
allowed to fail
|
validate-x86_64-windows-hadrian |
00:47:10
|
|
|||||
Cleanup | |||||||||
passed |
#215459
x86_64-darwin
|
cleanup-darwin |
00:00:09
|
|
|||||
Packaging | |||||||||
failed |
#215460
x86_64-linux
allowed to fail
|
doc-tarball |
00:00:26
|
|
|||||
Testing | |||||||||
manual |
#215461
x86_64-linux
allowed to fail
manual
|
hackage |
|
||||||
passed |
#215462
x86_64-linux
|
perf-nofib |
00:24:08
|
|
|||||
Deploy | |||||||||
failed |
#215463
x86_64-linux
allowed to fail
|
pages |
00:02:46
|
|
|||||
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
validate-armv7-linux-deb9 | Full Build | ||
|
||||
failed
|
pages | Deploy | ||
|
||||
failed
|
validate-x86_64-windows | Full Build | ||
|
||||
failed
|
validate-x86_64-windows-hadrian | Full Build | ||
|
||||
failed
|
validate-aarch64-linux-deb9 | Full Build | ||
|
||||
failed
|
doc-tarball | Packaging | ||
|