Update core spec to reflect changes to Core.

Key changes:
 * Adds a new rule for forall-coercions over coercion variables, which
was implemented but conspicuously missing from the spec.
 * Adds treatment for FunCo.
 * Adds treatment for ForAllTy over coercion variables.
 * Improves commentary (including restoring a Note lost in
03d48526) in the source.

No changes to running code.
23 jobs for master in 340 minutes and 21 seconds (queued for 14 seconds)
Status Job ID Name Coverage
  Lint
passed #287038
lint
lint-linters

00:00:12

passed #287041
lint
lint-submods-branch

00:00:19

passed #287039
lint
lint-testsuite

00:00:15

passed #287040
lint
typecheck-testsuite

00:00:14

 
  Quick Build
passed #287042
x86_64-linux
hadrian-ghc-in-ghci

00:09:15

 
  Build
passed #287043
x86_64-linux
validate-x86_64-linux-deb9-hadrian

01:36:00

 
  Full Build
failed #287046
aarch64-linux allowed to fail
validate-aarch64-linux-deb9

03:04:20

passed #287047
armv7-linux
validate-armv7-linux-deb9

03:31:54

passed #287048
x86_64-linux
validate-i386-linux-deb9

01:15:05

failed #287055
new-x86_64-windows test allowed to fail
validate-i386-windows

00:04:40

passed #287045
x86_64-darwin
validate-x86_64-darwin

01:39:07

passed #287049
x86_64-linux
validate-x86_64-linux-deb9-debug

02:05:22

passed #287051
x86_64-linux
validate-x86_64-linux-deb9-dwarf

01:20:32

passed #287050
x86_64-linux
validate-x86_64-linux-deb9-integer-simple

01:02:04

passed #287044
x86_64-linux
validate-x86_64-linux-deb9-unreg-hadrian

02:21:20

passed #287052
x86_64-linux
validate-x86_64-linux-fedora27

01:23:15

failed #287054
new-x86_64-windows test allowed to fail
validate-x86_64-windows

00:46:44

failed #287053
new-x86_64-windows test allowed to fail
validate-x86_64-windows-hadrian

01:01:56

 
  Cleanup
passed #287056
x86_64-darwin
cleanup-darwin

00:00:14

 
  Packaging
failed #287057
x86_64-linux allowed to fail
doc-tarball

00:00:16

 
  Testing
manual #287058
x86_64-linux allowed to fail manual
hackage
passed #287059
x86_64-linux
perf-nofib

00:13:20

 
  Deploy
failed #287060
x86_64-linux allowed to fail
pages

00:08:27

 
Name Stage Failure
failed
validate-aarch64-linux-deb9 Full Build
Uploading artifacts...
ghc-aarch64-linux-deb9.tar.xz: found 1 matching files
junit.xml: found 1 matching files

performance-metrics.tsv: found 1 matching files

Uploading artifacts to coordinator... ok
id=287046 responseStatus=201 Created token=q1U-68HB
Uploading artifacts...
junit.xml: found 1 matching files

Uploading artifacts to coordinator... ok
id=287046 responseStatus=201 Created token=q1U-68HB
ERROR: Job failed: exit code 1
failed
doc-tarball Packaging
Entering 'nofib'
Entering 'utils/haddock'
Entering 'utils/hsc2hs'
Downloading artifacts for validate-x86_64-linux-deb9-debug (287049)...
Downloading artifacts from coordinator... ok id=287049 responseStatus=200 OK token=sRWbMEfw
Authenticating with credentials from job payload (GitLab Registry)
$ if [ ! -f "$LINUX_BINDIST" ]; then # collapsed multi-line command
Error: ghc-x86_64-mingw32.tar.xz does not exist. Did the 64-bit Windows job fail?
ERROR: Job failed: exit code 1
failed
pages Deploy
Entering 'libraries/xhtml'
Entering 'nofib'
Entering 'utils/haddock'
Entering 'utils/hsc2hs'
$ mkdir -p public/doc
$ tar -xf haddock.html.tar.xz -C public/doc
tar: haddock.html.tar.xz: Cannot open: No such file or directory
tar: Error is not recoverable: exiting now
ERROR: Job failed: exit code 1
failed
validate-i386-windows Full Build
Git branch:   12-9-stable
GO version: go1.13.8
Built: 2020-03-20T13:02:39+0000
OS/Arch: windows/amd64
Uploading artifacts...
Runtime platform
arch=amd64 os=windows pid=2264 revision=4c96e5ad version=12.9.0
WARNING: junit.xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit status 1
failed
validate-x86_64-windows Full Build
Git branch:   12-9-stable
GO version: go1.13.8
Built: 2020-03-20T13:02:39+0000
OS/Arch: windows/amd64
Uploading artifacts...
Runtime platform
arch=amd64 os=windows pid=5456 revision=4c96e5ad version=12.9.0
WARNING: junit.xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit status 1
failed
validate-x86_64-windows-hadrian Full Build
Git branch:   12-6-stable
GO version: go1.13.4
Built: 2019-12-22T11:55:34+0000
OS/Arch: windows/amd64
Uploading artifacts...
Runtime platform
arch=amd64 os=windows pid=7052 revision=ac8e767a version=12.6.0
WARNING: junit.xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit status 1