$ /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 warning: ignoring untrusted flake configuration setting 'allow-import-from-derivation'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'extra-experimental-features'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'extra-substituters'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'sandbox'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'use-registries'. Pass '--accept-flake-config' to trust it error (ignored): SQLite database '/var/cache/nix-ci-worker/eval-cache-v6/db0ae04f687c42aacd4c523ff4e109fe605604e02e240ba27316631f84fd8375.sqlite' is busy  Downloading cached source from https://cache.nix-ci.com Downloaded cached source (177.1 MiB) in 7.7s Progress: 1 of 1 downloaded from cache Progress: 0 of 1 downloaded from cache Downloading cached source from https://cache.nix-ci.com Downloaded cached source (48 KiB) in 8ms Progress: 1 of 1 downloaded from cache  Downloading cached glibc-locales-2.40 from https://cache.nix-ci.com Downloading cached distribution-nixpkgs-1.7.1.1-data from https://cache.nix-ci.com Downloading cached gnu-config-2024-01 from https://cache.nix-ci.com Downloading cached xgcc-14.3.0-libgcc from https://cache.nix-ci.com Downloading cached gcc-14.3.0-libgcc from https://cache.nix-ci.com Downloading cached libunistring from https://cache.nix-ci.com Downloading cached publicsuffix-list-0-unstable-2025-03 from https://cache.nix-ci.com Downloaded cached distribution-nixpkgs-1.7.1.1-data (2032 B) in 27ms Progress: 0 of 5 built, 1 of 49 downloaded from cache (6 downloading) Downloaded cached gnu-config-2024-01 (86 KiB) in 27ms Progress: 0 of 5 built, 2 of 49 downloaded from cache (5 downloading) Downloading cached update-autotools-gnu-config-scripts-hook from https://cache.nix-ci.com Downloaded cached xgcc-14.3.0-libgcc (197 KiB) in 30ms Progress: 0 of 5 built, 3 of 49 downloaded from cache (5 downloading) Downloaded cached gcc-14.3.0-libgcc (197 KiB) in 35ms Progress: 0 of 5 built, 4 of 49 downloaded from cache (4 downloading) Downloaded cached publicsuffix-list-0-unstable-2025-03 (315 KiB) in 41ms Progress: 0 of 5 built, 5 of 49 downloaded from cache (3 downloading) Downloaded cached update-autotools-gnu-config-scripts-hook (968 B) in 44ms Progress: 0 of 5 built, 6 of 49 downloaded from cache (2 downloading) Downloaded cached libunistring (2 MiB) in 79ms Progress: 0 of 5 built, 7 of 49 downloaded from cache (1 downloading) Downloading cached libidn2 from https://cache.nix-ci.com Downloaded cached libidn2 in 0ms Progress: 0 of 5 built, 8 of 49 downloaded from cache (1 downloading) Downloading cached glibc-2.40 from https://cache.nix-ci.com Downloaded cached glibc-2.40 (28.8 MiB) in 704ms Progress: 0 of 5 built, 9 of 49 downloaded from cache (1 downloading) Downloading cached attr from https://cache.nix-ci.com Downloading cached bash from https://cache.nix-ci.com Downloading cached brotli-1.1.0-lib from https://cache.nix-ci.com Downloaded cached attr in 0ms Downloading cached bzip2 from https://cache.nix-ci.com Downloaded cached bash in 0ms Downloaded cached bzip2 in 0ms Downloaded cached brotli-1.1.0-lib in 0ms Downloading cached ed from https://cache.nix-ci.com Downloading cached gawk from https://cache.nix-ci.com Downloaded cached ed in 0ms Downloading cached gcc-14.3.0-lib from https://cache.nix-ci.com Downloaded cached gawk in 0ms Downloading cached gnumake from https://cache.nix-ci.com Downloaded cached gcc-14.3.0-lib in 0ms Downloading cached gnused from https://cache.nix-ci.com Downloaded cached gnumake in 0ms Downloaded cached gnused in 0ms Downloading cached json-c from https://cache.nix-ci.com Downloaded cached json-c in 0ms Downloading cached keyutils-1.6.3-lib from https://cache.nix-ci.com Downloading cached libffi from https://cache.nix-ci.com Downloaded cached keyutils-1.6.3-lib in 0ms Downloaded cached libffi in 0ms Downloading cached libpsl from https://cache.nix-ci.com Downloaded cached libpsl in 0ms Downloading cached nghttp2-1.65.0-lib from https://cache.nix-ci.com Downloaded cached nghttp2-1.65.0-lib in 0ms Downloading cached openssl from https://cache.nix-ci.com Downloaded cached openssl in 0ms Progress: 0 of 5 built, 10 of 49 downloaded from cache (15 downloading) Progress: 0 of 5 built, 11 of 49 downloaded from cache (14 downloading) Progress: 0 of 5 built, 12 of 49 downloaded from cache (13 downloading) Progress: 0 of 5 built, 13 of 49 downloaded from cache (12 downloading) Progress: 0 of 5 built, 14 of 49 downloaded from cache (11 downloading) Progress: 0 of 5 built, 15 of 49 downloaded from cache (10 downloading) Progress: 0 of 5 built, 16 of 49 downloaded from cache (9 downloading) Progress: 0 of 5 built, 17 of 49 downloaded from cache (8 downloading) Progress: 0 of 5 built, 18 of 49 downloaded from cache (7 downloading) Progress: 0 of 5 built, 19 of 49 downloaded from cache (6 downloading) Progress: 0 of 5 built, 20 of 49 downloaded from cache (5 downloading) Progress: 0 of 5 built, 21 of 49 downloaded from cache (4 downloading) Progress: 0 of 5 built, 22 of 49 downloaded from cache (3 downloading) Downloading cached pcre2 from https://cache.nix-ci.com Downloading cached xz from https://cache.nix-ci.com Downloaded cached pcre2 in 0ms Downloaded cached xz in 0ms Downloading cached zlib from https://cache.nix-ci.com Downloaded cached zlib in 0ms Downloading cached acl from https://cache.nix-ci.com Downloaded cached acl in 0ms Downloading cached bzip2-1.0.8-bin from https://cache.nix-ci.com Downloaded cached bzip2-1.0.8-bin in 0ms Downloading cached gmp-with-cxx from https://cache.nix-ci.com Downloaded cached gmp-with-cxx in 0ms Downloading cached gmp-with-cxx from https://cache.nix-ci.com Downloaded cached gmp-with-cxx in 0ms Downloading cached gzip from https://cache.nix-ci.com Downloaded cached gzip in 0ms Downloading cached patch from https://cache.nix-ci.com Downloaded cached patch in 0ms Downloading cached patchelf from https://cache.nix-ci.com Downloading cached zstd from https://cache.nix-ci.com Downloaded cached patchelf in 0ms Downloaded cached zstd in 0ms Progress: 0 of 4 built, 23 of 49 downloaded from cache (13 downloading) Progress: 0 of 4 built, 24 of 49 downloaded from cache (12 downloading) Progress: 0 of 4 built, 25 of 49 downloaded from cache (11 downloading) Progress: 0 of 4 built, 26 of 49 downloaded from cache (10 downloading) Progress: 0 of 4 built, 27 of 49 downloaded from cache (9 downloading) Progress: 0 of 4 built, 28 of 49 downloaded from cache (8 downloading) Progress: 0 of 4 built, 29 of 49 downloaded from cache (7 downloading) Progress: 0 of 4 built, 30 of 49 downloaded from cache (6 downloading) Progress: 0 of 4 built, 31 of 49 downloaded from cache (5 downloading) Progress: 0 of 4 built, 32 of 49 downloaded from cache (4 downloading) Progress: 0 of 4 built, 33 of 49 downloaded from cache (3 downloading) Progress: 0 of 4 built, 34 of 49 downloaded from cache (2 downloading) Progress: 0 of 4 built, 35 of 49 downloaded from cache (1 downloading) Downloading cached coreutils from https://cache.nix-ci.com Downloading cached file from https://cache.nix-ci.com Downloaded cached coreutils in 0ms Downloading cached gnugrep from https://cache.nix-ci.com Downloaded cached file in 0ms Downloading cached gnutar from https://cache.nix-ci.com Downloaded cached gnugrep in 0ms Downloading cached krb5-1.21.3-lib from https://cache.nix-ci.com Downloaded cached gnutar in 0ms Downloaded cached krb5-1.21.3-lib in 0ms Downloading cached libssh2 from https://cache.nix-ci.com Downloaded cached libssh2 in 0ms Progress: 0 of 4 built, 36 of 49 downloaded from cache (7 downloading) Downloading cached xz-5.8.1-bin from https://cache.nix-ci.com Progress: 0 of 4 built, 37 of 49 downloaded from cache (6 downloading) Downloaded cached xz-5.8.1-bin in 0ms Progress: 0 of 4 built, 38 of 49 downloaded from cache (5 downloading) Progress: 0 of 4 built, 39 of 49 downloaded from cache (4 downloading) Progress: 0 of 4 built, 40 of 49 downloaded from cache (3 downloading) Downloading cached diffutils from https://cache.nix-ci.com Progress: 0 of 4 built, 41 of 49 downloaded from cache (4 downloading) Downloading cached findutils from https://cache.nix-ci.com Progress: 0 of 4 built, 42 of 49 downloaded from cache (3 downloading) Downloaded cached diffutils in 0ms Downloaded cached findutils in 0ms Progress: 0 of 4 built, 43 of 49 downloaded from cache (3 downloading) Downloading cached curl from https://cache.nix-ci.com Downloaded cached curl in 0ms Progress: 0 of 4 built, 44 of 49 downloaded from cache (2 downloading) Progress: 0 of 4 built, 45 of 49 downloaded from cache (2 downloading) Downloading cached stdenv-linux from https://cache.nix-ci.com Downloaded cached stdenv-linux in 0ms Downloading cached elfutils from https://cache.nix-ci.com Downloaded cached elfutils in 0ms Progress: 0 of 4 built, 46 of 49 downloaded from cache (2 downloading) Progress: 0 of 3 built, 47 of 49 downloaded from cache (1 downloading) Downloading cached cabal2nix from https://sellout.cachix.org Downloaded cached cabal2nix (18.2 MiB) in 721ms Progress: 0 of 3 built, 48 of 49 downloaded from cache (1 downloading) Downloaded cached glibc-locales-2.40 (221.6 MiB) in 2.1s Progress: 0 of 2 built, 49 of 49 downloaded from cache Waiting for lock on cabal2nix-kilns Progress: 1 of 1 built, 49 of 49 downloaded from cache Progress: 49 of 49 downloaded from cache  Downloading cached perl from https://cache.nix-ci.com Downloading cached glibc-2.40-66-dev from https://cache.nix-ci.com Downloading cached ncurses-6.5-dev from https://cache.nix-ci.com Waiting for lock on builder.pl Downloading cached binutils from https://cache.nix-ci.com Downloading cached readline from https://cache.nix-ci.com Downloading cached isl from https://cache.nix-ci.com Downloading cached libarchive-3.8.2-lib from https://cache.nix-ci.com Downloading cached mpfr from https://cache.nix-ci.com Downloading cached hscolour from https://cache.nix-ci.com Downloading cached p11-kit from https://cache.nix-ci.com Downloading cached unbound-1.24.1-lib from https://cache.nix-ci.com Downloaded cached ncurses-6.5-dev (371 KiB) in 64ms Progress: 0 of 18 built, 1 of 45 downloaded from cache (10 downloading) Downloaded cached readline (467 KiB) in 127ms Progress: 0 of 18 built, 2 of 45 downloaded from cache (9 downloading) Downloading cached bash-interactive from https://cache.nix-ci.com Downloaded cached glibc-2.40-66-dev (2.3 MiB) in 164ms Progress: 0 of 18 built, 3 of 45 downloaded from cache (9 downloading) Downloaded cached mpfr (803 KiB) in 171ms Progress: 0 of 18 built, 4 of 45 downloaded from cache (8 downloading) Downloading cached libmpc from https://cache.nix-ci.com Downloaded cached libarchive-3.8.2-lib (938 KiB) in 197ms Progress: 0 of 18 built, 5 of 45 downloaded from cache (8 downloading) Downloaded cached libmpc (277 KiB) in 60ms Progress: 0 of 18 built, 6 of 45 downloaded from cache (7 downloading) Downloaded cached isl (2.5 MiB) in 293ms Progress: 0 of 18 built, 7 of 45 downloaded from cache (6 downloading) Downloading cached gcc from https://cache.nix-ci.com Downloaded cached unbound-1.24.1-lib (1.1 MiB) in 296ms Progress: 0 of 18 built, 8 of 45 downloaded from cache (6 downloading) Downloaded cached p11-kit (4.9 MiB) in 329ms Progress: 0 of 18 built, 9 of 45 downloaded from cache (5 downloading) Downloading cached gnutls from https://cache.nix-ci.com Downloaded cached hscolour (2.5 MiB) in 348ms Progress: 0 of 18 built, 10 of 45 downloaded from cache (5 downloading) Downloaded cached gnutls (3.2 MiB) in 179ms Progress: 0 of 17 built, 11 of 45 downloaded from cache (4 downloading) Downloading cached libmicrohttpd from https://cache.nix-ci.com Downloaded cached libmicrohttpd (256 KiB) in 36ms Progress: 0 of 17 built, 12 of 45 downloaded from cache (4 downloading) Downloading cached elfutils-0.192-bin from https://cache.nix-ci.com Downloaded cached bash-interactive (6.9 MiB) in 427ms Progress: 0 of 17 built, 13 of 45 downloaded from cache (4 downloading) Downloading cached ghc-9.8.4-doc from https://cache.nix-ci.com Downloaded cached elfutils-0.192-bin (3.1 MiB) in 149ms Progress: 0 of 17 built, 14 of 45 downloaded from cache (4 downloading) Downloading cached elfutils-0.192-dev from https://cache.nix-ci.com Downloaded cached binutils (31.1 MiB) in 824ms Progress: 0 of 17 built, 15 of 45 downloaded from cache (4 downloading) Downloading cached binutils-wrapper from https://cache.nix-ci.com Downloaded cached binutils-wrapper (53 KiB) in 22ms Progress: 0 of 17 built, 16 of 45 downloaded from cache (4 downloading) Downloaded cached elfutils-0.192-dev (224 KiB) in 259ms Progress: 0 of 17 built, 17 of 45 downloaded from cache (3 downloading) Downloaded cached perl (56.9 MiB) in 1.4s Progress: 0 of 17 built, 18 of 45 downloaded from cache (2 downloading) Downloaded cached gcc (245.2 MiB) in 2.9s Progress: 0 of 16 built, 19 of 45 downloaded from cache (1 downloading) Downloading cached gcc-wrapper from https://cache.nix-ci.com Downloaded cached gcc-wrapper (64 KiB) in 133ms Progress: 0 of 16 built, 20 of 45 downloaded from cache (1 downloading) Downloading cached stdenv-linux from https://cache.nix-ci.com Downloaded cached stdenv-linux (59 KiB) in 147ms Progress: 0 of 16 built, 21 of 45 downloaded from cache (1 downloading) Downloaded cached ghc-9.8.4-doc (687.1 MiB) in 3.9s Progress: 0 of 15 built, 22 of 45 downloaded from cache Downloading cached base-unicode-symbols-0.2.4.2-doc from https://cache.nix-ci.com Downloading cached cabal-doctest-1.0.11-doc from https://cache.nix-ci.com Downloading cached code-page-0.2.1-doc from https://cache.nix-ci.com Downloading cached ghc from https://cache.nix-ci.com Downloading cached ghc-paths-0.1.0.12-doc from https://cache.nix-ci.com Downloading cached os-string-2.0.7-doc from https://cache.nix-ci.com Downloading cached syb-0.7.2.4-doc from https://cache.nix-ci.com Downloading cached multiset-0.3.4.3-doc from https://cache.nix-ci.com Downloaded cached ghc-paths-0.1.0.12-doc (121 KiB) in 248ms Progress: 0 of 14 built, 23 of 45 downloaded from cache (7 downloading) Downloaded cached cabal-doctest-1.0.11-doc (356 KiB) in 251ms Progress: 0 of 14 built, 24 of 45 downloaded from cache (6 downloading) Downloaded cached base-unicode-symbols-0.2.4.2-doc (482 KiB) in 253ms Progress: 0 of 14 built, 25 of 45 downloaded from cache (5 downloading) Downloaded cached code-page-0.2.1-doc (276 KiB) in 259ms Progress: 0 of 14 built, 26 of 45 downloaded from cache (4 downloading) Downloaded cached os-string-2.0.7-doc (3.6 MiB) in 261ms Progress: 0 of 14 built, 27 of 45 downloaded from cache (3 downloading) Downloading cached hashable-1.4.7.0-doc from https://cache.nix-ci.com Downloaded cached multiset-0.3.4.3-doc (1.1 MiB) in 266ms Progress: 0 of 14 built, 28 of 45 downloaded from cache (3 downloading) Downloaded cached syb-0.7.2.4-doc (1.2 MiB) in 277ms Progress: 0 of 14 built, 29 of 45 downloaded from cache (2 downloading) Downloading cached doctest-0.22.6-doc from https://cache.nix-ci.com Downloaded cached doctest-0.22.6-doc (1.3 MiB) in 26ms Progress: 0 of 14 built, 30 of 45 downloaded from cache (2 downloading) Downloaded cached hashable-1.4.7.0-doc (1.2 MiB) in 93ms Progress: 0 of 14 built, 31 of 45 downloaded from cache (1 downloading) Downloading cached unordered-containers-0.2.20-doc from https://cache.nix-ci.com Downloaded cached unordered-containers-0.2.20-doc (4.5 MiB) in 40ms Progress: 0 of 14 built, 32 of 45 downloaded from cache (1 downloading) Downloading cached charset-0.3.12-doc from https://cache.nix-ci.com Downloaded cached charset-0.3.12-doc (1.4 MiB) in 26ms Progress: 0 of 14 built, 33 of 45 downloaded from cache (1 downloading) Downloaded cached ghc (1.8 GiB) in 9.3s Progress: 0 of 13 built, 34 of 45 downloaded from cache Downloading cached base-unicode-symbols from https://cache.nix-ci.com Downloading cached code-page from https://cache.nix-ci.com Downloading cached cabal-doctest from https://cache.nix-ci.com Downloading cached ghc-paths from https://cache.nix-ci.com Downloading cached multiset from https://cache.nix-ci.com Downloading cached os-string from https://cache.nix-ci.com Downloading cached syb from https://cache.nix-ci.com Downloaded cached ghc-paths (101 KiB) in 19ms Progress: 0 of 12 built, 35 of 45 downloaded from cache (6 downloading) Downloaded cached cabal-doctest (769 KiB) in 26ms Progress: 0 of 12 built, 36 of 45 downloaded from cache (5 downloading) Downloaded cached base-unicode-symbols (472 KiB) in 27ms Progress: 0 of 11 built, 37 of 45 downloaded from cache (4 downloading) Downloaded cached code-page (365 KiB) in 27ms Progress: 0 of 10 built, 38 of 45 downloaded from cache (3 downloading) Downloaded cached syb (2.8 MiB) in 38ms Progress: 0 of 10 built, 39 of 45 downloaded from cache (2 downloading) Downloading cached doctest from https://cache.nix-ci.com Downloaded cached multiset (2.3 MiB) in 43ms Progress: 0 of 10 built, 40 of 45 downloaded from cache (2 downloading) Downloaded cached os-string (5.9 MiB) in 52ms Progress: 0 of 9 built, 41 of 45 downloaded from cache (1 downloading) Downloading cached hashable from https://cache.nix-ci.com Downloaded cached hashable (3.2 MiB) in 56ms Progress: 0 of 8 built, 42 of 45 downloaded from cache (1 downloading) Downloading cached unordered-containers from https://cache.nix-ci.com Downloaded cached unordered-containers (9.3 MiB) in 73ms Progress: 0 of 7 built, 43 of 45 downloaded from cache (1 downloading) Downloading cached charset from https://cache.nix-ci.com Downloaded cached charset (6.4 MiB) in 58ms Progress: 0 of 6 built, 44 of 45 downloaded from cache (1 downloading) Downloaded cached doctest (66.7 MiB) in 490ms Progress: 0 of 5 built, 45 of 45 downloaded from cache Building /nix/store/7478bp7gfpi2b453wy9b2ssdnr9km0ns-kilns-0.0.1.0.drv [kilns] Phase: setupCompilerEnvironmentPhase [kilns] Build with /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4. [kilns] Phase: unpackPhase [kilns] unpacking source archive /nix/store/016swviban7282mwb7ia4xpqxvnrz2mz-5ri25q34ix0pj4rqvxyv2gsj973h42zc-source/./core [kilns] source root is core [kilns] Phase: patchPhase [kilns] Phase: compileBuildDriverPhase [kilns] setupCompileFlags: -package-db=/build/tmp.t4PYL9WGDc/setup-package.conf.d -threaded [kilns] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.t4PYL9WGDc/Main.o ) [kilns] [2 of 2] Linking Setup [kilns] Phase: updateAutotoolsGnuConfigScriptsPhase [kilns] Phase: configurePhase [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 [kilns] Using Parsec parser [kilns] Configuring kilns-0.0.1.0... [kilns] Flags chosen: noisy-deprecations=True [kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || [kilns] >=4.21.0 && <4.22: using base-4.19.2.0 [kilns] Dependency base-unicode-symbols >=0.2.2 && <0.3: using [kilns] base-unicode-symbols-0.2.4.2 [kilns] Dependency charset >=0.3.9 && <0.4: using charset-0.3.12 [kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8 [kilns] Dependency multiset >=0.3.4 && <0.4: using multiset-0.3.4.3 [kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || [kilns] >=4.21.0 && <4.22: using base-4.19.2.0 [kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8 [kilns] Dependency kilns: using kilns-0.0.1.0 [kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || [kilns] >=4.21.0 && <4.22: using base-4.19.2.0 [kilns] Dependency doctest >=0.21.1 && <0.22 || >=0.22.2 && <0.23 || >=0.23.0 && <0.24 [kilns] || >=0.24.0 && <0.25: using doctest-0.22.6 [kilns] Dependency kilns: using kilns-0.0.1.0 [kilns] Source component graph: [kilns]  component lib [kilns]  component exe:kilns dependency lib [kilns]  component test:doctests dependency lib [kilns] Configured component graph: [kilns]  component kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns]  include base-4.19.2.0-0fde [kilns]  include base-unicode-symbols-0.2.4.2-9oDBkyVodhQ5SBdUUMrtx0 [kilns]  include charset-0.3.12-1sRPMefOWCb78IHBVWqbqs [kilns]  include containers-0.6.8-ddec [kilns]  include multiset-0.3.4.3-4DKI5YM6lrn3S5zj4hUnJI [kilns]  component kilns-0.0.1.0-BLpmpIgwAqxD4gACDlFYr7-kilns [kilns]  include base-4.19.2.0-0fde [kilns]  include containers-0.6.8-ddec [kilns]  include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns]  component kilns-0.0.1.0-JeEtbMOKy3cFBX1IUsGog2-doctests [kilns]  include base-4.19.2.0-0fde [kilns]  include doctest-0.22.6-1SxYZzGcAV168a12vQnyDt [kilns]  include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns] Linked component graph: [kilns]  unit kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns]  include base-4.19.2.0-0fde [kilns]  include base-unicode-symbols-0.2.4.2-9oDBkyVodhQ5SBdUUMrtx0 [kilns]  include charset-0.3.12-1sRPMefOWCb78IHBVWqbqs [kilns]  include containers-0.6.8-ddec [kilns]  include multiset-0.3.4.3-4DKI5YM6lrn3S5zj4hUnJI [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 [kilns]  unit kilns-0.0.1.0-BLpmpIgwAqxD4gACDlFYr7-kilns [kilns]  include base-4.19.2.0-0fde [kilns]  include containers-0.6.8-ddec [kilns]  include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns]  unit kilns-0.0.1.0-JeEtbMOKy3cFBX1IUsGog2-doctests [kilns]  include base-4.19.2.0-0fde [kilns]  include doctest-0.22.6-1SxYZzGcAV168a12vQnyDt [kilns]  include kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns] Ready component graph: [kilns]  definite kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns]  depends base-4.19.2.0-0fde [kilns]  depends base-unicode-symbols-0.2.4.2-9oDBkyVodhQ5SBdUUMrtx0 [kilns]  depends charset-0.3.12-1sRPMefOWCb78IHBVWqbqs [kilns]  depends containers-0.6.8-ddec [kilns]  depends multiset-0.3.4.3-4DKI5YM6lrn3S5zj4hUnJI [kilns]  definite kilns-0.0.1.0-JeEtbMOKy3cFBX1IUsGog2-doctests [kilns]  depends base-4.19.2.0-0fde [kilns]  depends doctest-0.22.6-1SxYZzGcAV168a12vQnyDt [kilns]  depends kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns]  definite kilns-0.0.1.0-BLpmpIgwAqxD4gACDlFYr7-kilns [kilns]  depends base-4.19.2.0-0fde [kilns]  depends containers-0.6.8-ddec [kilns]  depends kilns-0.0.1.0-J7SSWEfw0nH7Yl0Ft5yeV8 [kilns] Using Cabal-3.10.3.0 compiled by ghc-9.8 [kilns] Using compiler: ghc-9.8.4 [kilns] Using install prefix: [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0 [kilns] Executables installed in: [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin [kilns] Libraries installed in: [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 [kilns] Dynamic Libraries installed in: [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/lib/ghc-9.8.4/lib/x86_64-linux-ghc-9.8.4 [kilns] Private executables installed in: [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.8.4/kilns-0.0.1.0 [kilns] Data files installed in: [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/share/x86_64-linux-ghc-9.8.4/kilns-0.0.1.0 [kilns] Documentation installed in: [kilns] /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 [kilns] Configuration files installed in: [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/etc [kilns] No alex found [kilns] Using ar found on system at: [kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ar [kilns] No c2hs found [kilns] No cpphs found [kilns] Using doctest version 0.22.6 found on system at: [kilns] /nix/store/612n0jqw5vhhi6sgzfly43cjx3qfc4kg-doctest-0.22.6/bin/doctest [kilns] Using gcc version 14.3.0 given by user at: [kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/gcc [kilns] Using ghc version 9.8.4 found on system at: [kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/ghc [kilns] Using ghc-pkg version 9.8.4 found on system at: [kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/ghc-pkg-9.8.4 [kilns] No ghcjs found [kilns] No ghcjs-pkg found [kilns] No greencard found [kilns] Using haddock version 2.30.0 found on system at: [kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/haddock-ghc-9.8.4 [kilns] No happy found [kilns] Using haskell-suite found on system at: haskell-suite-dummy-location [kilns] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [kilns] No hmake found [kilns] Using hpc version 0.69 found on system at: [kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/hpc-ghc-9.8.4 [kilns] Using hsc2hs version 0.68.10 found on system at: [kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/hsc2hs-ghc-9.8.4 [kilns] Using hscolour version 1.25 found on system at: [kilns] /nix/store/r9acd8dqp6xxbhlplifjikwk7bc6w7vf-hscolour-1.25/bin/HsColour [kilns] No jhc found [kilns] Using ld found on system at: [kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ld.gold [kilns] No pkg-config found [kilns] Using runghc version 9.8.4 found on system at: [kilns] /nix/store/msyy53g0sxv03q6s3balv6qg14yn3wv4-ghc-9.8.4/bin/runghc-9.8.4 [kilns] Using strip version 2.44 found on system at: [kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/strip [kilns] Using tar found on system at: [kilns] /nix/store/76df6j9sq1ar58id3y3v4rkijany1wxp-gnutar-1.35/bin/tar [kilns] No uhc found [kilns] Phase: buildPhase [kilns] Preprocessing library for kilns-0.0.1.0.. [kilns] Building library for kilns-0.0.1.0.. [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 ) [kilns]  [kilns] src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module [kilns]  | [kilns] 15 | import Data.Bool.Unicode ((∧)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module [kilns]  | [kilns] 16 | import Data.Foldable.Unicode ((∈), (∉)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 17 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.o, dist/build/Text/Derp.dyn_o ) [kilns]  [kilns] src/Text/Derp.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [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 ) [kilns]  [kilns] src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 42 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [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 ) [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 24 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a) md, [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b) m) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 ) [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 30 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a) mm) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 246 | then case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 272 | case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 296 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 305 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  when specialising ‘Data.Map.Strict.Internal.insertWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.fromListWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.mapKeysWith’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [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 ) [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 ) [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 ) [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WTer’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WCon’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WRed’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WAlt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WEps’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Printf.formatString’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  when specialising ‘Map.insert’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’ [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 ) [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  when specialising ‘Set.insert’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star’ [kilns]  Probable fix: add INLINABLE pragma on ‘star’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [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 ) [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [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 ) [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [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 ) [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.p_o ) [kilns]  [kilns] src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module [kilns]  | [kilns] 15 | import Data.Bool.Unicode ((∧)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module [kilns]  | [kilns] 16 | import Data.Foldable.Unicode ((∈), (∉)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 17 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.p_o ) [kilns]  [kilns] src/Text/Derp.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.p_o ) [kilns]  [kilns] src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 42 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.p_o ) [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 24 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a) md, [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b) m) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.p_o ) [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 30 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a) mm) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 246 | then case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 272 | case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 296 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 305 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  when specialising ‘Data.Map.Strict.Internal.insertWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.fromListWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.mapKeysWith’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.p_o ) [kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.p_o ) [kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.p_o ) [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WCon’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WRed’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WAlt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WEps’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Printf.formatString’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WTer’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  when specialising ‘Map.insert’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’ [kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.p_o ) [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  when specialising ‘Set.insert’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star’ [kilns]  Probable fix: add INLINABLE pragma on ‘star’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.p_o ) [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.p_o ) [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.p_o ) [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0.. [kilns] Building test suite 'doctests' for kilns-0.0.1.0.. [kilns] [1 of 2] Compiling Build_doctests ( dist/build/doctests/autogen/Build_doctests.hs, dist/build/doctests/doctests-tmp/Build_doctests.o ) [kilns] [2 of 2] Compiling Main ( tests/doctests.hs, dist/build/doctests/doctests-tmp/Main.o ) [kilns] [3 of 3] Linking dist/build/doctests/doctests [kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0.. [kilns] Building executable 'kilns' for kilns-0.0.1.0.. [kilns] [1 of 1] Compiling Main ( src/Language/Kilns/Interpreter/Main.hs, dist/build/kilns/kilns-tmp/Main.o ) [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘processes’ [kilns]  Probable fix: add INLINABLE pragma on ‘processes’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.runParseNum’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.runParseNum’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’ [kilns]  when specialising ‘Set.insert’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘reduce’ [kilns]  Probable fix: add INLINABLE pragma on ‘reduce’ [kilns] [2 of 2] Linking dist/build/kilns/kilns [kilns] Phase: checkPhase [kilns] Running 1 test suites... [kilns] Test suite doctests: RUNNING... [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns] Examples: 3 Tried: 3 Errors: 0 Failures: 0 [kilns] Test suite doctests: PASS [kilns] Test suite logged to: dist/test/kilns-0.0.1.0-doctests.log [kilns] 1 of 1 test suites (1 of 1 test cases) passed. [kilns] Phase: haddockPhase [kilns] Preprocessing library for kilns-0.0.1.0.. [kilns] Running Haddock on library for kilns-0.0.1.0.. [kilns] Warning: --source-* options are ignored when --hyperlinked-source is enabled. [kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, nothing ) [kilns]  [kilns] src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module [kilns]  | [kilns] 15 | import Data.Bool.Unicode ((∧)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module [kilns]  | [kilns] 16 | import Data.Foldable.Unicode ((∈), (∉)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 17 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, nothing ) [kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, nothing ) [kilns]  [kilns] src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 42 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, nothing ) [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 24 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, nothing ) [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 30 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, nothing ) [kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, nothing ) [kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, nothing ) [kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, nothing ) [kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, nothing ) [kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, nothing ) [kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, nothing ) [kilns] Haddock coverage: [kilns]  50% ( 11 / 22) in 'Text.Derp' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  ParserRec (src/Text/Derp.hs:60) [kilns]  ContextR (src/Text/Derp.hs:70) [kilns]  Token (src/Text/Derp.hs:80) [kilns]  ParserRecType (src/Text/Derp.hs:113) [kilns]  FPValue (src/Text/Derp.hs:126) [kilns]  xsIn (src/Text/Derp.hs:132) [kilns]  parensIn (src/Text/Derp.hs:135) [kilns]  ambIn (src/Text/Derp.hs:138) [kilns]  sexpIn (src/Text/Derp.hs:141) [kilns]  someStuff (src/Text/Derp.hs:155) [kilns]  5% ( 1 / 19) in 'Language.KellCalculus.AST' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  Process (src/Language/KellCalculus/AST.hs:85) [kilns]  AnnotatedMessage (src/Language/KellCalculus/AST.hs:170) [kilns]  Substitution (src/Language/KellCalculus/AST.hs:266) [kilns]  Variable (src/Language/KellCalculus/AST.hs:80) [kilns]  Name (src/Language/KellCalculus/AST.hs:69) [kilns]  NQTerm (src/Language/KellCalculus/AST.hs:59) [kilns]  ProtoTerm (src/Language/KellCalculus/AST.hs:62) [kilns]  Term (src/Language/KellCalculus/AST.hs:66) [kilns]  MultiSettable (src/Language/Common/SetLike.hs:47) [kilns]  Pattern (src/Language/KellCalculus/AST.hs:269) [kilns]  AnyContext (src/Language/KellCalculus/AST.hs:197) [kilns]  Hole (src/Language/KellCalculus/AST.hs:200) [kilns]  match (src/Language/KellCalculus/AST.hs:296) [kilns]  combine (src/Language/KellCalculus/AST.hs:281) [kilns]  substitute (src/Language/KellCalculus/AST.hs:319) [kilns]  toAnnotatedMessages (src/Language/KellCalculus/AST.hs:285) [kilns]  chooseSubstitution (src/Language/KellCalculus/AST.hs:342) [kilns]  50% ( 4 / 8) in 'Language.KellCalculus.ReductionSemantics' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  ↝ (src/Language/KellCalculus/ReductionSemantics.hs:46) [kilns]  subReduce (src/Language/KellCalculus/ReductionSemantics.hs:69) [kilns]  reduce (src/Language/KellCalculus/ReductionSemantics.hs:158) [kilns]  0% ( 0 / 9) in 'Language.KellCalculus.LabeledTransitionSystem' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  Concretion (src/Language/KellCalculus/LabeledTransitionSystem.hs:57) [kilns]  SimpleAbstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:98) [kilns]  Abstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:103) [kilns]  Action (src/Language/KellCalculus/LabeledTransitionSystem.hs:142) [kilns]  Agent (src/Language/KellCalculus/LabeledTransitionSystem.hs:163) [kilns]  compose (src/Language/KellCalculus/LabeledTransitionSystem.hs:191) [kilns]  papp (src/Language/KellCalculus/LabeledTransitionSystem.hs:207) [kilns]  commit (src/Language/KellCalculus/LabeledTransitionSystem.hs:239) [kilns]  0% ( 0 / 2) in 'Language.KellCalculus.ContextualEquivalence' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  ↓ (src/Language/KellCalculus/ContextualEquivalence.hs:15) [kilns]  0% ( 0 / 2) in 'Language.KellCalculus.ContextBisimulation' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  isClosed (src/Language/KellCalculus/ContextBisimulation.hs:12) [kilns] Warning: '==>' is out of scope. [kilns]  If you qualify the identifier, haddock can try to link it anyway. [kilns] Warning: 'ter' is out of scope. [kilns]  If you qualify the identifier, haddock can try to link it anyway. [kilns] Warning: 'eps' is out of scope. [kilns]  If you qualify the identifier, haddock can try to link it anyway. [kilns]  55% ( 25 / 45) in 'Text.Derp.Unsafe' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  Token (src/Text/Derp.hs:80) [kilns]  terS (src/Text/Derp/Unsafe.hs:206) [kilns]  star1 (src/Text/Derp/Unsafe.hs:198) [kilns]  option (src/Text/Derp/Unsafe.hs:201) [kilns]  runParseStagesNum (src/Text/Derp/Unsafe.hs:371) [kilns]  runParseStages (src/Text/Derp/Unsafe.hs:378) [kilns]  runParseLongestMatchNum (src/Text/Derp/Unsafe.hs:386) [kilns]  runParseLongestMatch (src/Text/Derp/Unsafe.hs:396) [kilns]  xsR (src/Text/Derp/Unsafe.hs:594) [kilns]  xsL (src/Text/Derp/Unsafe.hs:599) [kilns]  xsIn (src/Text/Derp.hs:132) [kilns]  parens (src/Text/Derp/Unsafe.hs:604) [kilns]  parensIn (src/Text/Derp.hs:135) [kilns]  amb (src/Text/Derp/Unsafe.hs:611) [kilns]  ambIn (src/Text/Derp.hs:138) [kilns]  sexp (src/Text/Derp/Unsafe.hs:619) [kilns]  sexpIn (src/Text/Derp.hs:141) [kilns]  someStuff (src/Text/Derp.hs:155) [kilns]  someStuffG (src/Text/Derp/Unsafe.hs:627) [kilns]  5% ( 1 / 20) in 'Language.KellCalculus.Parser' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  process (src/Language/KellCalculus/Parser.hs:242) [kilns]  name (src/Language/KellCalculus/Parser.hs:176) [kilns]  variable (src/Language/KellCalculus/Parser.hs:182) [kilns]  identifier (src/Language/KellCalculus/Parser.hs:158) [kilns]  startKellTok (src/Language/KellCalculus/Parser.hs:122) [kilns]  endKellTok (src/Language/KellCalculus/Parser.hs:125) [kilns]  startMessageTok (src/Language/KellCalculus/Parser.hs:128) [kilns]  endMessageTok (src/Language/KellCalculus/Parser.hs:131) [kilns]  startFormTok (src/Language/KellCalculus/Parser.hs:134) [kilns]  endFormTok (src/Language/KellCalculus/Parser.hs:137) [kilns]  parTok (src/Language/KellCalculus/Parser.hs:140) [kilns]  nullTok (src/Language/KellCalculus/Parser.hs:149) [kilns]  bindingTok (src/Language/KellCalculus/Parser.hs:155) [kilns]  >~< (src/Language/KellCalculus/Parser.hs:102) [kilns]  |~| (src/Language/KellCalculus/Parser.hs:106) [kilns]  starw (src/Language/KellCalculus/Parser.hs:116) [kilns]  star1w (src/Language/KellCalculus/Parser.hs:119) [kilns]  SexpSyntax (src/Language/KellCalculus/Parser.hs:167) [kilns]  0% ( 0 / 1) in 'Language.KellCalculus.PnpJKCalculus' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  0% ( 0 / 4) in 'Language.KellCalculus.JKCalculus' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  JKPattern (src/Language/KellCalculus/JKCalculus.hs:105) [kilns]  J (src/Language/KellCalculus/JKCalculus.hs:60) [kilns]  KellMessage (src/Language/KellCalculus/JKCalculus.hs:93) [kilns]  25% ( 1 / 4) in 'Language.KellCalculus.FraKtal' [kilns]  Missing documentation for: [kilns]  FraKtal (src/Language/KellCalculus/FraKtal.hs:201) [kilns]  J (src/Language/KellCalculus/FraKtal.hs:156) [kilns]  KellMessage (src/Language/KellCalculus/FraKtal.hs:189) [kilns] Warning: Language.KellCalculus.Parser: could not find link destinations for: [kilns]  - Language.KellCalculus.Parser.parallelComposition [kilns] Documentation created: dist/doc/html/kilns/, dist/doc/html/kilns/kilns.txt [kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0.. [kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0.. [kilns] Phase: installPhase [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 [kilns] Installing executable kilns in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin [kilns] Warning: The directory [kilns] /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin is not in the [kilns] system search path. [kilns] Phase: fixupPhase [kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0 [kilns] shrinking /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0/bin/kilns [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 [kilns] checking for references to /build/ in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0... [kilns] patching script interpreter paths in /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0 [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 [kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc [kilns] checking for references to /build/ in /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc... [kilns] patching script interpreter paths in /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc [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 [kilns:post-build] Pushing 2 paths (78 are already present) using zstd to cache sellout ⏳ [kilns:post-build]  [kilns:post-build] Pushing /nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc (3.15 MiB) [kilns:post-build] Pushing /nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0 (14.32 MiB) [kilns:post-build]  [kilns:post-build] All done. [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 [kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [kilns:post-build] copying 2 paths... [kilns:post-build] copying path '/nix/store/2qjlihlbz4llb3g03xr8m7g2khgvmj1l-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'... [kilns:post-build] copying path '/nix/store/nlyan67y4cb1wr6c5nvnnnjwd4qyvgg5-kilns-0.0.1.0' to 'https://cache.nix-ci.com'... [kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [kilns:post-build] copying 1 paths... [kilns:post-build] copying path '/nix/store/7478bp7gfpi2b453wy9b2ssdnr9km0ns-kilns-0.0.1.0.drv' to 'https://cache.nix-ci.com'... Uploaded kilns in 7.3s Progress: 1 of 5 built, 45 of 45 downloaded from cache Built kilns in 31.8s Building /nix/store/smxk3hh6d4jvng85bnvxi5pc6vf8vjzh-ghc-9.8.4-with-packages.drv [ghc-9.8.4-with-packages] /nix/store/adgq1maqkvlx59k9lbflzsr888v7r5p6-charset-0.3.12/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/adgq1maqkvlx59k9lbflzsr888v7r5p6-charset-0.3.12/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/cpa89v353qvhmb6sw9kfhq0zfc56qx58-multiset-0.3.4.3/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/cpa89v353qvhmb6sw9kfhq0zfc56qx58-multiset-0.3.4.3/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/ghvmqq7wsxi1g6s6j68yxf4ww9m5ch80-unordered-containers-0.2.20/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/ghvmqq7wsxi1g6s6j68yxf4ww9m5ch80-unordered-containers-0.2.20/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/kfbfsnxral0w42frwi0n155kfb0az59p-hashable-1.4.7.0/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/kfbfsnxral0w42frwi0n155kfb0az59p-hashable-1.4.7.0/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/qzb22s8112hp4b56sch60b175llbwr48-os-string-2.0.7/nix-support: [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 [ghc-9.8.4-with-packages] /nix/store/qzb22s8112hp4b56sch60b175llbwr48-os-string-2.0.7/nix-support: [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 [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 [ghc-9.8.4-with-packages:post-build] Uploading to cachix cache "sellout": /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages [ghc-9.8.4-with-packages:post-build] Pushing 1 paths (80 are already present) using zstd to cache sellout ⏳ [ghc-9.8.4-with-packages:post-build]  [ghc-9.8.4-with-packages:post-build] Pushing /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages (3.97 MiB) [ghc-9.8.4-with-packages:post-build]  [ghc-9.8.4-with-packages:post-build] All done. [ghc-9.8.4-with-packages:post-build] Uploading to the NixCI cache: /nix/store/gmcv35mp30vxvh0qphf9h2rxznh2sfdy-ghc-9.8.4-with-packages [ghc-9.8.4-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [ghc-9.8.4-with-packages:post-build] copying 1 paths... [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'... [ghc-9.8.4-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [ghc-9.8.4-with-packages:post-build] copying 1 paths... [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'... Uploaded ghc-9.8.4-with-packages in 4.1s Progress: 2 of 4 built, 45 of 45 downloaded from cache Built ghc-9.8.4-with-packages in 5.8s Building /nix/store/n4qgslrml27d7x2r36q97if7hy4mnw47-all-packages.drv [all-packages] created 3 symlinks in user environment [all-packages:post-build] Uploading to cachix cache "sellout": /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages [all-packages:post-build] Pushing 1 paths (81 are already present) using zstd to cache sellout ⏳ [all-packages:post-build]  [all-packages:post-build] Pushing /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages (872.00 B) [all-packages:post-build]  [all-packages:post-build] All done. [all-packages:post-build] Uploading to the NixCI cache: /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages [all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [all-packages:post-build] copying 1 paths... [all-packages:post-build] copying path '/nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages' to 'https://cache.nix-ci.com'... [all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [all-packages:post-build] copying 1 paths... [all-packages:post-build] copying path '/nix/store/n4qgslrml27d7x2r36q97if7hy4mnw47-all-packages.drv' to 'https://cache.nix-ci.com'... Uploaded all-packages in 2.9s Progress: 3 of 4 built, 45 of 45 downloaded from cache Built all-packages in 3.0s Progress: 4 of 4 built, 45 of 45 downloaded from cache /nix/store/skzw0h6hv4bh0r9lrs143rlgs7mlckb8-all-packages Build succeeded.