0.00 s
$ /nix/store/61685rbaxmpigwi3z23i33sv3jyfl70q-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/wknkybkzrc16r11vk5vrykh4wmw7a353-nix-2.34.8/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link --print-out-paths git+https://github.com/sellout/kilns-haskell?ref=renovate%2Fubuntu-26.x&rev=bf436ad7840101719eb53be8d475afa55430bf38&shallow=1#packages.x86_64-linux.default --print-build-logs
0.09 s
warning: ignoring untrusted flake configuration setting 'allow-import-from-derivation'.
0.09 s
Pass '--accept-flake-config' to trust it
0.09 s
warning: ignoring untrusted flake configuration setting 'extra-experimental-features'.
0.09 s
Pass '--accept-flake-config' to trust it
0.09 s
warning: ignoring untrusted flake configuration setting 'extra-substituters'.
0.09 s
Pass '--accept-flake-config' to trust it
0.09 s
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
0.09 s
Pass '--accept-flake-config' to trust it
0.09 s
warning: ignoring untrusted flake configuration setting 'sandbox'.
0.09 s
Pass '--accept-flake-config' to trust it
0.09 s
warning: ignoring untrusted flake configuration setting 'use-registries'.
0.09 s
Pass '--accept-flake-config' to trust it
0.09 s
error (ignored): SQLite database '/var/cache/nix-ci-worker/eval-cache-v6/db0ae04f687c42aacd4c523ff4e109fe605604e02e240ba27316631f84fd8375.sqlite ' is busy
0.09 s
0.09 s
Downloading cached source from https://cache.nix-ci.com
7.86 s
Downloaded cached source (177.1 MiB) in 7.7s
7.86 s
Progress: 1 of 1 downloaded from cache
8.13 s
Progress: 0 of 1 downloaded from cache
8.13 s
Downloading cached source from https://cache.nix-ci.com
8.14 s
Downloaded cached source (48 KiB) in 8ms
8.14 s
Progress: 1 of 1 downloaded from cache
12.12 s
12.83 s
Downloading cached glibc-locales-2.40 from https://cache.nix-ci.com
12.83 s
Downloading cached distribution-nixpkgs-1.7.1.1-data from https://cache.nix-ci.com
12.83 s
Downloading cached gnu-config-2024-01 from https://cache.nix-ci.com
12.83 s
Downloading cached xgcc-14.3.0-libgcc from https://cache.nix-ci.com
12.83 s
Downloading cached gcc-14.3.0-libgcc from https://cache.nix-ci.com
12.83 s
Downloading cached libunistring from https://cache.nix-ci.com
12.83 s
Downloading cached publicsuffix-list-0-unstable-2025-03 from https://cache.nix-ci.com
12.86 s
Downloaded cached distribution-nixpkgs-1.7.1.1-data (2032 B) in 27ms
12.86 s
Progress: 0 of 5 built, 1 of 49 downloaded from cache (6 downloading)
12.86 s
Downloaded cached gnu-config-2024-01 (86 KiB) in 27ms
12.86 s
Progress: 0 of 5 built, 2 of 49 downloaded from cache (5 downloading)
12.86 s
Downloading cached update-autotools-gnu-config-scripts-hook from https://cache.nix-ci.com
12.86 s
Downloaded cached xgcc-14.3.0-libgcc (197 KiB) in 30ms
12.86 s
Progress: 0 of 5 built, 3 of 49 downloaded from cache (5 downloading)
12.87 s
Downloaded cached gcc-14.3.0-libgcc (197 KiB) in 35ms
12.87 s
Progress: 0 of 5 built, 4 of 49 downloaded from cache (4 downloading)
12.88 s
Downloaded cached publicsuffix-list-0-unstable-2025-03 (315 KiB) in 41ms
12.88 s
Progress: 0 of 5 built, 5 of 49 downloaded from cache (3 downloading)
12.91 s
Downloaded cached update-autotools-gnu-config-scripts-hook (968 B) in 44ms
12.91 s
Progress: 0 of 5 built, 6 of 49 downloaded from cache (2 downloading)
12.91 s
Downloaded cached libunistring (2 MiB) in 79ms
12.91 s
Progress: 0 of 5 built, 7 of 49 downloaded from cache (1 downloading)
12.91 s
Downloading cached libidn2 from https://cache.nix-ci.com
12.91 s
Downloaded cached libidn2 in 0ms
12.91 s
Progress: 0 of 5 built, 8 of 49 downloaded from cache (1 downloading)
12.91 s
Downloading cached glibc-2.40 from https://cache.nix-ci.com
13.62 s
Downloaded cached glibc-2.40 (28.8 MiB) in 704ms
13.62 s
Progress: 0 of 5 built, 9 of 49 downloaded from cache (1 downloading)
13.62 s
Downloading cached attr from https://cache.nix-ci.com
13.62 s
Downloading cached bash from https://cache.nix-ci.com
13.62 s
Downloading cached brotli-1.1.0-lib from https://cache.nix-ci.com
13.62 s
Downloaded cached attr in 0ms
13.62 s
Downloading cached bzip2 from https://cache.nix-ci.com
13.62 s
Downloaded cached bash in 0ms
13.62 s
Downloaded cached bzip2 in 0ms
13.62 s
Downloaded cached brotli-1.1.0-lib in 0ms
13.62 s
Downloading cached ed from https://cache.nix-ci.com
13.62 s
Downloading cached gawk from https://cache.nix-ci.com
13.62 s
Downloaded cached ed in 0ms
13.62 s
Downloading cached gcc-14.3.0-lib from https://cache.nix-ci.com
13.62 s
Downloaded cached gawk in 0ms
13.62 s
Downloading cached gnumake from https://cache.nix-ci.com
13.62 s
Downloaded cached gcc-14.3.0-lib in 0ms
13.62 s
Downloading cached gnused from https://cache.nix-ci.com
13.62 s
Downloaded cached gnumake in 0ms
13.62 s
Downloaded cached gnused in 0ms
13.62 s
Downloading cached json-c from https://cache.nix-ci.com
13.62 s
Downloaded cached json-c in 0ms
13.62 s
Downloading cached keyutils-1.6.3-lib from https://cache.nix-ci.com
13.62 s
Downloading cached libffi from https://cache.nix-ci.com
13.62 s
Downloaded cached keyutils-1.6.3-lib in 0ms
13.62 s
Downloaded cached libffi in 0ms
13.62 s
Downloading cached libpsl from https://cache.nix-ci.com
13.62 s
Downloaded cached libpsl in 0ms
13.62 s
Downloading cached nghttp2-1.65.0-lib from https://cache.nix-ci.com
13.62 s
Downloaded cached nghttp2-1.65.0-lib in 0ms
13.62 s
Downloading cached openssl from https://cache.nix-ci.com
13.62 s
Downloaded cached openssl in 0ms
13.62 s
Progress: 0 of 5 built, 10 of 49 downloaded from cache (15 downloading)
13.62 s
Progress: 0 of 5 built, 11 of 49 downloaded from cache (14 downloading)
13.62 s
Progress: 0 of 5 built, 12 of 49 downloaded from cache (13 downloading)
13.62 s
Progress: 0 of 5 built, 13 of 49 downloaded from cache (12 downloading)
13.62 s
Progress: 0 of 5 built, 14 of 49 downloaded from cache (11 downloading)
13.62 s
Progress: 0 of 5 built, 15 of 49 downloaded from cache (10 downloading)
13.62 s
Progress: 0 of 5 built, 16 of 49 downloaded from cache (9 downloading)
13.62 s
Progress: 0 of 5 built, 17 of 49 downloaded from cache (8 downloading)
13.62 s
Progress: 0 of 5 built, 18 of 49 downloaded from cache (7 downloading)
13.62 s
Progress: 0 of 5 built, 19 of 49 downloaded from cache (6 downloading)
13.62 s
Progress: 0 of 5 built, 20 of 49 downloaded from cache (5 downloading)
13.62 s
Progress: 0 of 5 built, 21 of 49 downloaded from cache (4 downloading)
13.62 s
Progress: 0 of 5 built, 22 of 49 downloaded from cache (3 downloading)
13.62 s
Downloading cached pcre2 from https://cache.nix-ci.com
13.62 s
Downloading cached xz from https://cache.nix-ci.com
13.62 s
Downloaded cached pcre2 in 0ms
13.62 s
Downloaded cached xz in 0ms
13.62 s
Downloading cached zlib from https://cache.nix-ci.com
13.62 s
Downloaded cached zlib in 0ms
13.62 s
Downloading cached acl from https://cache.nix-ci.com
13.62 s
Downloaded cached acl in 0ms
13.62 s
Downloading cached bzip2-1.0.8-bin from https://cache.nix-ci.com
13.62 s
Downloaded cached bzip2-1.0.8-bin in 0ms
13.62 s
Downloading cached gmp-with-cxx from https://cache.nix-ci.com
13.62 s
Downloaded cached gmp-with-cxx in 0ms
13.62 s
Downloading cached gmp-with-cxx from https://cache.nix-ci.com
13.62 s
Downloaded cached gmp-with-cxx in 0ms
13.62 s
Downloading cached gzip from https://cache.nix-ci.com
13.62 s
Downloaded cached gzip in 0ms
13.62 s
Downloading cached patch from https://cache.nix-ci.com
13.62 s
Downloaded cached patch in 0ms
13.62 s
Downloading cached patchelf from https://cache.nix-ci.com
13.62 s
Downloading cached zstd from https://cache.nix-ci.com
13.62 s
Downloaded cached patchelf in 0ms
13.62 s
Downloaded cached zstd in 0ms
13.62 s
Progress: 0 of 4 built, 23 of 49 downloaded from cache (13 downloading)
13.62 s
Progress: 0 of 4 built, 24 of 49 downloaded from cache (12 downloading)
13.62 s
Progress: 0 of 4 built, 25 of 49 downloaded from cache (11 downloading)
13.62 s
Progress: 0 of 4 built, 26 of 49 downloaded from cache (10 downloading)
13.62 s
Progress: 0 of 4 built, 27 of 49 downloaded from cache (9 downloading)
13.62 s
Progress: 0 of 4 built, 28 of 49 downloaded from cache (8 downloading)
13.62 s
Progress: 0 of 4 built, 29 of 49 downloaded from cache (7 downloading)
13.62 s
Progress: 0 of 4 built, 30 of 49 downloaded from cache (6 downloading)
13.62 s
Progress: 0 of 4 built, 31 of 49 downloaded from cache (5 downloading)
13.62 s
Progress: 0 of 4 built, 32 of 49 downloaded from cache (4 downloading)
13.62 s
Progress: 0 of 4 built, 33 of 49 downloaded from cache (3 downloading)
13.62 s
Progress: 0 of 4 built, 34 of 49 downloaded from cache (2 downloading)
13.62 s
Progress: 0 of 4 built, 35 of 49 downloaded from cache (1 downloading)
13.62 s
Downloading cached coreutils from https://cache.nix-ci.com
13.62 s
Downloading cached file from https://cache.nix-ci.com
13.62 s
Downloaded cached coreutils in 0ms
13.62 s
Downloading cached gnugrep from https://cache.nix-ci.com
13.62 s
Downloaded cached file in 0ms
13.62 s
Downloading cached gnutar from https://cache.nix-ci.com
13.62 s
Downloaded cached gnugrep in 0ms
13.62 s
Downloading cached krb5-1.21.3-lib from https://cache.nix-ci.com
13.62 s
Downloaded cached gnutar in 0ms
13.62 s
Downloaded cached krb5-1.21.3-lib in 0ms
13.62 s
Downloading cached libssh2 from https://cache.nix-ci.com
13.62 s
Downloaded cached libssh2 in 0ms
13.62 s
Progress: 0 of 4 built, 36 of 49 downloaded from cache (7 downloading)
13.62 s
Downloading cached xz-5.8.1-bin from https://cache.nix-ci.com
13.62 s
Progress: 0 of 4 built, 37 of 49 downloaded from cache (6 downloading)
13.62 s
Downloaded cached xz-5.8.1-bin in 0ms
13.62 s
Progress: 0 of 4 built, 38 of 49 downloaded from cache (5 downloading)
13.62 s
Progress: 0 of 4 built, 39 of 49 downloaded from cache (4 downloading)
13.62 s
Progress: 0 of 4 built, 40 of 49 downloaded from cache (3 downloading)
13.62 s
Downloading cached diffutils from https://cache.nix-ci.com
13.62 s
Progress: 0 of 4 built, 41 of 49 downloaded from cache (4 downloading)
13.62 s
Downloading cached findutils from https://cache.nix-ci.com
13.62 s
Progress: 0 of 4 built, 42 of 49 downloaded from cache (3 downloading)
13.62 s
Downloaded cached diffutils in 0ms
13.62 s
Downloaded cached findutils in 0ms
13.62 s
Progress: 0 of 4 built, 43 of 49 downloaded from cache (3 downloading)
13.62 s
Downloading cached curl from https://cache.nix-ci.com
13.62 s
Downloaded cached curl in 0ms
13.62 s
Progress: 0 of 4 built, 44 of 49 downloaded from cache (2 downloading)
13.62 s
Progress: 0 of 4 built, 45 of 49 downloaded from cache (2 downloading)
13.62 s
Downloading cached stdenv-linux from https://cache.nix-ci.com
13.62 s
Downloaded cached stdenv-linux in 0ms
13.62 s
Downloading cached elfutils from https://cache.nix-ci.com
13.62 s
Downloaded cached elfutils in 0ms
13.62 s
Progress: 0 of 4 built, 46 of 49 downloaded from cache (2 downloading)
13.62 s
Progress: 0 of 3 built, 47 of 49 downloaded from cache (1 downloading)
13.62 s
Downloading cached cabal2nix from https://sellout.cachix.org
14.34 s
Downloaded cached cabal2nix (18.2 MiB) in 721ms
14.34 s
Progress: 0 of 3 built, 48 of 49 downloaded from cache (1 downloading)
14.99 s
Downloaded cached glibc-locales-2.40 (221.6 MiB) in 2.1s
14.99 s
Progress: 0 of 2 built, 49 of 49 downloaded from cache
15.00 s
Waiting for lock on cabal2nix-kilns
20.00 s
Progress: 1 of 1 built, 49 of 49 downloaded from cache
20.69 s
Progress: 49 of 49 downloaded from cache
20.69 s
20.70 s
Downloading cached perl from https://cache.nix-ci.com
20.70 s
Downloading cached glibc-2.40-66-dev from https://cache.nix-ci.com
20.70 s
Downloading cached ncurses-6.5-dev from https://cache.nix-ci.com
20.70 s
Waiting for lock on builder.pl
20.70 s
Downloading cached binutils from https://cache.nix-ci.com
20.70 s
Downloading cached readline from https://cache.nix-ci.com
20.71 s
Downloading cached isl from https://cache.nix-ci.com
20.71 s
Downloading cached libarchive-3.8.2-lib from https://cache.nix-ci.com
20.71 s
Downloading cached mpfr from https://cache.nix-ci.com
20.71 s
Downloading cached hscolour from https://cache.nix-ci.com
20.71 s
Downloading cached p11-kit from https://cache.nix-ci.com
20.71 s
Downloading cached unbound-1.24.1-lib from https://cache.nix-ci.com
20.77 s
Downloaded cached ncurses-6.5-dev (371 KiB) in 64ms
20.77 s
Progress: 0 of 18 built, 1 of 45 downloaded from cache (10 downloading)
20.83 s
Downloaded cached readline (467 KiB) in 127ms
20.83 s
Progress: 0 of 18 built, 2 of 45 downloaded from cache (9 downloading)
20.83 s
Downloading cached bash-interactive from https://cache.nix-ci.com
20.87 s
Downloaded cached glibc-2.40-66-dev (2.3 MiB) in 164ms
20.87 s
Progress: 0 of 18 built, 3 of 45 downloaded from cache (9 downloading)
20.88 s
Downloaded cached mpfr (803 KiB) in 171ms
20.88 s
Progress: 0 of 18 built, 4 of 45 downloaded from cache (8 downloading)
20.88 s
Downloading cached libmpc from https://cache.nix-ci.com
20.90 s
Downloaded cached libarchive-3.8.2-lib (938 KiB) in 197ms
20.90 s
Progress: 0 of 18 built, 5 of 45 downloaded from cache (8 downloading)
20.94 s
Downloaded cached libmpc (277 KiB) in 60ms
20.94 s
Progress: 0 of 18 built, 6 of 45 downloaded from cache (7 downloading)
21.00 s
Downloaded cached isl (2.5 MiB) in 293ms
21.00 s
Progress: 0 of 18 built, 7 of 45 downloaded from cache (6 downloading)
21.00 s
Downloading cached gcc from https://cache.nix-ci.com
21.00 s
Downloaded cached unbound-1.24.1-lib (1.1 MiB) in 296ms
21.00 s
Progress: 0 of 18 built, 8 of 45 downloaded from cache (6 downloading)
21.04 s
Downloaded cached p11-kit (4.9 MiB) in 329ms
21.04 s
Progress: 0 of 18 built, 9 of 45 downloaded from cache (5 downloading)
21.04 s
Downloading cached gnutls from https://cache.nix-ci.com
21.06 s
Downloaded cached hscolour (2.5 MiB) in 348ms
21.06 s
Progress: 0 of 18 built, 10 of 45 downloaded from cache (5 downloading)
21.22 s
Downloaded cached gnutls (3.2 MiB) in 179ms
21.22 s
Progress: 0 of 17 built, 11 of 45 downloaded from cache (4 downloading)
21.22 s
Downloading cached libmicrohttpd from https://cache.nix-ci.com
21.25 s
Downloaded cached libmicrohttpd (256 KiB) in 36ms
21.25 s
Progress: 0 of 17 built, 12 of 45 downloaded from cache (4 downloading)
21.25 s
Downloading cached elfutils-0.192-bin from https://cache.nix-ci.com
21.26 s
Downloaded cached bash-interactive (6.9 MiB) in 427ms
21.26 s
Progress: 0 of 17 built, 13 of 45 downloaded from cache (4 downloading)
21.26 s
Downloading cached ghc-9.8.4-doc from https://cache.nix-ci.com
21.40 s
Downloaded cached elfutils-0.192-bin (3.1 MiB) in 149ms
21.40 s
Progress: 0 of 17 built, 14 of 45 downloaded from cache (4 downloading)
21.40 s
Downloading cached elfutils-0.192-dev from https://cache.nix-ci.com
21.53 s
Downloaded cached binutils (31.1 MiB) in 824ms
21.53 s
Progress: 0 of 17 built, 15 of 45 downloaded from cache (4 downloading)
21.53 s
Downloading cached binutils-wrapper from https://cache.nix-ci.com
21.55 s
Downloaded cached binutils-wrapper (53 KiB) in 22ms
21.55 s
Progress: 0 of 17 built, 16 of 45 downloaded from cache (4 downloading)
21.66 s
Downloaded cached elfutils-0.192-dev (224 KiB) in 259ms
21.66 s
Progress: 0 of 17 built, 17 of 45 downloaded from cache (3 downloading)
22.10 s
Downloaded cached perl (56.9 MiB) in 1.4s
22.10 s
Progress: 0 of 17 built, 18 of 45 downloaded from cache (2 downloading)
23.96 s
Downloaded cached gcc (245.2 MiB) in 2.9s
23.96 s
Progress: 0 of 16 built, 19 of 45 downloaded from cache (1 downloading)
23.96 s
Downloading cached gcc-wrapper from https://cache.nix-ci.com
24.10 s
Downloaded cached gcc-wrapper (64 KiB) in 133ms
24.10 s
Progress: 0 of 16 built, 20 of 45 downloaded from cache (1 downloading)
24.10 s
Downloading cached stdenv-linux from https://cache.nix-ci.com
24.25 s
Downloaded cached stdenv-linux (59 KiB) in 147ms
24.25 s
Progress: 0 of 16 built, 21 of 45 downloaded from cache (1 downloading)
25.26 s
Downloaded cached ghc-9.8.4-doc (687.1 MiB) in 3.9s
25.26 s
Progress: 0 of 15 built, 22 of 45 downloaded from cache
25.26 s
Downloading cached base-unicode-symbols-0.2.4.2-doc from https://cache.nix-ci.com
25.26 s
Downloading cached cabal-doctest-1.0.11-doc from https://cache.nix-ci.com
25.26 s
Downloading cached code-page-0.2.1-doc from https://cache.nix-ci.com
25.26 s
Downloading cached ghc from https://cache.nix-ci.com
25.26 s
Downloading cached ghc-paths-0.1.0.12-doc from https://cache.nix-ci.com
25.26 s
Downloading cached os-string-2.0.7-doc from https://cache.nix-ci.com
25.26 s
Downloading cached syb-0.7.2.4-doc from https://cache.nix-ci.com
25.26 s
Downloading cached multiset-0.3.4.3-doc from https://cache.nix-ci.com
25.51 s
Downloaded cached ghc-paths-0.1.0.12-doc (121 KiB) in 248ms
25.51 s
Progress: 0 of 14 built, 23 of 45 downloaded from cache (7 downloading)
25.51 s
Downloaded cached cabal-doctest-1.0.11-doc (356 KiB) in 251ms
25.51 s
Progress: 0 of 14 built, 24 of 45 downloaded from cache (6 downloading)
25.51 s
Downloaded cached base-unicode-symbols-0.2.4.2-doc (482 KiB) in 253ms
25.51 s
Progress: 0 of 14 built, 25 of 45 downloaded from cache (5 downloading)
25.52 s
Downloaded cached code-page-0.2.1-doc (276 KiB) in 259ms
25.52 s
Progress: 0 of 14 built, 26 of 45 downloaded from cache (4 downloading)
25.52 s
Downloaded cached os-string-2.0.7-doc (3.6 MiB) in 261ms
25.52 s
Progress: 0 of 14 built, 27 of 45 downloaded from cache (3 downloading)
25.52 s
Downloading cached hashable-1.4.7.0-doc from https://cache.nix-ci.com
25.52 s
Downloaded cached multiset-0.3.4.3-doc (1.1 MiB) in 266ms
25.52 s
Progress: 0 of 14 built, 28 of 45 downloaded from cache (3 downloading)
25.53 s
Downloaded cached syb-0.7.2.4-doc (1.2 MiB) in 277ms
25.53 s
Progress: 0 of 14 built, 29 of 45 downloaded from cache (2 downloading)
25.53 s
Downloading cached doctest-0.22.6-doc from https://cache.nix-ci.com
25.56 s
Downloaded cached doctest-0.22.6-doc (1.3 MiB) in 26ms
25.56 s
Progress: 0 of 14 built, 30 of 45 downloaded from cache (2 downloading)
25.61 s
Downloaded cached hashable-1.4.7.0-doc (1.2 MiB) in 93ms
25.61 s
Progress: 0 of 14 built, 31 of 45 downloaded from cache (1 downloading)
25.61 s
Downloading cached unordered-containers-0.2.20-doc from https://cache.nix-ci.com
25.65 s
Downloaded cached unordered-containers-0.2.20-doc (4.5 MiB) in 40ms
25.65 s
Progress: 0 of 14 built, 32 of 45 downloaded from cache (1 downloading)
25.65 s
Downloading cached charset-0.3.12-doc from https://cache.nix-ci.com
25.68 s
Downloaded cached charset-0.3.12-doc (1.4 MiB) in 26ms
25.68 s
Progress: 0 of 14 built, 33 of 45 downloaded from cache (1 downloading)
34.63 s
Downloaded cached ghc (1.8 GiB) in 9.3s
34.63 s
Progress: 0 of 13 built, 34 of 45 downloaded from cache
34.63 s
Downloading cached base-unicode-symbols from https://cache.nix-ci.com
34.63 s
Downloading cached code-page from https://cache.nix-ci.com
34.63 s
Downloading cached cabal-doctest from https://cache.nix-ci.com
34.63 s
Downloading cached ghc-paths from https://cache.nix-ci.com
34.63 s
Downloading cached multiset from https://cache.nix-ci.com
34.63 s
Downloading cached os-string from https://cache.nix-ci.com
34.63 s
Downloading cached syb from https://cache.nix-ci.com
34.65 s
Downloaded cached ghc-paths (101 KiB) in 19ms
34.65 s
Progress: 0 of 12 built, 35 of 45 downloaded from cache (6 downloading)
34.65 s
Downloaded cached cabal-doctest (769 KiB) in 26ms
34.65 s
Progress: 0 of 12 built, 36 of 45 downloaded from cache (5 downloading)
34.65 s
Downloaded cached base-unicode-symbols (472 KiB) in 27ms
34.65 s
Progress: 0 of 11 built, 37 of 45 downloaded from cache (4 downloading)
34.65 s
Downloaded cached code-page (365 KiB) in 27ms
34.65 s
Progress: 0 of 10 built, 38 of 45 downloaded from cache (3 downloading)
34.66 s
Downloaded cached syb (2.8 MiB) in 38ms
34.66 s
Progress: 0 of 10 built, 39 of 45 downloaded from cache (2 downloading)
34.66 s
Downloading cached doctest from https://cache.nix-ci.com
34.67 s
Downloaded cached multiset (2.3 MiB) in 43ms
34.67 s
Progress: 0 of 10 built, 40 of 45 downloaded from cache (2 downloading)
34.68 s
Downloaded cached os-string (5.9 MiB) in 52ms
34.68 s
Progress: 0 of 9 built, 41 of 45 downloaded from cache (1 downloading)
34.68 s
Downloading cached hashable from https://cache.nix-ci.com
34.73 s
Downloaded cached hashable (3.2 MiB) in 56ms
34.73 s
Progress: 0 of 8 built, 42 of 45 downloaded from cache (1 downloading)
34.74 s
Downloading cached unordered-containers from https://cache.nix-ci.com
34.81 s
Downloaded cached unordered-containers (9.3 MiB) in 73ms
34.81 s
Progress: 0 of 7 built, 43 of 45 downloaded from cache (1 downloading)
34.81 s
Downloading cached charset from https://cache.nix-ci.com
34.87 s
Downloaded cached charset (6.4 MiB) in 58ms
34.87 s
Progress: 0 of 6 built, 44 of 45 downloaded from cache (1 downloading)
35.16 s
Downloaded cached doctest (66.7 MiB) in 490ms
35.16 s
Progress: 0 of 5 built, 45 of 45 downloaded from cache
35.27 s
Building /nix/store/7478bp7gfpi2b453wy9b2ssdnr9km0ns-kilns-0.0.1.0.drv
35.38 s
[kilns] Phase: setupCompilerEnvironmentPhase
35.38 s
[kilns] Build with /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4.
35.53 s
[kilns] Phase: unpackPhase
35.54 s
[kilns] unpacking source archive /nix/store/016swviban7282mwb7ia4xpqxvnrz2mz-5ri25q34ix0pj4rqvxyv2gsj973h42zc-source/./core
35.54 s
[kilns] source root is core
35.55 s
[kilns] Phase: patchPhase
35.56 s
[kilns] Phase: compileBuildDriverPhase
35.56 s
[kilns] setupCompileFlags: -package-db=/build/tmp.t4PYL9WGDc/setup-package.conf.d -threaded
35.63 s
[kilns] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.t4PYL9WGDc/Main.o )
35.68 s
[kilns] [2 of 2] Linking Setup
36.96 s
[kilns] Phase: updateAutotoolsGnuConfigScriptsPhase
36.97 s
[kilns] Phase: configurePhase
36.97 s
[kilns] configureFlags: --verbose --prefix=/nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 --with-gcc=gcc --package-db=/build/tmp.t4PYL9WGDc/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-options=-Werror --extra-lib-dirs=/nix/store/vj3rmg6937p9icir6bazbdcb4xdnrg9j-ncurses-6.5/lib --extra-lib-dirs=/nix/store/0aaj6jbxclpwvrphggqz4vf5hg8360fr-libffi-3.4.8/lib --extra-lib-dirs=/nix/store/mlnlvdaij0c6qgzz3mmcb5f796871778-elfutils-0.192/lib --extra-lib-dirs=/nix/store/m9fycbkaairz8kampnsl7sx1aanvl0db-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/lib
36.98 s
[kilns] Using Parsec parser
36.98 s
[kilns] Configuring kilns-0.0.1.0...
37.22 s
[kilns] Flags chosen: noisy-deprecations=True
37.22 s
[kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 ||
37.22 s
[kilns] >=4.21.0 && <4.22: using base-4.19.2.0
37.22 s
[kilns] Dependency base-unicode-symbols >=0.2.2 && <0.3: using
37.22 s
[kilns] base-unicode-symbols-0.2.4.2
37.22 s
[kilns] Dependency charset >=0.3.9 && <0.4: using charset-0.3.12
37.22 s
[kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8
37.22 s
[kilns] Dependency multiset >=0.3.4 && <0.4: using multiset-0.3.4.3
37.22 s
[kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 ||
37.22 s
[kilns] >=4.21.0 && <4.22: using base-4.19.2.0
37.22 s
[kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8
37.22 s
[kilns] Dependency kilns: using kilns-0.0.1.0
37.22 s
[kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 ||
37.22 s
[kilns] >=4.21.0 && <4.22: using base-4.19.2.0
37.22 s
[kilns] Dependency doctest >=0.21.1 && <0.22 || >=0.22.2 && <0.23 || >=0.23.0 && <0.24
37.22 s
[kilns] || >=0.24.0 && <0.25: using doctest-0.22.6
37.22 s
[kilns] Dependency kilns: using kilns-0.0.1.0
37.41 s
[kilns] Source component graph:
37.41 s
[kilns] component lib
37.41 s
[kilns] component exe:kilns dependency lib
37.41 s
[kilns] component test:doctests dependency lib
37.41 s
[kilns] Configured component graph:
37.41 s
[kilns] component kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] include base-4.19.2.0-0fde
37.41 s
[kilns] include base-unicode-symbols-0.2.4.2-9oDBkyVodhQ5SBdUUMrtx0
37.41 s
[kilns] include charset-0.3.12-1sRPMefOWCb78IHBVWqbqs
37.41 s
[kilns] include containers-0.6.8-ddec
37.41 s
[kilns] include multiset-0.3.4.3-4DKI5YM6lrn3S5zj4hUnJI
37.41 s
[kilns] component kilns-0.0.1.0-BLpmpIgwAqxD4gACDlFYr7-kilns
37.41 s
[kilns] include base-4.19.2.0-0fde
37.41 s
[kilns] include containers-0.6.8-ddec
37.41 s
[kilns] include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] component kilns-0.0.1.0-JeEtbMOKy3cFBX1IUsGog2-doctests
37.41 s
[kilns] include base-4.19.2.0-0fde
37.41 s
[kilns] include doctest-0.22.6-1SxYZzGcAV168a12vQnyDt
37.41 s
[kilns] include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] Linked component graph:
37.41 s
[kilns] unit kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] include base-4.19.2.0-0fde
37.41 s
[kilns] include base-unicode-symbols-0.2.4.2-9oDBkyVodhQ5SBdUUMrtx0
37.41 s
[kilns] include charset-0.3.12-1sRPMefOWCb78IHBVWqbqs
37.41 s
[kilns] include containers-0.6.8-ddec
37.41 s
[kilns] include multiset-0.3.4.3-4DKI5YM6lrn3S5zj4hUnJI
37.41 s
[kilns] Language.KellCalculus.AST=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.AST,Language.KellCalculus.ContextBisimulation=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.ContextBisimulation,Language.KellCalculus.ContextualEquivalence=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.ContextualEquivalence,Language.KellCalculus.FraKtal=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.FraKtal,Language.KellCalculus.JKCalculus=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.JKCalculus,Language.KellCalculus.LabeledTransitionSystem=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.LabeledTransitionSystem,Language.KellCalculus.Parser=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.Parser,Language.KellCalculus.PnpJKCalculus=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.PnpJKCalculus,Language.KellCalculus.ReductionSemantics=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Language.KellCalculus.ReductionSemantics,Text.Derp=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Text.Derp,Text.Derp.Unsafe=kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8:Text.Derp.Unsafe
37.41 s
[kilns] unit kilns-0.0.1.0-BLpmpIgwAqxD4gACDlFYr7-kilns
37.41 s
[kilns] include base-4.19.2.0-0fde
37.41 s
[kilns] include containers-0.6.8-ddec
37.41 s
[kilns] include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] unit kilns-0.0.1.0-JeEtbMOKy3cFBX1IUsGog2-doctests
37.41 s
[kilns] include base-4.19.2.0-0fde
37.41 s
[kilns] include doctest-0.22.6-1SxYZzGcAV168a12vQnyDt
37.41 s
[kilns] include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] Ready component graph:
37.41 s
[kilns] definite kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] depends base-4.19.2.0-0fde
37.41 s
[kilns] depends base-unicode-symbols-0.2.4.2-9oDBkyVodhQ5SBdUUMrtx0
37.41 s
[kilns] depends charset-0.3.12-1sRPMefOWCb78IHBVWqbqs
37.41 s
[kilns] depends containers-0.6.8-ddec
37.41 s
[kilns] depends multiset-0.3.4.3-4DKI5YM6lrn3S5zj4hUnJI
37.41 s
[kilns] definite kilns-0.0.1.0-JeEtbMOKy3cFBX1IUsGog2-doctests
37.41 s
[kilns] depends base-4.19.2.0-0fde
37.41 s
[kilns] depends doctest-0.22.6-1SxYZzGcAV168a12vQnyDt
37.41 s
[kilns] depends kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] definite kilns-0.0.1.0-BLpmpIgwAqxD4gACDlFYr7-kilns
37.41 s
[kilns] depends base-4.19.2.0-0fde
37.41 s
[kilns] depends containers-0.6.8-ddec
37.41 s
[kilns] depends kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] Using Cabal-3.10.3.0 compiled by ghc-9.8
37.41 s
[kilns] Using compiler: ghc-9.8.4
37.41 s
[kilns] Using install prefix:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0
37.41 s
[kilns] Executables installed in:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin
37.41 s
[kilns] Libraries installed in:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/lib/ghc-9.8.4/lib/x86_64-linux-ghc-9.8.4/kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
37.41 s
[kilns] Dynamic Libraries installed in:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/lib/ghc-9.8.4/lib/x86_64-linux-ghc-9.8.4
37.41 s
[kilns] Private executables installed in:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.8.4/kilns-0.0.1.0
37.41 s
[kilns] Data files installed in:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/share/x86_64-linux-ghc-9.8.4/kilns-0.0.1.0
37.41 s
[kilns] Documentation installed in:
37.41 s
[kilns] /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0
37.41 s
[kilns] Configuration files installed in:
37.41 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/etc
37.41 s
[kilns] No alex found
37.41 s
[kilns] Using ar found on system at:
37.41 s
[kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ar
37.41 s
[kilns] No c2hs found
37.41 s
[kilns] No cpphs found
37.41 s
[kilns] Using doctest version 0.22.6 found on system at:
37.41 s
[kilns] /nix/store/612n0jqw5vhhi6sgzfly43cjx3qfc4kg-doctest-0.22.6/bin/doctest
37.41 s
[kilns] Using gcc version 14.3.0 given by user at:
37.41 s
[kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/gcc
37.41 s
[kilns] Using ghc version 9.8.4 found on system at:
37.41 s
[kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/ghc
37.41 s
[kilns] Using ghc-pkg version 9.8.4 found on system at:
37.41 s
[kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/ghc-pkg-9.8.4
37.41 s
[kilns] No ghcjs found
37.41 s
[kilns] No ghcjs-pkg found
37.41 s
[kilns] No greencard found
37.41 s
[kilns] Using haddock version 2.30.0 found on system at:
37.41 s
[kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/haddock-ghc-9.8.4
37.41 s
[kilns] No happy found
37.41 s
[kilns] Using haskell-suite found on system at: haskell-suite-dummy-location
37.41 s
[kilns] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
37.41 s
[kilns] No hmake found
37.41 s
[kilns] Using hpc version 0.69 found on system at:
37.41 s
[kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/hpc-ghc-9.8.4
37.41 s
[kilns] Using hsc2hs version 0.68.10 found on system at:
37.41 s
[kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/hsc2hs-ghc-9.8.4
37.41 s
[kilns] Using hscolour version 1.25 found on system at:
37.41 s
[kilns] /nix/store/r9acd8dqp6xxbhlplifjikwk7bc6w7vf-hscolour-1.25/bin/HsColour
37.41 s
[kilns] No jhc found
37.41 s
[kilns] Using ld found on system at:
37.41 s
[kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ld.gold
37.41 s
[kilns] No pkg-config found
37.41 s
[kilns] Using runghc version 9.8.4 found on system at:
37.41 s
[kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/runghc-9.8.4
37.41 s
[kilns] Using strip version 2.44 found on system at:
37.41 s
[kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/strip
37.41 s
[kilns] Using tar found on system at:
37.41 s
[kilns] /nix/store/76df6j9sq1ar58id3y3v4rkijany1wxp-gnutar-1.35/bin/tar
37.41 s
[kilns] No uhc found
37.52 s
[kilns] Phase: buildPhase
37.56 s
[kilns] Preprocessing library for kilns-0.0.1.0..
37.57 s
[kilns] Building library for kilns-0.0.1.0..
37.64 s
[kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.o, dist/build/Language/Common/SetLike.dyn_o )
37.67 s
[kilns]
37.67 s
[kilns] src/Language/Common/SetLike.hs:15:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
37.67 s
[kilns] Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module
37.67 s
[kilns] |
37.67 s
[kilns] 15 | import Data.Bool.Unicode ((∧))
37.67 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
37.67 s
[kilns]
37.67 s
[kilns] src/Language/Common/SetLike.hs:16:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
37.67 s
[kilns] Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module
37.67 s
[kilns] |
37.67 s
[kilns] 16 | import Data.Foldable.Unicode ((∈), (∉))
37.67 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
37.67 s
[kilns]
37.67 s
[kilns] src/Language/Common/SetLike.hs:17:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
37.67 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
37.67 s
[kilns] |
37.67 s
[kilns] 17 | import Data.MultiSet (MultiSet)
37.67 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
37.71 s
[kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.o, dist/build/Text/Derp.dyn_o )
37.72 s
[kilns]
37.72 s
[kilns] src/Text/Derp.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
37.72 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
37.72 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
38.09 s
[kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.o, dist/build/Language/KellCalculus/AST.dyn_o )
38.14 s
[kilns]
38.14 s
[kilns] src/Language/KellCalculus/AST.hs:42:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
38.14 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
38.14 s
[kilns] |
38.14 s
[kilns] 42 | import Data.MultiSet (MultiSet)
38.14 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
38.24 s
[kilns]
38.24 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.24 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
38.24 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
38.24 s
[kilns]
38.24 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.24 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
38.24 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
38.24 s
[kilns]
38.24 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.24 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
38.24 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
38.24 s
[kilns]
38.24 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.24 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
38.24 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
38.24 s
[kilns]
38.24 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.24 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’
38.24 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’
38.24 s
[kilns]
38.24 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.24 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
38.24 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
38.25 s
[kilns]
38.25 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.25 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
38.25 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
38.25 s
[kilns]
38.25 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
38.25 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
38.25 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
39.06 s
[kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.o, dist/build/Language/KellCalculus/ReductionSemantics.dyn_o )
39.07 s
[kilns]
39.07 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
39.07 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
39.07 s
[kilns] |
39.07 s
[kilns] 24 | import Data.MultiSet (MultiSet)
39.07 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39.08 s
[kilns]
39.08 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
39.08 s
[kilns] Pattern match(es) are non-exhaustive
39.08 s
[kilns] In a lambda abstraction:
39.08 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
39.08 s
[kilns] UpMessage _ _ _
39.08 s
[kilns] DownMessage _ _ _
39.08 s
[kilns] KellMessage _ _
39.08 s
[kilns] |
39.08 s
[kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a ) md,
39.08 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39.08 s
[kilns]
39.08 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
39.08 s
[kilns] Pattern match(es) are non-exhaustive
39.08 s
[kilns] In a lambda abstraction:
39.08 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
39.08 s
[kilns] UpMessage _ _ _
39.08 s
[kilns] DownMessage _ _ _
39.08 s
[kilns] KellMessage _ _
39.08 s
[kilns] |
39.08 s
[kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b ) m)
39.08 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39.21 s
[kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.o, dist/build/Language/KellCalculus/LabeledTransitionSystem.dyn_o )
39.23 s
[kilns]
39.23 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
39.23 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
39.23 s
[kilns] |
39.23 s
[kilns] 30 | import Data.MultiSet (MultiSet)
39.23 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39.24 s
[kilns]
39.24 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
39.24 s
[kilns] Pattern match(es) are non-exhaustive
39.24 s
[kilns] In a lambda abstraction:
39.24 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
39.24 s
[kilns] UpMessage _ _ _
39.24 s
[kilns] DownMessage _ _ _
39.24 s
[kilns] KellMessage _ _
39.24 s
[kilns] |
39.24 s
[kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a ) mm)
39.24 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39.24 s
[kilns]
39.24 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
39.24 s
[kilns] Pattern match(es) are non-exhaustive
39.24 s
[kilns] In a case alternative:
39.24 s
[kilns] Patterns of type ‘Process ξ’ not matched:
39.24 s
[kilns] NullProcess
39.24 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
39.24 s
[kilns] Trigger _ _
39.24 s
[kilns] Restriction _ _
39.24 s
[kilns] ...
39.24 s
[kilns] |
39.24 s
[kilns] 246 | then case (k /↝) of
39.24 s
[kilns] | ^^^^^^^^^^^^^^...
39.24 s
[kilns]
39.24 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
39.24 s
[kilns] Pattern match(es) are non-exhaustive
39.24 s
[kilns] In a case alternative:
39.24 s
[kilns] Patterns of type ‘Process ξ’ not matched:
39.24 s
[kilns] NullProcess
39.24 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
39.24 s
[kilns] Trigger _ _
39.24 s
[kilns] Restriction _ _
39.24 s
[kilns] ...
39.24 s
[kilns] |
39.24 s
[kilns] 272 | case (k /↝) of
39.24 s
[kilns] | ^^^^^^^^^^^^^^...
39.24 s
[kilns]
39.24 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
39.24 s
[kilns] Pattern match(es) are non-exhaustive
39.24 s
[kilns] In a lambda abstraction:
39.24 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
39.24 s
[kilns] UpMessage _ _ _
39.24 s
[kilns] DownMessage _ _ _
39.24 s
[kilns] KellMessage _ _
39.24 s
[kilns] |
39.24 s
[kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a )
39.24 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39.24 s
[kilns]
39.24 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
39.24 s
[kilns] Pattern match(es) are non-exhaustive
39.24 s
[kilns] In a case alternative:
39.24 s
[kilns] Patterns of type ‘Process ξ’ not matched:
39.24 s
[kilns] NullProcess
39.24 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
39.24 s
[kilns] Trigger _ _
39.24 s
[kilns] Restriction _ _
39.24 s
[kilns] ...
39.24 s
[kilns] |
39.24 s
[kilns] 296 | case (par /↝) of
39.24 s
[kilns] | ^^^^^^^^^^^^^^^^...
39.24 s
[kilns]
39.24 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
39.24 s
[kilns] Pattern match(es) are non-exhaustive
39.24 s
[kilns] In a case alternative:
39.24 s
[kilns] Patterns of type ‘Process ξ’ not matched:
39.24 s
[kilns] NullProcess
39.24 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
39.24 s
[kilns] Trigger _ _
39.24 s
[kilns] Restriction _ _
39.24 s
[kilns] ...
39.24 s
[kilns] |
39.24 s
[kilns] 305 | case (par /↝) of
39.24 s
[kilns] | ^^^^^^^^^^^^^^^^...
39.27 s
[kilns]
39.27 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
39.27 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’
39.27 s
[kilns] when specialising ‘Data.Map.Strict.Internal.insertWithKey’
39.27 s
[kilns] when specialising ‘Data.Map.Strict.Internal.fromListWithKey’
39.27 s
[kilns] when specialising ‘Data.Map.Strict.Internal.mapKeysWith’
39.27 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’
39.27 s
[kilns]
39.27 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.27 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’
39.27 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’
39.27 s
[kilns]
39.27 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.27 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
39.27 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
39.27 s
[kilns]
39.27 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.27 s
[kilns] Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
39.27 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
39.27 s
[kilns]
39.27 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.27 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’
39.27 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’
39.27 s
[kilns]
39.27 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.28 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’
39.28 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’
39.28 s
[kilns]
39.28 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.28 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
39.28 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
39.28 s
[kilns]
39.28 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.28 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
39.28 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
39.28 s
[kilns]
39.28 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.28 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
39.28 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
39.28 s
[kilns]
39.28 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.28 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
39.28 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
39.73 s
[kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.o, dist/build/Language/KellCalculus/ContextualEquivalence.dyn_o )
39.73 s
[kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.o, dist/build/Language/KellCalculus/ContextBisimulation.dyn_o )
39.75 s
[kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.o, dist/build/Text/Derp/Unsafe.dyn_o )
39.75 s
[kilns]
39.75 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.75 s
[kilns] Could not specialise imported function ‘Text.Derp.$WTer’
39.75 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’
39.75 s
[kilns]
39.75 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.75 s
[kilns] Could not specialise imported function ‘Text.Derp.$WCon’
39.75 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’
39.75 s
[kilns]
39.75 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.75 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
39.75 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
39.75 s
[kilns]
39.75 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.75 s
[kilns] Could not specialise imported function ‘Text.Derp.$WRed’
39.75 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’
39.75 s
[kilns]
39.75 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.$WAlt’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’
39.76 s
[kilns]
39.76 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.$WEps’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’
39.76 s
[kilns]
39.76 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Printf.formatString’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’
39.76 s
[kilns]
39.76 s
[kilns] src/Text/Derp/Unsafe.hs: warning : [ -Wmissed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’
39.76 s
[kilns] when specialising ‘Map.insert’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’
39.76 s
[kilns]
39.76 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’
39.76 s
[kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.o, dist/build/Language/KellCalculus/Parser.dyn_o )
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’
39.76 s
[kilns] when specialising ‘Set.fromList’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’
39.76 s
[kilns] when specialising ‘Set.insert’
39.76 s
[kilns] when specialising ‘Set.fromList’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘star’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘star’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘star1’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
39.76 s
[kilns]
39.76 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.76 s
[kilns] Could not specialise imported function ‘terS’
39.76 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
39.86 s
[kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.o, dist/build/Language/KellCalculus/PnpJKCalculus.dyn_o )
39.93 s
[kilns]
39.93 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.93 s
[kilns] Could not specialise imported function ‘terS’
39.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘|~|’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘>~<’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘star1w’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘match’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
39.94 s
[kilns]
39.94 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
39.94 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
39.94 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
41.02 s
[kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.o, dist/build/Language/KellCalculus/JKCalculus.dyn_o )
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘terS’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘|~|’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘>~<’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘star1w’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
41.02 s
[kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.o, dist/build/Language/KellCalculus/FraKtal.dyn_o )
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘|~|’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘>~<’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘terS’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘star1w’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘match’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
41.02 s
[kilns]
41.02 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.02 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
41.02 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
41.44 s
[kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.p_o )
41.47 s
[kilns]
41.47 s
[kilns] src/Language/Common/SetLike.hs:15:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
41.47 s
[kilns] Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module
41.47 s
[kilns] |
41.47 s
[kilns] 15 | import Data.Bool.Unicode ((∧))
41.47 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
41.47 s
[kilns]
41.47 s
[kilns] src/Language/Common/SetLike.hs:16:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
41.47 s
[kilns] Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module
41.47 s
[kilns] |
41.47 s
[kilns] 16 | import Data.Foldable.Unicode ((∈), (∉))
41.47 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
41.47 s
[kilns]
41.47 s
[kilns] src/Language/Common/SetLike.hs:17:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
41.47 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
41.47 s
[kilns] |
41.47 s
[kilns] 17 | import Data.MultiSet (MultiSet)
41.47 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
41.64 s
[kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.p_o )
41.64 s
[kilns]
41.65 s
[kilns] src/Text/Derp.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
41.65 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
41.65 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
42.46 s
[kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.p_o )
42.53 s
[kilns]
42.53 s
[kilns] src/Language/KellCalculus/AST.hs:42:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
42.53 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
42.53 s
[kilns] |
42.53 s
[kilns] 42 | import Data.MultiSet (MultiSet)
42.53 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
42.73 s
[kilns]
42.73 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
42.73 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
42.73 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
44.03 s
[kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.p_o )
44.04 s
[kilns]
44.04 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
44.04 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
44.04 s
[kilns] |
44.04 s
[kilns] 24 | import Data.MultiSet (MultiSet)
44.04 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
44.04 s
[kilns]
44.26 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
44.26 s
[kilns] Pattern match(es) are non-exhaustive
44.26 s
[kilns] In a lambda abstraction:
44.26 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
44.26 s
[kilns] UpMessage _ _ _
44.26 s
[kilns] DownMessage _ _ _
44.26 s
[kilns] KellMessage _ _
44.26 s
[kilns] |
44.26 s
[kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a ) md,
44.26 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
44.26 s
[kilns]
44.26 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
44.26 s
[kilns] Pattern match(es) are non-exhaustive
44.26 s
[kilns] In a lambda abstraction:
44.26 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
44.26 s
[kilns] UpMessage _ _ _
44.26 s
[kilns] DownMessage _ _ _
44.26 s
[kilns] KellMessage _ _
44.26 s
[kilns] |
44.26 s
[kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b ) m)
44.26 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
44.43 s
[kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.p_o )
44.46 s
[kilns]
44.46 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
44.46 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
44.46 s
[kilns] |
44.46 s
[kilns] 30 | import Data.MultiSet (MultiSet)
44.46 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
44.47 s
[kilns]
44.47 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
44.47 s
[kilns] Pattern match(es) are non-exhaustive
44.47 s
[kilns] In a lambda abstraction:
44.47 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
44.47 s
[kilns] UpMessage _ _ _
44.47 s
[kilns] DownMessage _ _ _
44.47 s
[kilns] KellMessage _ _
44.47 s
[kilns] |
44.47 s
[kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a ) mm)
44.47 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
44.47 s
[kilns]
44.47 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
44.47 s
[kilns] Pattern match(es) are non-exhaustive
44.47 s
[kilns] In a case alternative:
44.47 s
[kilns] Patterns of type ‘Process ξ’ not matched:
44.47 s
[kilns] NullProcess
44.47 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
44.47 s
[kilns] Trigger _ _
44.47 s
[kilns] Restriction _ _
44.47 s
[kilns] ...
44.47 s
[kilns] |
44.47 s
[kilns] 246 | then case (k /↝) of
44.47 s
[kilns] | ^^^^^^^^^^^^^^...
44.47 s
[kilns]
44.47 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
44.47 s
[kilns] Pattern match(es) are non-exhaustive
44.47 s
[kilns] In a case alternative:
44.47 s
[kilns] Patterns of type ‘Process ξ’ not matched:
44.47 s
[kilns] NullProcess
44.47 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
44.47 s
[kilns] Trigger _ _
44.47 s
[kilns] Restriction _ _
44.47 s
[kilns] ...
44.47 s
[kilns] |
44.47 s
[kilns] 272 | case (k /↝) of
44.47 s
[kilns] | ^^^^^^^^^^^^^^...
44.47 s
[kilns]
44.47 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
44.47 s
[kilns] Pattern match(es) are non-exhaustive
44.47 s
[kilns] In a lambda abstraction:
44.47 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
44.47 s
[kilns] UpMessage _ _ _
44.47 s
[kilns] DownMessage _ _ _
44.47 s
[kilns] KellMessage _ _
44.47 s
[kilns] |
44.47 s
[kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a )
44.47 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
44.47 s
[kilns]
44.47 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
44.47 s
[kilns] Pattern match(es) are non-exhaustive
44.47 s
[kilns] In a case alternative:
44.47 s
[kilns] Patterns of type ‘Process ξ’ not matched:
44.47 s
[kilns] NullProcess
44.47 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
44.47 s
[kilns] Trigger _ _
44.47 s
[kilns] Restriction _ _
44.47 s
[kilns] ...
44.47 s
[kilns] |
44.47 s
[kilns] 296 | case (par /↝) of
44.47 s
[kilns] | ^^^^^^^^^^^^^^^^...
44.47 s
[kilns]
44.47 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
44.47 s
[kilns] Pattern match(es) are non-exhaustive
44.47 s
[kilns] In a case alternative:
44.47 s
[kilns] Patterns of type ‘Process ξ’ not matched:
44.47 s
[kilns] NullProcess
44.47 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
44.47 s
[kilns] Trigger _ _
44.47 s
[kilns] Restriction _ _
44.47 s
[kilns] ...
44.47 s
[kilns] |
44.47 s
[kilns] 305 | case (par /↝) of
44.47 s
[kilns] | ^^^^^^^^^^^^^^^^...
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’
44.52 s
[kilns] when specialising ‘Data.Map.Strict.Internal.insertWithKey’
44.52 s
[kilns] when specialising ‘Data.Map.Strict.Internal.fromListWithKey’
44.52 s
[kilns] when specialising ‘Data.Map.Strict.Internal.mapKeysWith’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
44.52 s
[kilns]
44.52 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
44.52 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
44.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
45.23 s
[kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.p_o )
45.23 s
[kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.p_o )
45.41 s
[kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.p_o )
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WCon’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WRed’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WAlt’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WEps’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Printf.formatString’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WTer’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: warning : [ -Wmissed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’
45.41 s
[kilns] when specialising ‘Map.insert’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’
45.41 s
[kilns]
45.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’
45.41 s
[kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.p_o )
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’
45.41 s
[kilns] when specialising ‘Set.fromList’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’
45.41 s
[kilns] when specialising ‘Set.insert’
45.41 s
[kilns] when specialising ‘Set.fromList’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘star’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘star1’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘terS’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
45.41 s
[kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.p_o )
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘match’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘|~|’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘star1w’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘>~<’
45.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
45.41 s
[kilns]
45.41 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
45.42 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
45.42 s
[kilns]
45.42 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.42 s
[kilns] Could not specialise imported function ‘terS’
45.42 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
45.42 s
[kilns]
45.42 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.42 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
45.42 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
45.42 s
[kilns]
45.42 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.42 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
45.42 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
45.42 s
[kilns]
45.42 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.42 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
45.42 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
45.42 s
[kilns]
45.42 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
45.42 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
45.42 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
46.41 s
[kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.p_o )
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘|~|’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘star1w’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘>~<’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘terS’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
46.41 s
[kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.p_o )
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘match’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘|~|’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘star1w’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘>~<’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘terS’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
46.41 s
[kilns]
46.41 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
46.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
46.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
47.75 s
[kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0..
47.75 s
[kilns] Building test suite 'doctests' for kilns-0.0.1.0..
47.80 s
[kilns] [1 of 2] Compiling Build_doctests ( dist/build/doctests/autogen/Build_doctests.hs, dist/build/doctests/doctests-tmp/Build_doctests.o )
48.02 s
[kilns] [2 of 2] Compiling Main ( tests/doctests.hs, dist/build/doctests/doctests-tmp/Main.o )
48.26 s
[kilns] [3 of 3] Linking dist/build/doctests/doctests
51.80 s
[kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0..
51.80 s
[kilns] Building executable 'kilns' for kilns-0.0.1.0..
51.87 s
[kilns] [1 of 1] Compiling Main ( src/Language/Kilns/Interpreter/Main.hs, dist/build/kilns/kilns-tmp/Main.o )
51.92 s
[kilns]
51.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
51.92 s
[kilns] Could not specialise imported function ‘processes’
51.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘processes’
51.92 s
[kilns]
51.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
51.92 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.runParseNum’
51.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.runParseNum’
51.92 s
[kilns]
51.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
51.92 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’
51.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’
51.92 s
[kilns]
51.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: warning : [ -Wmissed-specialisations ]
51.93 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’
51.93 s
[kilns] when specialising ‘Set.fromList’
51.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’
51.93 s
[kilns]
51.93 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: warning : [ -Wmissed-specialisations ]
51.93 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’
51.93 s
[kilns] when specialising ‘Set.insert’
51.93 s
[kilns] when specialising ‘Set.fromList’
51.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’
51.93 s
[kilns]
51.93 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
51.93 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’
51.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’
51.93 s
[kilns]
51.93 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
51.93 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess’
51.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess’
51.93 s
[kilns]
51.93 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
51.93 s
[kilns] Could not specialise imported function ‘reduce’
51.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘reduce’
52.12 s
[kilns] [2 of 2] Linking dist/build/kilns/kilns
52.68 s
[kilns] Phase: checkPhase
52.70 s
[kilns] Running 1 test suites...
52.70 s
[kilns] Test suite doctests: RUNNING...
53.00 s
[kilns]
53.00 s
[kilns] on the commandline: warning: [GHC-98887]
53.00 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
53.00 s
[kilns]
53.00 s
[kilns] on the commandline: warning: [GHC-98887]
53.00 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
53.00 s
[kilns]
53.00 s
[kilns] on the commandline: warning: [GHC-98887]
53.00 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
53.01 s
[kilns]
53.01 s
[kilns] on the commandline: warning: [GHC-98887]
53.01 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
53.01 s
[kilns]
53.01 s
[kilns] on the commandline: warning: [GHC-98887]
53.01 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
53.01 s
[kilns]
53.01 s
[kilns] on the commandline: warning: [GHC-98887]
53.01 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
53.01 s
[kilns]
53.01 s
[kilns] on the commandline: warning: [GHC-98887]
53.01 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
54.02 s
[kilns] Examples: 3 Tried: 3 Errors: 0 Failures: 0
54.05 s
[kilns] Test suite doctests: PASS
54.05 s
[kilns] Test suite logged to: dist/test/kilns-0.0.1.0-doctests.log
54.05 s
[kilns] 1 of 1 test suites (1 of 1 test cases) passed.
54.06 s
[kilns] Phase: haddockPhase
54.15 s
[kilns] Preprocessing library for kilns-0.0.1.0..
54.16 s
[kilns] Running Haddock on library for kilns-0.0.1.0..
54.19 s
[kilns] Warning: --source-* options are ignored when --hyperlinked-source is enabled.
54.30 s
[kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, nothing )
54.32 s
[kilns]
54.32 s
[kilns] src/Language/Common/SetLike.hs:15:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
54.32 s
[kilns] Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module
54.32 s
[kilns] |
54.32 s
[kilns] 15 | import Data.Bool.Unicode ((∧))
54.32 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54.32 s
[kilns]
54.32 s
[kilns] src/Language/Common/SetLike.hs:16:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
54.32 s
[kilns] Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module
54.32 s
[kilns] |
54.32 s
[kilns] 16 | import Data.Foldable.Unicode ((∈), (∉))
54.32 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54.32 s
[kilns]
54.32 s
[kilns] src/Language/Common/SetLike.hs:17:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
54.32 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
54.32 s
[kilns] |
54.32 s
[kilns] 17 | import Data.MultiSet (MultiSet)
54.32 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54.33 s
[kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, nothing )
54.40 s
[kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, nothing )
54.44 s
[kilns]
54.44 s
[kilns] src/Language/KellCalculus/AST.hs:42:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
54.44 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
54.44 s
[kilns] |
54.44 s
[kilns] 42 | import Data.MultiSet (MultiSet)
54.44 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54.54 s
[kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, nothing )
54.55 s
[kilns]
54.55 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
54.55 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
54.55 s
[kilns] |
54.55 s
[kilns] 24 | import Data.MultiSet (MultiSet)
54.55 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54.56 s
[kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, nothing )
54.59 s
[kilns]
54.59 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
54.59 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
54.59 s
[kilns] |
54.59 s
[kilns] 30 | import Data.MultiSet (MultiSet)
54.59 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54.65 s
[kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, nothing )
54.65 s
[kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, nothing )
54.66 s
[kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, nothing )
54.86 s
[kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, nothing )
54.93 s
[kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, nothing )
55.04 s
[kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, nothing )
55.08 s
[kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, nothing )
55.23 s
[kilns] Haddock coverage:
55.23 s
[kilns] 50% ( 11 / 22) in 'Text.Derp'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] ParserRec (src/Text/Derp.hs:60)
55.23 s
[kilns] ContextR (src/Text/Derp.hs:70)
55.23 s
[kilns] Token (src/Text/Derp.hs:80)
55.23 s
[kilns] ParserRecType (src/Text/Derp.hs:113)
55.23 s
[kilns] FPValue (src/Text/Derp.hs:126)
55.23 s
[kilns] xsIn (src/Text/Derp.hs:132)
55.23 s
[kilns] parensIn (src/Text/Derp.hs:135)
55.23 s
[kilns] ambIn (src/Text/Derp.hs:138)
55.23 s
[kilns] sexpIn (src/Text/Derp.hs:141)
55.23 s
[kilns] someStuff (src/Text/Derp.hs:155)
55.23 s
[kilns] 5% ( 1 / 19) in 'Language.KellCalculus.AST'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] Process (src/Language/KellCalculus/AST.hs:85)
55.23 s
[kilns] AnnotatedMessage (src/Language/KellCalculus/AST.hs:170)
55.23 s
[kilns] Substitution (src/Language/KellCalculus/AST.hs:266)
55.23 s
[kilns] Variable (src/Language/KellCalculus/AST.hs:80)
55.23 s
[kilns] Name (src/Language/KellCalculus/AST.hs:69)
55.23 s
[kilns] NQTerm (src/Language/KellCalculus/AST.hs:59)
55.23 s
[kilns] ProtoTerm (src/Language/KellCalculus/AST.hs:62)
55.23 s
[kilns] Term (src/Language/KellCalculus/AST.hs:66)
55.23 s
[kilns] MultiSettable (src/Language/Common/SetLike.hs:47)
55.23 s
[kilns] Pattern (src/Language/KellCalculus/AST.hs:269)
55.23 s
[kilns] AnyContext (src/Language/KellCalculus/AST.hs:197)
55.23 s
[kilns] Hole (src/Language/KellCalculus/AST.hs:200)
55.23 s
[kilns] match (src/Language/KellCalculus/AST.hs:296)
55.23 s
[kilns] combine (src/Language/KellCalculus/AST.hs:281)
55.23 s
[kilns] substitute (src/Language/KellCalculus/AST.hs:319)
55.23 s
[kilns] toAnnotatedMessages (src/Language/KellCalculus/AST.hs:285)
55.23 s
[kilns] chooseSubstitution (src/Language/KellCalculus/AST.hs:342)
55.23 s
[kilns] 50% ( 4 / 8) in 'Language.KellCalculus.ReductionSemantics'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] ↝ (src/Language/KellCalculus/ReductionSemantics.hs:46)
55.23 s
[kilns] subReduce (src/Language/KellCalculus/ReductionSemantics.hs:69)
55.23 s
[kilns] reduce (src/Language/KellCalculus/ReductionSemantics.hs:158)
55.23 s
[kilns] 0% ( 0 / 9) in 'Language.KellCalculus.LabeledTransitionSystem'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] Concretion (src/Language/KellCalculus/LabeledTransitionSystem.hs:57)
55.23 s
[kilns] SimpleAbstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:98)
55.23 s
[kilns] Abstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:103)
55.23 s
[kilns] Action (src/Language/KellCalculus/LabeledTransitionSystem.hs:142)
55.23 s
[kilns] Agent (src/Language/KellCalculus/LabeledTransitionSystem.hs:163)
55.23 s
[kilns] compose (src/Language/KellCalculus/LabeledTransitionSystem.hs:191)
55.23 s
[kilns] papp (src/Language/KellCalculus/LabeledTransitionSystem.hs:207)
55.23 s
[kilns] commit (src/Language/KellCalculus/LabeledTransitionSystem.hs:239)
55.23 s
[kilns] 0% ( 0 / 2) in 'Language.KellCalculus.ContextualEquivalence'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] ↓ (src/Language/KellCalculus/ContextualEquivalence.hs:15)
55.23 s
[kilns] 0% ( 0 / 2) in 'Language.KellCalculus.ContextBisimulation'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] isClosed (src/Language/KellCalculus/ContextBisimulation.hs:12)
55.23 s
[kilns] Warning: '==>' is out of scope.
55.23 s
[kilns] If you qualify the identifier, haddock can try to link it anyway.
55.23 s
[kilns] Warning: 'ter' is out of scope.
55.23 s
[kilns] If you qualify the identifier, haddock can try to link it anyway.
55.23 s
[kilns] Warning: 'eps' is out of scope.
55.23 s
[kilns] If you qualify the identifier, haddock can try to link it anyway.
55.23 s
[kilns] 55% ( 25 / 45) in 'Text.Derp.Unsafe'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] Token (src/Text/Derp.hs:80)
55.23 s
[kilns] terS (src/Text/Derp/Unsafe.hs:206)
55.23 s
[kilns] star1 (src/Text/Derp/Unsafe.hs:198)
55.23 s
[kilns] option (src/Text/Derp/Unsafe.hs:201)
55.23 s
[kilns] runParseStagesNum (src/Text/Derp/Unsafe.hs:371)
55.23 s
[kilns] runParseStages (src/Text/Derp/Unsafe.hs:378)
55.23 s
[kilns] runParseLongestMatchNum (src/Text/Derp/Unsafe.hs:386)
55.23 s
[kilns] runParseLongestMatch (src/Text/Derp/Unsafe.hs:396)
55.23 s
[kilns] xsR (src/Text/Derp/Unsafe.hs:594)
55.23 s
[kilns] xsL (src/Text/Derp/Unsafe.hs:599)
55.23 s
[kilns] xsIn (src/Text/Derp.hs:132)
55.23 s
[kilns] parens (src/Text/Derp/Unsafe.hs:604)
55.23 s
[kilns] parensIn (src/Text/Derp.hs:135)
55.23 s
[kilns] amb (src/Text/Derp/Unsafe.hs:611)
55.23 s
[kilns] ambIn (src/Text/Derp.hs:138)
55.23 s
[kilns] sexp (src/Text/Derp/Unsafe.hs:619)
55.23 s
[kilns] sexpIn (src/Text/Derp.hs:141)
55.23 s
[kilns] someStuff (src/Text/Derp.hs:155)
55.23 s
[kilns] someStuffG (src/Text/Derp/Unsafe.hs:627)
55.23 s
[kilns] 5% ( 1 / 20) in 'Language.KellCalculus.Parser'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] process (src/Language/KellCalculus/Parser.hs:242)
55.23 s
[kilns] name (src/Language/KellCalculus/Parser.hs:176)
55.23 s
[kilns] variable (src/Language/KellCalculus/Parser.hs:182)
55.23 s
[kilns] identifier (src/Language/KellCalculus/Parser.hs:158)
55.23 s
[kilns] startKellTok (src/Language/KellCalculus/Parser.hs:122)
55.23 s
[kilns] endKellTok (src/Language/KellCalculus/Parser.hs:125)
55.23 s
[kilns] startMessageTok (src/Language/KellCalculus/Parser.hs:128)
55.23 s
[kilns] endMessageTok (src/Language/KellCalculus/Parser.hs:131)
55.23 s
[kilns] startFormTok (src/Language/KellCalculus/Parser.hs:134)
55.23 s
[kilns] endFormTok (src/Language/KellCalculus/Parser.hs:137)
55.23 s
[kilns] parTok (src/Language/KellCalculus/Parser.hs:140)
55.23 s
[kilns] nullTok (src/Language/KellCalculus/Parser.hs:149)
55.23 s
[kilns] bindingTok (src/Language/KellCalculus/Parser.hs:155)
55.23 s
[kilns] >~< (src/Language/KellCalculus/Parser.hs:102)
55.23 s
[kilns] |~| (src/Language/KellCalculus/Parser.hs:106)
55.23 s
[kilns] starw (src/Language/KellCalculus/Parser.hs:116)
55.23 s
[kilns] star1w (src/Language/KellCalculus/Parser.hs:119)
55.23 s
[kilns] SexpSyntax (src/Language/KellCalculus/Parser.hs:167)
55.23 s
[kilns] 0% ( 0 / 1) in 'Language.KellCalculus.PnpJKCalculus'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] 0% ( 0 / 4) in 'Language.KellCalculus.JKCalculus'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] Module header
55.23 s
[kilns] JKPattern (src/Language/KellCalculus/JKCalculus.hs:105)
55.23 s
[kilns] J (src/Language/KellCalculus/JKCalculus.hs:60)
55.23 s
[kilns] KellMessage (src/Language/KellCalculus/JKCalculus.hs:93)
55.23 s
[kilns] 25% ( 1 / 4) in 'Language.KellCalculus.FraKtal'
55.23 s
[kilns] Missing documentation for:
55.23 s
[kilns] FraKtal (src/Language/KellCalculus/FraKtal.hs:201)
55.23 s
[kilns] J (src/Language/KellCalculus/FraKtal.hs:156)
55.23 s
[kilns] KellMessage (src/Language/KellCalculus/FraKtal.hs:189)
55.55 s
[kilns] Warning: Language.KellCalculus.Parser: could not find link destinations for:
55.55 s
[kilns] - Language.KellCalculus.Parser.parallelComposition
58.84 s
[kilns] Documentation created: dist/doc/html/kilns/, dist/doc/html/kilns/kilns.txt
58.89 s
[kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0..
58.89 s
[kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0..
58.90 s
[kilns] Phase: installPhase
58.96 s
[kilns] Installing library in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/lib/ghc-9.8.4/lib/x86_64-linux-ghc-9.8.4/kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8
59.14 s
[kilns] Installing executable kilns in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin
59.14 s
[kilns] Warning: The directory
59.14 s
[kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin is not in the
59.14 s
[kilns] system search path.
59.38 s
[kilns] Phase: fixupPhase
59.40 s
[kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0
59.40 s
[kilns] shrinking /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin/kilns
59.40 s
[kilns] shrinking /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/lib/ghc-9.8.4/lib/x86_64-linux-ghc-9.8.4/libHSkilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8-ghc9.8.4.so
59.42 s
[kilns] checking for references to /build/ in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0...
59.44 s
[kilns] patching script interpreter paths in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0
59.44 s
[kilns] stripping (with command strip and flags -S -p) in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/lib /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin
59.59 s
[kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc
59.60 s
[kilns] checking for references to /build/ in /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc...
59.61 s
[kilns] patching script interpreter paths in /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc
59.73 s
[kilns:post-build] Uploading to cachix cache "sellout": /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0
60.36 s
[kilns:post-build] Pushing 2 paths (78 are already present) using zstd to cache sellout ⏳
60.36 s
[kilns:post-build]
60.89 s
[kilns:post-build] Pushing /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc (3.15 MiB)
60.92 s
[kilns:post-build] Pushing /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0 (14.32 MiB)
62.51 s
[kilns:post-build]
62.51 s
[kilns:post-build] All done.
62.53 s
[kilns:post-build] Uploading to the NixCI cache: /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0
62.58 s
[kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
62.60 s
[kilns:post-build] copying 2 paths...
62.60 s
[kilns:post-build] copying path '/nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'...
63.12 s
[kilns:post-build] copying path '/nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0' to 'https://cache.nix-ci.com'...
66.71 s
[kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
66.93 s
[kilns:post-build] copying 1 paths...
66.93 s
[kilns:post-build] copying path '/nix/store/7478bp7gfpi2b453wy9b2ssdnr9km0ns-kilns-0.0.1.0.drv' to 'https://cache.nix-ci.com'...
67.10 s
Uploaded kilns in 7.3s
67.11 s
Progress: 1 of 5 built, 45 of 45 downloaded from cache
67.11 s
Built kilns in 31.8s
67.13 s
Building /nix/store/smxk3hh6d4jvng85bnvxi5pc6vf8vjzh-ghc-9.8.4-with-packages.drv
67.19 s
[ghc-9.8.4-with-packages] /nix/store/adgq1maqkvlx59k9lbflzsr888v7r5p6-charset-0.3.12/nix-support:
67.19 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.19 s
[ghc-9.8.4-with-packages] /nix/store/adgq1maqkvlx59k9lbflzsr888v7r5p6-charset-0.3.12/nix-support:
67.19 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.20 s
[ghc-9.8.4-with-packages] /nix/store/cpa89v353qvhmb6sw9kfhq0zfc56qx58-multiset-0.3.4.3/nix-support:
67.20 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.20 s
[ghc-9.8.4-with-packages] /nix/store/cpa89v353qvhmb6sw9kfhq0zfc56qx58-multiset-0.3.4.3/nix-support:
67.20 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.20 s
[ghc-9.8.4-with-packages] /nix/store/ghvmqq7wsxi1g6s6j68yxf4ww9m5ch80-unordered-containers-0.2.20/nix-support:
67.20 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.20 s
[ghc-9.8.4-with-packages] /nix/store/ghvmqq7wsxi1g6s6j68yxf4ww9m5ch80-unordered-containers-0.2.20/nix-support:
67.20 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.20 s
[ghc-9.8.4-with-packages] /nix/store/kfbfsnxral0w42frwi0n155kfb0az59p-hashable-1.4.7.0/nix-support:
67.20 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.21 s
[ghc-9.8.4-with-packages] /nix/store/kfbfsnxral0w42frwi0n155kfb0az59p-hashable-1.4.7.0/nix-support:
67.21 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.21 s
[ghc-9.8.4-with-packages] /nix/store/qzb22s8112hp4b56sch60b175llbwr48-os-string-2.0.7/nix-support:
67.21 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.21 s
[ghc-9.8.4-with-packages] /nix/store/qzb22s8112hp4b56sch60b175llbwr48-os-string-2.0.7/nix-support:
67.21 s
[ghc-9.8.4-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/nix-support/propagated-build-inputs
67.89 s
[ghc-9.8.4-with-packages] Warning: include-dirs: /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages/lib/ghc-9.8.4/lib/../lib/x86_64-linux-ghc-9.8.4/directory-1.3.8.5-b132/include doesn't exist or isn't a directory
68.81 s
[ghc-9.8.4-with-packages:post-build] Uploading to cachix cache "sellout": /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages
69.35 s
[ghc-9.8.4-with-packages:post-build] Pushing 1 paths (80 are already present) using zstd to cache sellout ⏳
69.35 s
[ghc-9.8.4-with-packages:post-build]
69.78 s
[ghc-9.8.4-with-packages:post-build] Pushing /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages (3.97 MiB)
71.53 s
[ghc-9.8.4-with-packages:post-build]
71.53 s
[ghc-9.8.4-with-packages:post-build] All done.
71.55 s
[ghc-9.8.4-with-packages:post-build] Uploading to the NixCI cache: /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages
71.60 s
[ghc-9.8.4-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
71.77 s
[ghc-9.8.4-with-packages:post-build] copying 1 paths...
71.77 s
[ghc-9.8.4-with-packages:post-build] copying path '/nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages' to 'https://cache.nix-ci.com'...
72.51 s
[ghc-9.8.4-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
72.76 s
[ghc-9.8.4-with-packages:post-build] copying 1 paths...
72.76 s
[ghc-9.8.4-with-packages:post-build] copying path '/nix/store/smxk3hh6d4jvng85bnvxi5pc6vf8vjzh-ghc-9.8.4-with-packages.drv' to 'https://cache.nix-ci.com'...
72.94 s
Uploaded ghc-9.8.4-with-packages in 4.1s
72.94 s
Progress: 2 of 4 built, 45 of 45 downloaded from cache
72.94 s
Built ghc-9.8.4-with-packages in 5.8s
72.98 s
Building /nix/store/n4qgslrml27d7x2r36q97if7hy4mnw47-all-packages.drv
73.06 s
[all-packages] created 3 symlinks in user environment
73.08 s
[all-packages:post-build] Uploading to cachix cache "sellout": /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages
73.64 s
[all-packages:post-build] Pushing 1 paths (81 are already present) using zstd to cache sellout ⏳
73.64 s
[all-packages:post-build]
74.03 s
[all-packages:post-build] Pushing /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages (872.00 B)
75.05 s
[all-packages:post-build]
75.05 s
[all-packages:post-build] All done.
75.07 s
[all-packages:post-build] Uploading to the NixCI cache: /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages
75.12 s
[all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
75.29 s
[all-packages:post-build] copying 1 paths...
75.29 s
[all-packages:post-build] copying path '/nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages' to 'https://cache.nix-ci.com'...
75.55 s
[all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
75.81 s
[all-packages:post-build] copying 1 paths...
75.81 s
[all-packages:post-build] copying path '/nix/store/n4qgslrml27d7x2r36q97if7hy4mnw47-all-packages.drv' to 'https://cache.nix-ci.com'...
76.04 s
Uploaded all-packages in 2.9s
76.04 s
Progress: 3 of 4 built, 45 of 45 downloaded from cache
76.04 s
Built all-packages in 3.0s
76.04 s
Progress: 4 of 4 built, 45 of 45 downloaded from cache
76.04 s
/nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages
76.08 s
Build succeeded.