$ /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-f7343bb980e666d5/cachix-66e35fca272a9053/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-f7343bb980e666d5/nix-ci-cache-6b9c50448ec333f6/netrc --extra-substituters ssh-ng://worker.nix-ci.com?ssh-key=/tmp/nix-ci-worker-f7343bb980e666d5/ssh-key-2d1691512bec535a/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=98d2df2a06f3f1640edfb84b682051b90c7d4fd0#packages.x86_64-linux.ghc9101_all --post-build-hook /tmp/nix-ci-worker-f7343bb980e666d5/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/winf7xw6lkjnpddgvaayl61z5lj7z1yg-kilns-0.0.1.0.drv /nix/store/bvgd0mgmh11y2z5b12cw5n67z8vn4pmz-ghc-9.10.1-with-packages.drv /nix/store/xv0znvv7g1i4miz7lfbfsl9qyi0zsmm9-all-packages.drv building '/nix/store/winf7xw6lkjnpddgvaayl61z5lj7z1yg-kilns-0.0.1.0.drv'... kilns> Running phase: setupCompilerEnvironmentPhase kilns> Build with /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1. kilns> Running phase: unpackPhase kilns> unpacking source archive /nix/store/wqh3asci07zg7j0p5vlxhml18690lsrm-ybcivyqps4z90drxpc6nxi20bxfpyqm3-source/./core kilns> source root is core kilns> Running phase: patchPhase kilns> Running phase: compileBuildDriverPhase kilns> setupCompileFlags: -package-db=/build/tmp.AuFGsk9hvq/setup-package.conf.d -threaded kilns> [1 of 2] Compiling Main ( Setup.hs, /build/tmp.AuFGsk9hvq/Main.o ) kilns> [2 of 2] Linking Setup kilns> Running phase: updateAutotoolsGnuConfigScriptsPhase kilns> Running phase: configurePhase kilns> configureFlags: --verbose --prefix=/nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 --with-gcc=gcc --package-db=/build/tmp.AuFGsk9hvq/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/yw7vb4hamv9mqgbgf7598zvis7k2spyx-ncurses-6.5/lib --extra-lib-dirs=/nix/store/adfh8p731fy9iahv0mccbx0is6i96diy-libffi-3.4.8/lib --extra-lib-dirs=/nix/store/vf3hfbbl7h32axb73fa2b0dbqg0gmjgi-elfutils-0.192/lib --extra-lib-dirs=/nix/store/wx2hkwfpc39ixyww2hai0v697zzrpbxr-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/lib kilns> Using Parsec parser kilns> Configuring kilns-0.0.1.0... kilns> Flags chosen: noisy-deprecations=True kilns> Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || kilns> >=4.21.0 && <4.22: using base-4.20.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.20.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.20.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.22.6 kilns> Dependency kilns: using kilns-0.0.1.0 kilns> Source component graph: kilns> component lib kilns> component exe:kilns dependency lib kilns> component test:doctests dependency lib kilns> Configured component graph: kilns> component kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> include base-4.20.0.0-7cbb kilns> include base-unicode-symbols-0.2.4.2-B01d63d6n2V67dlrZbT2Wa kilns> include charset-0.3.12-D3EXZtoh4raI9pFj5akkdM kilns> include containers-0.7-85db kilns> include multiset-0.3.4.3-47ah7N0hHs1IxAHexPZpkK kilns> component kilns-0.0.1.0-3Cl99qh2oWbeybzKa05gY-kilns kilns> include base-4.20.0.0-7cbb kilns> include containers-0.7-85db kilns> include kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> component kilns-0.0.1.0-4oiiIRTyBRsK8nV4hmuPFv-doctests kilns> include base-4.20.0.0-7cbb kilns> include doctest-0.22.6-EuYimPyXV5VFOI65ImznX9 kilns> include kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> Linked component graph: kilns> unit kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> include base-4.20.0.0-7cbb kilns> include base-unicode-symbols-0.2.4.2-B01d63d6n2V67dlrZbT2Wa kilns> include charset-0.3.12-D3EXZtoh4raI9pFj5akkdM kilns> include containers-0.7-85db kilns> include multiset-0.3.4.3-47ah7N0hHs1IxAHexPZpkK kilns> Language.KellCalculus.AST=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.AST,Language.KellCalculus.ContextBisimulation=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.ContextBisimulation,Language.KellCalculus.ContextualEquivalence=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.ContextualEquivalence,Language.KellCalculus.FraKtal=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.FraKtal,Language.KellCalculus.JKCalculus=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.JKCalculus,Language.KellCalculus.LabeledTransitionSystem=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.LabeledTransitionSystem,Language.KellCalculus.Parser=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.Parser,Language.KellCalculus.PnpJKCalculus=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.PnpJKCalculus,Language.KellCalculus.ReductionSemantics=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Language.KellCalculus.ReductionSemantics,Text.Derp=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Text.Derp,Text.Derp.Unsafe=kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn:Text.Derp.Unsafe kilns> unit kilns-0.0.1.0-3Cl99qh2oWbeybzKa05gY-kilns kilns> include base-4.20.0.0-7cbb kilns> include containers-0.7-85db kilns> include kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> unit kilns-0.0.1.0-4oiiIRTyBRsK8nV4hmuPFv-doctests kilns> include base-4.20.0.0-7cbb kilns> include doctest-0.22.6-EuYimPyXV5VFOI65ImznX9 kilns> include kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> Ready component graph: kilns> definite kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> depends base-4.20.0.0-7cbb kilns> depends base-unicode-symbols-0.2.4.2-B01d63d6n2V67dlrZbT2Wa kilns> depends charset-0.3.12-D3EXZtoh4raI9pFj5akkdM kilns> depends containers-0.7-85db kilns> depends multiset-0.3.4.3-47ah7N0hHs1IxAHexPZpkK kilns> definite kilns-0.0.1.0-4oiiIRTyBRsK8nV4hmuPFv-doctests kilns> depends base-4.20.0.0-7cbb kilns> depends doctest-0.22.6-EuYimPyXV5VFOI65ImznX9 kilns> depends kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> definite kilns-0.0.1.0-3Cl99qh2oWbeybzKa05gY-kilns kilns> depends base-4.20.0.0-7cbb kilns> depends containers-0.7-85db kilns> depends kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> Using Cabal-3.12.0.0 compiled by ghc-9.10 kilns> Using compiler: ghc-9.10.1 kilns> Using install prefix: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 kilns> Executables installed in: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/bin kilns> Libraries installed in: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/lib/ghc-9.10.1/lib/x86_64-linux-ghc-9.10.1-890c/kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> Dynamic Libraries installed in: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/lib/ghc-9.10.1/lib/x86_64-linux-ghc-9.10.1-890c kilns> Private executables installed in: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.10.1-890c/kilns-0.0.1.0 kilns> Data files installed in: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/share/x86_64-linux-ghc-9.10.1-890c/kilns-0.0.1.0 kilns> Documentation installed in: kilns> /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 kilns> Configuration files installed in: kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/etc kilns> No alex found kilns> Using ar found on system at: kilns> /nix/store/87zpmcmwvn48z4lbrfba74b312h22s6c-binutils-wrapper-2.44/bin/ar kilns> No c2hs found kilns> No cpphs found kilns> Using doctest version 0.22.6 found on system at: kilns> /nix/store/053gdhlddvcxxyzdw5s1r6mgx7lq4zkg-doctest-0.22.6/bin/doctest kilns> Using gcc version 14.3.0 given by user at: kilns> /nix/store/kaj8d1zcn149m40s9h0xi0khakibiphz-gcc-wrapper-14.3.0/bin/gcc kilns> Using ghc version 9.10.1 found on system at: kilns> /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/bin/ghc kilns> Using ghc-pkg version 9.10.1 found on system at: kilns> /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/bin/ghc-pkg-9.10.1 kilns> No ghcjs found kilns> No ghcjs-pkg found kilns> No greencard found kilns> Using haddock version 2.28.0 found on system at: kilns> /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/bin/haddock-ghc-9.10.1 kilns> No happy found kilns> Using haskell-suite found on system at: haskell-suite-dummy-location kilns> Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location kilns> No hmake found kilns> Using hpc version 0.69 found on system at: kilns> /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/bin/hpc-ghc-9.10.1 kilns> Using hsc2hs version 0.68.10 found on system at: kilns> /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/bin/hsc2hs-ghc-9.10.1 kilns> Using hscolour version 1.25 found on system at: kilns> /nix/store/y5vyrypihjm66zfnfllqsvrxppjzc28k-hscolour-1.25/bin/HsColour kilns> No jhc found kilns> Using ld found on system at: kilns> /nix/store/kaj8d1zcn149m40s9h0xi0khakibiphz-gcc-wrapper-14.3.0/bin/ld kilns> No pkg-config found kilns> Using runghc version 9.10.1 found on system at: kilns> /nix/store/yrwckmy08c6y3cbg4d1h9c6z7s0g4f7n-ghc-9.10.1/bin/runghc-9.10.1 kilns> Using strip version 2.44 found on system at: kilns> /nix/store/kaj8d1zcn149m40s9h0xi0khakibiphz-gcc-wrapper-14.3.0/bin/strip kilns> Using tar found on system at: kilns> /nix/store/w60s4xh1pjg6dwbw7j0b4xzlpp88q5qg-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 ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> 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> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> 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 ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> 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> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> 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> [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 ) 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 ) kilns> [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, nothing ) 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 ) 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 ) 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 ) kilns> [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, nothing ) kilns> [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, nothing ) kilns> [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, nothing ) kilns> [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, nothing ) kilns> [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, nothing ) kilns> [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, nothing ) kilns> Haddock coverage: kilns> 50% ( 11 / 22) in 'Text.Derp' kilns> Missing documentation for: kilns> Module header kilns> ParserRec (src/Text/Derp.hs:60) kilns> ContextR (src/Text/Derp.hs:70) kilns> Token (src/Text/Derp.hs:80) kilns> ParserRecType (src/Text/Derp.hs:113) kilns> FPValue (src/Text/Derp.hs:126) kilns> xsIn (src/Text/Derp.hs:132) kilns> parensIn (src/Text/Derp.hs:135) kilns> ambIn (src/Text/Derp.hs:138) kilns> sexpIn (src/Text/Derp.hs:141) kilns> someStuff (src/Text/Derp.hs:155) kilns> 5% ( 1 / 19) in 'Language.KellCalculus.AST' kilns> Missing documentation for: kilns> Module header kilns> Process (src/Language/KellCalculus/AST.hs:85) kilns> AnnotatedMessage (src/Language/KellCalculus/AST.hs:170) kilns> Substitution (src/Language/KellCalculus/AST.hs:266) kilns> Variable (src/Language/KellCalculus/AST.hs:80) kilns> Name (src/Language/KellCalculus/AST.hs:69) kilns> NQTerm (src/Language/KellCalculus/AST.hs:59) kilns> ProtoTerm (src/Language/KellCalculus/AST.hs:62) kilns> Term (src/Language/KellCalculus/AST.hs:66) kilns> MultiSettable (src/Language/Common/SetLike.hs:47) kilns> Pattern (src/Language/KellCalculus/AST.hs:269) kilns> AnyContext (src/Language/KellCalculus/AST.hs:197) kilns> Hole (src/Language/KellCalculus/AST.hs:200) kilns> match (src/Language/KellCalculus/AST.hs:296) kilns> combine (src/Language/KellCalculus/AST.hs:281) kilns> substitute (src/Language/KellCalculus/AST.hs:319) kilns> toAnnotatedMessages (src/Language/KellCalculus/AST.hs:285) kilns> chooseSubstitution (src/Language/KellCalculus/AST.hs:342) kilns> 50% ( 4 / 8) in 'Language.KellCalculus.ReductionSemantics' kilns> Missing documentation for: kilns> Module header kilns> ↝ (src/Language/KellCalculus/ReductionSemantics.hs:46) kilns> subReduce (src/Language/KellCalculus/ReductionSemantics.hs:69) kilns> reduce (src/Language/KellCalculus/ReductionSemantics.hs:158) kilns> 0% ( 0 / 9) in 'Language.KellCalculus.LabeledTransitionSystem' kilns> Missing documentation for: kilns> Module header kilns> Concretion (src/Language/KellCalculus/LabeledTransitionSystem.hs:57) kilns> SimpleAbstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:98) kilns> Abstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:103) kilns> Action (src/Language/KellCalculus/LabeledTransitionSystem.hs:142) kilns> Agent (src/Language/KellCalculus/LabeledTransitionSystem.hs:163) kilns> compose (src/Language/KellCalculus/LabeledTransitionSystem.hs:191) kilns> papp (src/Language/KellCalculus/LabeledTransitionSystem.hs:207) kilns> commit (src/Language/KellCalculus/LabeledTransitionSystem.hs:239) kilns> 0% ( 0 / 2) in 'Language.KellCalculus.ContextualEquivalence' kilns> Missing documentation for: kilns> Module header kilns> ↓ (src/Language/KellCalculus/ContextualEquivalence.hs:15) kilns> 0% ( 0 / 2) in 'Language.KellCalculus.ContextBisimulation' kilns> Missing documentation for: kilns> Module header kilns> isClosed (src/Language/KellCalculus/ContextBisimulation.hs:12) kilns> Warning: '==>' is out of scope. kilns> If you qualify the identifier, haddock can try to link it anyway. kilns> Warning: 'ter' is out of scope. kilns> If you qualify the identifier, haddock can try to link it anyway. kilns> Warning: 'eps' is out of scope. kilns> If you qualify the identifier, haddock can try to link it anyway. kilns> 55% ( 25 / 45) in 'Text.Derp.Unsafe' kilns> Missing documentation for: kilns> Module header kilns> Token (src/Text/Derp.hs:80) kilns> terS (src/Text/Derp/Unsafe.hs:206) kilns> star1 (src/Text/Derp/Unsafe.hs:198) kilns> option (src/Text/Derp/Unsafe.hs:201) kilns> runParseStagesNum (src/Text/Derp/Unsafe.hs:371) kilns> runParseStages (src/Text/Derp/Unsafe.hs:378) kilns> runParseLongestMatchNum (src/Text/Derp/Unsafe.hs:386) kilns> runParseLongestMatch (src/Text/Derp/Unsafe.hs:396) kilns> xsR (src/Text/Derp/Unsafe.hs:594) kilns> xsL (src/Text/Derp/Unsafe.hs:599) kilns> xsIn (src/Text/Derp.hs:132) kilns> parens (src/Text/Derp/Unsafe.hs:604) kilns> parensIn (src/Text/Derp.hs:135) kilns> amb (src/Text/Derp/Unsafe.hs:611) kilns> ambIn (src/Text/Derp.hs:138) kilns> sexp (src/Text/Derp/Unsafe.hs:619) kilns> sexpIn (src/Text/Derp.hs:141) kilns> someStuff (src/Text/Derp.hs:155) kilns> someStuffG (src/Text/Derp/Unsafe.hs:627) kilns> 5% ( 1 / 20) in 'Language.KellCalculus.Parser' kilns> Missing documentation for: kilns> Module header kilns> process (src/Language/KellCalculus/Parser.hs:242) kilns> name (src/Language/KellCalculus/Parser.hs:176) kilns> variable (src/Language/KellCalculus/Parser.hs:182) kilns> identifier (src/Language/KellCalculus/Parser.hs:158) kilns> startKellTok (src/Language/KellCalculus/Parser.hs:122) kilns> endKellTok (src/Language/KellCalculus/Parser.hs:125) kilns> startMessageTok (src/Language/KellCalculus/Parser.hs:128) kilns> endMessageTok (src/Language/KellCalculus/Parser.hs:131) kilns> startFormTok (src/Language/KellCalculus/Parser.hs:134) kilns> endFormTok (src/Language/KellCalculus/Parser.hs:137) kilns> parTok (src/Language/KellCalculus/Parser.hs:140) kilns> nullTok (src/Language/KellCalculus/Parser.hs:149) kilns> bindingTok (src/Language/KellCalculus/Parser.hs:155) kilns> >~< (src/Language/KellCalculus/Parser.hs:102) kilns> |~| (src/Language/KellCalculus/Parser.hs:106) kilns> starw (src/Language/KellCalculus/Parser.hs:116) kilns> star1w (src/Language/KellCalculus/Parser.hs:119) kilns> SexpSyntax (src/Language/KellCalculus/Parser.hs:167) kilns> 0% ( 0 / 1) in 'Language.KellCalculus.PnpJKCalculus' kilns> Missing documentation for: kilns> Module header kilns> 0% ( 0 / 4) in 'Language.KellCalculus.JKCalculus' kilns> Missing documentation for: kilns> Module header kilns> JKPattern (src/Language/KellCalculus/JKCalculus.hs:105) kilns> J (src/Language/KellCalculus/JKCalculus.hs:60) kilns> KellMessage (src/Language/KellCalculus/JKCalculus.hs:93) kilns> 25% ( 1 / 4) in 'Language.KellCalculus.FraKtal' kilns> Missing documentation for: kilns> FraKtal (src/Language/KellCalculus/FraKtal.hs:201) kilns> J (src/Language/KellCalculus/FraKtal.hs:156) kilns> KellMessage (src/Language/KellCalculus/FraKtal.hs:189) kilns> Warning: Language.KellCalculus.Parser: could not find link destinations for: kilns> - Language.KellCalculus.Parser.parallelComposition kilns> Documentation created: dist/doc/html/kilns/, dist/doc/html/kilns/kilns.txt kilns> Preprocessing test suite 'doctests' for kilns-0.0.1.0... kilns> Preprocessing executable 'kilns' for kilns-0.0.1.0... kilns> Running phase: installPhase kilns> Installing library in /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/lib/ghc-9.10.1/lib/x86_64-linux-ghc-9.10.1-890c/kilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn kilns> Installing executable kilns in /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/bin kilns> Warning: The directory kilns> /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-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/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 kilns> shrinking /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/lib/ghc-9.10.1/lib/x86_64-linux-ghc-9.10.1-890c/libHSkilns-0.0.1.0-IunKRWLt1nl4gtc6LSKFKn-ghc9.10.1.so kilns> shrinking /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/bin/kilns kilns> checking for references to /build/ in /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0... kilns> patching script interpreter paths in /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 kilns> stripping (with command strip and flags -S -p) in /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/lib /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/bin kilns> shrinking RPATHs of ELF executables and libraries in /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc kilns> checking for references to /build/ in /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc... kilns> patching script interpreter paths in /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc kilns (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 kilns (post)> Pushing 2 paths (76 are already present) using zstd to cache sellout ⏳ kilns (post)> kilns (post)> Pushing /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc (3.15 MiB) kilns (post)> Pushing /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 (14.71 MiB) kilns (post)> kilns (post)> All done. kilns (post)> added 2 signatures kilns (post)> added 1 signatures kilns (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 kilns (post)> copying 2 paths... kilns (post)> copying path '/nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'... kilns (post)> copying path '/nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0' to 'https://cache.nix-ci.com'... kilns (post)> copying 1 paths... kilns (post)> copying path '/nix/store/winf7xw6lkjnpddgvaayl61z5lj7z1yg-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/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0 kilns (post)> copying 2 paths... kilns (post)> copying path '/nix/store/9fc8nj8j1w1my0j1pxi6w2ijdlsz417n-kilns-0.0.1.0-doc' to 'ssh-ng://worker.nix-ci.com'... kilns (post)> copying path '/nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0' to 'ssh-ng://worker.nix-ci.com'... kilns (post)> copying 1 paths... kilns (post)> copying path '/nix/store/winf7xw6lkjnpddgvaayl61z5lj7z1yg-kilns-0.0.1.0.drv' to 'ssh-ng://worker.nix-ci.com'... building '/nix/store/bvgd0mgmh11y2z5b12cw5n67z8vn4pmz-ghc-9.10.1-with-packages.drv'... ghc> /nix/store/laa46idcnb52msakfqcfvhba760vd2qp-charset-0.3.12/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/laa46idcnb52msakfqcfvhba760vd2qp-charset-0.3.12/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/cha0z7za7h8108rh5ban0vzw7xrcs005-multiset-0.3.4.3/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/cha0z7za7h8108rh5ban0vzw7xrcs005-multiset-0.3.4.3/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/yisv556n8qbkhfp6cicysj9amvkq0vxk-unordered-containers-0.2.20/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/yisv556n8qbkhfp6cicysj9amvkq0vxk-unordered-containers-0.2.20/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/7a21ps2i87wnqdsby71fz5isy3q6c40x-hashable-1.4.7.0/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/7a21ps2i87wnqdsby71fz5isy3q6c40x-hashable-1.4.7.0/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/ayxy1jwd7r24kyaa2q08agmkdwfpfqq8-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> Warning: include-dirs: /nix/store/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages/lib/ghc-9.10.1/lib/../lib/x86_64-linux-ghc-9.10.1/directory-1.3.8.3-ded5/include doesn't exist or isn't a directory ghc (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages ghc (post)> Pushing 2 paths (77 are already present) using zstd to cache sellout ⏳ ghc (post)> ghc (post)> Pushing /nix/store/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages (4.51 MiB) ghc (post)> Pushing /nix/store/srjwrr5y5lpyw92ka48iairjjr5shb80-mpfr-4.2.2 (803.51 KiB) 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/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages' to 'https://cache.nix-ci.com'... ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/bvgd0mgmh11y2z5b12cw5n67z8vn4pmz-ghc-9.10.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/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/3sqchd9pc6asan592m8yyc8bmq095d55-ghc-9.10.1-with-packages' to 'ssh-ng://worker.nix-ci.com'... ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/bvgd0mgmh11y2z5b12cw5n67z8vn4pmz-ghc-9.10.1-with-packages.drv' to 'ssh-ng://worker.nix-ci.com'... building '/nix/store/xv0znvv7g1i4miz7lfbfsl9qyi0zsmm9-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/iga3nxz4g9gv3g629lcba4ixfbpx6llz-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/iga3nxz4g9gv3g629lcba4ixfbpx6llz-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/iga3nxz4g9gv3g629lcba4ixfbpx6llz-all-packages all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/iga3nxz4g9gv3g629lcba4ixfbpx6llz-all-packages' to 'https://cache.nix-ci.com'... all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/xv0znvv7g1i4miz7lfbfsl9qyi0zsmm9-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/iga3nxz4g9gv3g629lcba4ixfbpx6llz-all-packages all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/iga3nxz4g9gv3g629lcba4ixfbpx6llz-all-packages' to 'ssh-ng://worker.nix-ci.com'... all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/xv0znvv7g1i4miz7lfbfsl9qyi0zsmm9-all-packages.drv' to 'ssh-ng://worker.nix-ci.com'...