$ /nix/store/rry6qingvsrqmc7ll7jgaqpybcbdgf5v-coreutils-9.7/bin/timeout --kill-after=15s 1800s /nix/store/mycbwkcm1jzjgsaiydvzib9phmzfz9vx-nix-2.31.1/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --extra-substituters https://sellout.cachix.org --extra-trusted-public-keys sellout.cachix.org-1:v37cTpWBEycnYxSPAgSQ57Wiqd3wjljni2aC0Xry1DE= --netrc-file /tmp/nix-ci-worker-15dc5eb5d6a0e432/cachix-94052f3ad654532b/netrc --extra-substituters https://cache.nix-ci.com --extra-trusted-public-keys nix-ci-staging:Q5+aawDG0LPCgu1fP9e+9hktvsfSyvu/Xe5PvzTLRVs= --netrc-file /tmp/nix-ci-worker-15dc5eb5d6a0e432/nix-ci-cache-61fc8ba61c8795d7/netrc --extra-substituters ssh-ng://worker.nix-ci.com?ssh-key=/tmp/nix-ci-worker-15dc5eb5d6a0e432/ssh-key-20e89d57a0ef3e79/ssh.key&remote-store=/cache/nix-ci/&base64-ssh-public-host-key=c3NoLWVkMjU1MTkgQUFBQUMzTnphQzFsWkRJMU5URTVBQUFBSU9EQXdicHlRaVYwb2lyakhxbHIwbitnWDNNVjQwbDBKTmlKdVNDZHdoZ1o= --extra-trusted-public-keys nix-ci-staging:Q5+aawDG0LPCgu1fP9e+9hktvsfSyvu/Xe5PvzTLRVs= --print-build-logs build --no-link git+https://x-access-token:@github.com/sellout/kilns-haskell?ref=renovate%2Flock-file-maintenance&rev=f8a3c8b3c8681e98d93d14d72f8061a5716e3d8e#packages.x86_64-linux.ghc9121_all --post-build-hook /tmp/nix-ci-worker-15dc5eb5d6a0e432/nix-ci-cache-upload.sh 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 these 3 derivations will be built: /nix/store/n1zpa493761ak3lihvqzrkkpgfcrpg3l-kilns-0.0.1.0.drv /nix/store/03m7fgl69qb8fcalvxrgw5n274qq2f86-ghc-9.12.1-with-packages.drv /nix/store/xragxn5h7949da84p46k8sjj3n08fv46-all-packages.drv this path will be fetched (0.32 MiB download, 1.30 MiB unpacked): /nix/store/wrs1dkr0pfxm92c5zxrfyy62ifw61ybm-hscolour-1.25 copying path '/nix/store/wrs1dkr0pfxm92c5zxrfyy62ifw61ybm-hscolour-1.25' from 'https://cache.nix-ci.com'... building '/nix/store/n1zpa493761ak3lihvqzrkkpgfcrpg3l-kilns-0.0.1.0.drv'... kilns> Running phase: setupCompilerEnvironmentPhase kilns> Build with /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1. kilns> Running phase: unpackPhase kilns> unpacking source archive /nix/store/a5wclkcxivbqq3dqsls7sqp5is46dfax-as92x20y8k821p2ij65bjyrn2hryjg1w-source/./core kilns> source root is core kilns> Running phase: patchPhase kilns> Running phase: compileBuildDriverPhase kilns> setupCompileFlags: -package-db=/build/tmp.FjStfTdrMW/setup-package.conf.d -threaded kilns> [1 of 2] Compiling Main ( Setup.hs, /build/tmp.FjStfTdrMW/Main.o ) kilns> [2 of 2] Linking Setup kilns> Running phase: updateAutotoolsGnuConfigScriptsPhase kilns> Running phase: configurePhase kilns> configureFlags: --verbose --prefix=/nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 --with-gcc=gcc --package-db=/build/tmp.FjStfTdrMW/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/vaix9m2syrilm7hv3690plsk35y0arwm-elfutils-0.192/lib --extra-lib-dirs=/nix/store/m9fycbkaairz8kampnsl7sx1aanvl0db-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/lib kilns> Using Parsec parser kilns> Configuring kilns-0.0.1.0... kilns> Warning: Unknown/unsupported 'ghc' version detected (Cabal 3.14.1.0 supports kilns> 'ghc' version < 9.12): kilns> /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/ghc is version kilns> 9.12.1 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.21.0.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.7 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.21.0.0 kilns> Dependency containers >=0.6.7 && <0.8: using containers-0.7 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.21.0.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.24.0 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-5Tr5CFLcmVSFAcoS4zbpLs kilns> include base-4.21.0.0-f068 kilns> include base-unicode-symbols-0.2.4.2-gGoRsH7oVSGBplj2W4o8o kilns> include charset-0.3.12-7RKQM1wOeYpAyI60wQ8469 kilns> include containers-0.7-647d kilns> include multiset-0.3.4.3-1Sk6upGelcVLWr26uVY6b0 kilns> component kilns-0.0.1.0-J0OZvQilytg27wsXZbah3B-kilns kilns> include base-4.21.0.0-f068 kilns> include containers-0.7-647d kilns> include kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> component kilns-0.0.1.0-CyMyuNMVXRa8arRzaS9yok-doctests kilns> include base-4.21.0.0-f068 kilns> include doctest-0.24.0-GGpROyg9TSm1IGZyewuA6E kilns> include kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> Linked component graph: kilns> unit kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> include base-4.21.0.0-f068 kilns> include base-unicode-symbols-0.2.4.2-gGoRsH7oVSGBplj2W4o8o kilns> include charset-0.3.12-7RKQM1wOeYpAyI60wQ8469 kilns> include containers-0.7-647d kilns> include multiset-0.3.4.3-1Sk6upGelcVLWr26uVY6b0 kilns> Language.KellCalculus.AST=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.AST,Language.KellCalculus.ContextBisimulation=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.ContextBisimulation,Language.KellCalculus.ContextualEquivalence=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.ContextualEquivalence,Language.KellCalculus.FraKtal=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.FraKtal,Language.KellCalculus.JKCalculus=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.JKCalculus,Language.KellCalculus.LabeledTransitionSystem=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.LabeledTransitionSystem,Language.KellCalculus.Parser=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.Parser,Language.KellCalculus.PnpJKCalculus=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.PnpJKCalculus,Language.KellCalculus.ReductionSemantics=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Language.KellCalculus.ReductionSemantics,Text.Derp=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Text.Derp,Text.Derp.Unsafe=kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs:Text.Derp.Unsafe kilns> unit kilns-0.0.1.0-J0OZvQilytg27wsXZbah3B-kilns kilns> include base-4.21.0.0-f068 kilns> include containers-0.7-647d kilns> include kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> unit kilns-0.0.1.0-CyMyuNMVXRa8arRzaS9yok-doctests kilns> include base-4.21.0.0-f068 kilns> include doctest-0.24.0-GGpROyg9TSm1IGZyewuA6E kilns> include kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> Ready component graph: kilns> definite kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> depends base-4.21.0.0-f068 kilns> depends base-unicode-symbols-0.2.4.2-gGoRsH7oVSGBplj2W4o8o kilns> depends charset-0.3.12-7RKQM1wOeYpAyI60wQ8469 kilns> depends containers-0.7-647d kilns> depends multiset-0.3.4.3-1Sk6upGelcVLWr26uVY6b0 kilns> definite kilns-0.0.1.0-CyMyuNMVXRa8arRzaS9yok-doctests kilns> depends base-4.21.0.0-f068 kilns> depends doctest-0.24.0-GGpROyg9TSm1IGZyewuA6E kilns> depends kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> definite kilns-0.0.1.0-J0OZvQilytg27wsXZbah3B-kilns kilns> depends base-4.21.0.0-f068 kilns> depends containers-0.7-647d kilns> depends kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> Using Cabal-3.14.1.0 compiled by ghc-9.12 kilns> Using compiler: ghc-9.12.1 kilns> Using install prefix: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 kilns> Executables installed in: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/bin kilns> Libraries installed in: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/lib/ghc-9.12.1/lib/x86_64-linux-ghc-9.12.1-f739/kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> Dynamic Libraries installed in: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/lib/ghc-9.12.1/lib/x86_64-linux-ghc-9.12.1-f739 kilns> Private executables installed in: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.12.1-f739/kilns-0.0.1.0 kilns> Data files installed in: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/share/x86_64-linux-ghc-9.12.1-f739/kilns-0.0.1.0 kilns> Documentation installed in: kilns> /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 kilns> Configuration files installed in: kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-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.24.0 found on system at: kilns> /nix/store/amg85q9l8qqkg4yx9c5bj24p0a5alsb9-doctest-0.24.0/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.12.1 found on system at: kilns> /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/ghc kilns> Using ghc-pkg version 9.12.1 found on system at: kilns> /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/ghc-pkg-9.12.1 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/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/haddock-ghc-9.12.1 kilns> No happy found kilns> No haskell-suite found kilns> No haskell-suite-pkg found kilns> No hmake found kilns> Using hpc version 0.69 found on system at: kilns> /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/hpc-ghc-9.12.1 kilns> Using hsc2hs version 0.68.10 found on system at: kilns> /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/hsc2hs-ghc-9.12.1 kilns> Using hscolour version 1.25 found on system at: kilns> /nix/store/wrs1dkr0pfxm92c5zxrfyy62ifw61ybm-hscolour-1.25/bin/HsColour kilns> No jhc found kilns> Using ld found on system at: kilns> /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/ld kilns> No pkg-config found kilns> Using runghc version 9.12.1 found on system at: kilns> /nix/store/qdyj33aqxlbdbpdzgybsizan6ccgvcc7-ghc-9.12.1/bin/runghc-9.12.1 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> Running 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> 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> kilns> [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.o, dist/build/Text/Derp.dyn_o ) 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> 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> 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 ‘Data.Set.Internal.$fEqSet_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$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.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 ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> 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> 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> 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> 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> [ 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> 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> 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> 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-internal:GHC.Internal.Maybe.$fOrdMaybe_$c>=’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.Maybe.$fOrdMaybe_$c>=’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘ghc-internal:GHC.Internal.Maybe.$fOrdMaybe_$ccompare’ kilns> when specialising ‘Set.insert’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.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-internal:GHC.Internal.Maybe.$fOrdMaybe’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.Maybe.$fOrdMaybe’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-internal:GHC.Internal.Base.$fOrdNonEmpty’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.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> 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> 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> 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> 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> 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> 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> kilns> [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.p_o ) 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> kilns> [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.p_o ) 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> kilns> [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.p_o ) 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 ‘Data.Set.Internal.$fEqSet_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$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.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 ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> kilns> [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.p_o ) 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> kilns> [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.p_o ) 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> [ 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> 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> kilns> [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.p_o ) 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-internal:GHC.Internal.Maybe.$fOrdMaybe_$c>=’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.Maybe.$fOrdMaybe_$c>=’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘ghc-internal:GHC.Internal.Maybe.$fOrdMaybe_$ccompare’ kilns> when specialising ‘Set.insert’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.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-internal:GHC.Internal.Maybe.$fOrdMaybe’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.Maybe.$fOrdMaybe’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-internal:GHC.Internal.Base.$fOrdNonEmpty’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.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> kilns> [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.p_o ) 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> kilns> [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.p_o ) 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> kilns> [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.p_o ) 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> 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> dist/build/doctests/autogen/Build_doctests.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-internal:GHC.Internal.Show.$fShowMaybe_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-internal:GHC.Internal.Show.$fShowMaybe_$cshowsPrec’ kilns> 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> 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> kilns> [2 of 2] Linking dist/build/kilns/kilns kilns> Running phase: checkPhase kilns> Running 1 test suites... kilns> Test suite doctests: RUNNING... 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> 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> Running phase: haddockPhase kilns> Preprocessing library for kilns-0.0.1.0... kilns> Running Haddock on library for kilns-0.0.1.0... kilns> [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, nothing ) [HIE file is missing] 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> kilns> [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, nothing ) [HIE file is missing] kilns> [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, nothing ) [HIE file is missing] 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> [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, nothing ) [HIE file is missing] 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> [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, nothing ) [HIE file is missing] 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> [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, nothing ) [HIE file is missing] kilns> [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, nothing ) [HIE file is missing] kilns> [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, nothing ) [HIE file is missing] kilns> [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, nothing ) [HIE file is missing] kilns> [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, nothing ) [HIE file is missing] kilns> [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, nothing ) [HIE file is missing] kilns> [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, nothing ) [HIE file is missing] 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: 'ter' is out of scope. kilns> If you qualify the identifier, haddock can try to link it anyway. kilns> Warning: '==>' 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> Running phase: installPhase kilns> Installing library in /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/lib/ghc-9.12.1/lib/x86_64-linux-ghc-9.12.1-f739/kilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs kilns> Installing executable kilns in /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/bin kilns> Warning: The directory kilns> /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/bin is not in the kilns> system search path. kilns> Running phase: fixupPhase kilns> shrinking RPATHs of ELF executables and libraries in /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 kilns> shrinking /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/bin/kilns kilns> shrinking /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/lib/ghc-9.12.1/lib/x86_64-linux-ghc-9.12.1-f739/libHSkilns-0.0.1.0-5Tr5CFLcmVSFAcoS4zbpLs-ghc9.12.1.so kilns> checking for references to /build/ in /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0... kilns> patching script interpreter paths in /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 kilns> stripping (with command strip and flags -S -p) in /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/lib /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/bin kilns> shrinking RPATHs of ELF executables and libraries in /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc kilns> checking for references to /build/ in /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc... kilns> patching script interpreter paths in /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc kilns (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc kilns (post)> Pushing 2 paths (76 are already present) using zstd to cache sellout ⏳ kilns (post)> kilns (post)> Pushing /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 (13.82 MiB) kilns (post)> Pushing /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc (3.14 MiB) kilns (post)> kilns (post)> All done. kilns (post)> added 2 signatures kilns (post)> added 229 signatures kilns (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc kilns (post)> copying 2 paths... kilns (post)> copying path '/nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'... kilns (post)> copying path '/nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0' to 'https://cache.nix-ci.com'... kilns (post)> copying 1 paths... kilns (post)> copying path '/nix/store/n1zpa493761ak3lihvqzrkkpgfcrpg3l-kilns-0.0.1.0.drv' to 'https://cache.nix-ci.com'... kilns (post)> added 0 signatures kilns (post)> added 0 signatures kilns (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0 /nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc kilns (post)> copying 2 paths... kilns (post)> copying path '/nix/store/zjw2r0w3qbpqij84q5llkshbrrhv0wx0-kilns-0.0.1.0-doc' to 'ssh-ng://worker.nix-ci.com'... kilns (post)> copying path '/nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0' to 'ssh-ng://worker.nix-ci.com'... kilns (post)> copying 1 paths... kilns (post)> copying path '/nix/store/n1zpa493761ak3lihvqzrkkpgfcrpg3l-kilns-0.0.1.0.drv' to 'ssh-ng://worker.nix-ci.com'... building '/nix/store/03m7fgl69qb8fcalvxrgw5n274qq2f86-ghc-9.12.1-with-packages.drv'... ghc> /nix/store/czfqnd1k6pyp5n2ipgbslv622f3j5ri3-charset-0.3.12/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/czfqnd1k6pyp5n2ipgbslv622f3j5ri3-charset-0.3.12/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/v4aw0hjl21drp5cm9nrj88mc9wbgz9nr-multiset-0.3.4.3/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/v4aw0hjl21drp5cm9nrj88mc9wbgz9nr-multiset-0.3.4.3/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/s5g7jf0nksz7nbzvc6h90wyvxj1nkfiy-unordered-containers-0.2.20/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/s5g7jf0nksz7nbzvc6h90wyvxj1nkfiy-unordered-containers-0.2.20/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/7wy9v1yd358qmbk9ryqb3ki4p7yrxgj2-hashable-1.4.7.0/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/7wy9v1yd358qmbk9ryqb3ki4p7yrxgj2-hashable-1.4.7.0/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/shf1hz9jbw8jn3vwgks3sqz28xgszn0z-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/lvi7g0jsn2d7m7z04cyjw14ir4r3zp9j-ghc-9.12.1-with-packages ghc (post)> Pushing 1 paths (78 are already present) using zstd to cache sellout ⏳ ghc (post)> ghc (post)> Pushing /nix/store/lvi7g0jsn2d7m7z04cyjw14ir4r3zp9j-ghc-9.12.1-with-packages (5.52 MiB) ghc (post)> ghc (post)> All done. ghc (post)> added 1 signatures ghc (post)> added 1 signatures ghc (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/lvi7g0jsn2d7m7z04cyjw14ir4r3zp9j-ghc-9.12.1-with-packages ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/lvi7g0jsn2d7m7z04cyjw14ir4r3zp9j-ghc-9.12.1-with-packages' to 'https://cache.nix-ci.com'... ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/03m7fgl69qb8fcalvxrgw5n274qq2f86-ghc-9.12.1-with-packages.drv' to 'https://cache.nix-ci.com'... ghc (post)> added 0 signatures ghc (post)> added 0 signatures ghc (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/lvi7g0jsn2d7m7z04cyjw14ir4r3zp9j-ghc-9.12.1-with-packages ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/lvi7g0jsn2d7m7z04cyjw14ir4r3zp9j-ghc-9.12.1-with-packages' to 'ssh-ng://worker.nix-ci.com'... ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/03m7fgl69qb8fcalvxrgw5n274qq2f86-ghc-9.12.1-with-packages.drv' to 'ssh-ng://worker.nix-ci.com'... building '/nix/store/xragxn5h7949da84p46k8sjj3n08fv46-all-packages.drv'... all-packages> created 3 symlinks in user environment all-packages (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/mbmf2dqrb04dbfdbpc0fr0hgph7csbva-all-packages all-packages (post)> Pushing 1 paths (79 are already present) using zstd to cache sellout ⏳ all-packages (post)> all-packages (post)> Pushing /nix/store/mbmf2dqrb04dbfdbpc0fr0hgph7csbva-all-packages (872.00 B) all-packages (post)> all-packages (post)> All done. all-packages (post)> added 1 signatures all-packages (post)> added 1 signatures all-packages (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/mbmf2dqrb04dbfdbpc0fr0hgph7csbva-all-packages all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/mbmf2dqrb04dbfdbpc0fr0hgph7csbva-all-packages' to 'https://cache.nix-ci.com'... all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/xragxn5h7949da84p46k8sjj3n08fv46-all-packages.drv' to 'https://cache.nix-ci.com'... all-packages (post)> added 0 signatures all-packages (post)> added 0 signatures all-packages (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/mbmf2dqrb04dbfdbpc0fr0hgph7csbva-all-packages all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/mbmf2dqrb04dbfdbpc0fr0hgph7csbva-all-packages' to 'ssh-ng://worker.nix-ci.com'... all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/xragxn5h7949da84p46k8sjj3n08fv46-all-packages.drv' to 'ssh-ng://worker.nix-ci.com'...