$ /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-c8153945788a0071/cachix-2a20d15c5c2c0135/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-c8153945788a0071/nix-ci-cache-67a86213d5edd46f/netrc --extra-substituters ssh-ng://worker.nix-ci.com?ssh-key=/tmp/nix-ci-worker-c8153945788a0071/ssh-key-d8f21874137e7ba4/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.ghc963_all --post-build-hook /tmp/nix-ci-worker-c8153945788a0071/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/bykd2lzc6i67wpwn4h2i1zl2klk8v1qf-kilns-0.0.1.0.drv /nix/store/9qdlx707lwifriraiaicla6v8sgsykqz-ghc-9.6.3-with-packages.drv /nix/store/gzcnyq0rrp391kyb66hg6pc42hkcisjk-all-packages.drv building '/nix/store/bykd2lzc6i67wpwn4h2i1zl2klk8v1qf-kilns-0.0.1.0.drv'... kilns> Running phase: setupCompilerEnvironmentPhase kilns> Build with /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3. 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.D0ULXhhyfl/setup-package.conf.d -threaded kilns> [1 of 2] Compiling Main ( Setup.hs, /build/tmp.D0ULXhhyfl/Main.o ) kilns> [2 of 2] Linking Setup kilns> Running phase: updateAutotoolsGnuConfigScriptsPhase kilns> Running phase: configurePhase kilns> configureFlags: --verbose --prefix=/nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 --with-gcc=gcc --package-db=/build/tmp.D0ULXhhyfl/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/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/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.18.1.0 kilns> Dependency base-unicode-symbols >=0.2.2 && <0.3: using kilns> base-unicode-symbols-0.2.4.2 kilns> Dependency charset >=0.3.9 && <0.4: using charset-0.3.12 kilns> Dependency containers >=0.6.7 && <0.8: using containers-0.6.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.18.1.0 kilns> Dependency containers >=0.6.7 && <0.8: using containers-0.6.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.18.1.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-DpHB8vfAPCQ3hFXCt2qfYK kilns> include base-4.18.1.0 kilns> include base-unicode-symbols-0.2.4.2-IH65XH75W535wXi2lZ1HnO kilns> include charset-0.3.12-HcwIqgbGtt44OpCaaUboz9 kilns> include containers-0.6.7 kilns> include multiset-0.3.4.3-6HvwbMOAaeu7TZKnA9GuTi kilns> component kilns-0.0.1.0-JjpuuSXMrsf9COYE9EKov0-kilns kilns> include base-4.18.1.0 kilns> include containers-0.6.7 kilns> include kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> component kilns-0.0.1.0-ZktzsSR3OOIgBDg2EJX9e-doctests kilns> include base-4.18.1.0 kilns> include doctest-0.22.6-DBfUrtlIshj8Md6OAzYGEC kilns> include kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> Linked component graph: kilns> unit kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> include base-4.18.1.0 kilns> include base-unicode-symbols-0.2.4.2-IH65XH75W535wXi2lZ1HnO kilns> include charset-0.3.12-HcwIqgbGtt44OpCaaUboz9 kilns> include containers-0.6.7 kilns> include multiset-0.3.4.3-6HvwbMOAaeu7TZKnA9GuTi kilns> Language.KellCalculus.AST=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.AST,Language.KellCalculus.ContextBisimulation=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.ContextBisimulation,Language.KellCalculus.ContextualEquivalence=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.ContextualEquivalence,Language.KellCalculus.FraKtal=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.FraKtal,Language.KellCalculus.JKCalculus=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.JKCalculus,Language.KellCalculus.LabeledTransitionSystem=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.LabeledTransitionSystem,Language.KellCalculus.Parser=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.Parser,Language.KellCalculus.PnpJKCalculus=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.PnpJKCalculus,Language.KellCalculus.ReductionSemantics=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Language.KellCalculus.ReductionSemantics,Text.Derp=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Text.Derp,Text.Derp.Unsafe=kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK:Text.Derp.Unsafe kilns> unit kilns-0.0.1.0-JjpuuSXMrsf9COYE9EKov0-kilns kilns> include base-4.18.1.0 kilns> include containers-0.6.7 kilns> include kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> unit kilns-0.0.1.0-ZktzsSR3OOIgBDg2EJX9e-doctests kilns> include base-4.18.1.0 kilns> include doctest-0.22.6-DBfUrtlIshj8Md6OAzYGEC kilns> include kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> Ready component graph: kilns> definite kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> depends base-4.18.1.0 kilns> depends base-unicode-symbols-0.2.4.2-IH65XH75W535wXi2lZ1HnO kilns> depends charset-0.3.12-HcwIqgbGtt44OpCaaUboz9 kilns> depends containers-0.6.7 kilns> depends multiset-0.3.4.3-6HvwbMOAaeu7TZKnA9GuTi kilns> definite kilns-0.0.1.0-JjpuuSXMrsf9COYE9EKov0-kilns kilns> depends base-4.18.1.0 kilns> depends containers-0.6.7 kilns> depends kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> definite kilns-0.0.1.0-ZktzsSR3OOIgBDg2EJX9e-doctests kilns> depends base-4.18.1.0 kilns> depends doctest-0.22.6-DBfUrtlIshj8Md6OAzYGEC kilns> depends kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> Using Cabal-3.10.1.0 compiled by ghc-9.6 kilns> Using compiler: ghc-9.6.3 kilns> Using install prefix: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 kilns> Executables installed in: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/bin kilns> Libraries installed in: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/lib/ghc-9.6.3/lib/x86_64-linux-ghc-9.6.3/kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> Dynamic Libraries installed in: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/lib/ghc-9.6.3/lib/x86_64-linux-ghc-9.6.3 kilns> Private executables installed in: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.6.3/kilns-0.0.1.0 kilns> Data files installed in: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/share/x86_64-linux-ghc-9.6.3/kilns-0.0.1.0 kilns> Documentation installed in: kilns> /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 kilns> Configuration files installed in: kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-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/rkcxnqrvg743aglg8vkqy0vn1ylfh0r9-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.6.3 found on system at: kilns> /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/bin/ghc kilns> Using ghc-pkg version 9.6.3 found on system at: kilns> /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/bin/ghc-pkg-9.6.3 kilns> No ghcjs found kilns> No ghcjs-pkg found kilns> No greencard found kilns> Using haddock version 2.29.1 found on system at: kilns> /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/bin/haddock-ghc-9.6.3 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.68 found on system at: kilns> /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/bin/hpc-ghc-9.6.3 kilns> Using hsc2hs version 0.68.9 found on system at: kilns> /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/bin/hsc2hs-ghc-9.6.3 kilns> Using hscolour version 1.25 found on system at: kilns> /nix/store/s7zghqqjhw73n7zzski9hyx8f25l0lsj-hscolour-1.25/bin/HsColour kilns> No jhc found kilns> Using ld found on system at: kilns> /nix/store/87zpmcmwvn48z4lbrfba74b312h22s6c-binutils-wrapper-2.44/bin/ld.gold kilns> No pkg-config found kilns> Using runghc version 9.6.3 found on system at: kilns> /nix/store/8hl899cpl5zayg58p0lmdq1pwa90d37v-ghc-9.6.3/bin/runghc-9.6.3 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> kilns> src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module kilns> | kilns> 15 | import Data.Bool.Unicode ((∧)) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module kilns> | kilns> 16 | import Data.Foldable.Unicode ((∈), (∉)) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 17 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.o, dist/build/Text/Derp.dyn_o ) kilns> kilns> src/Text/Derp.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.o, dist/build/Language/KellCalculus/AST.dyn_o ) kilns> kilns> src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 42 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.o, dist/build/Language/KellCalculus/ReductionSemantics.dyn_o ) kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 24 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a) md, kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b) m) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.o, dist/build/Language/KellCalculus/LabeledTransitionSystem.dyn_o ) kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 30 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a) mm) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 246 | then case (k /↝) of kilns> | ^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 272 | case (k /↝) of kilns> | ^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 282 | (\(LocalMessage c s) -> DownMessage c s a) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 296 | case (par /↝) of kilns> | ^^^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 305 | case (par /↝) of kilns> | ^^^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’ kilns> when specialising ‘Data.Map.Strict.Internal.insertWithKey’ kilns> when specialising ‘Data.Map.Strict.Internal.fromListWithKey’ kilns> when specialising ‘Data.Map.Strict.Internal.mapKeysWith’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ kilns> Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.o, dist/build/Language/KellCalculus/ContextualEquivalence.dyn_o ) kilns> [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.o, dist/build/Language/KellCalculus/ContextBisimulation.dyn_o ) kilns> [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.o, dist/build/Text/Derp/Unsafe.dyn_o ) kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$WTer’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’ kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$WCon’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’ kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ 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: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$WEmp’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEmp’ kilns> kilns> src/Text/Derp/Unsafe.hs: warning: [-Wmissed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’ kilns> when specialising ‘Map.insert’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’ kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$fOrdToken’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’ kilns> [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.o, dist/build/Language/KellCalculus/Parser.dyn_o ) kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’ kilns> when specialising ‘Set.insert’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star’ kilns> Probable fix: add INLINABLE pragma on ‘star’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1’ kilns> Probable fix: add INLINABLE pragma on ‘star1’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Ter’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.o, dist/build/Language/KellCalculus/PnpJKCalculus.dyn_o ) kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘|~|’ kilns> Probable fix: add INLINABLE pragma on ‘|~|’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘>~<’ kilns> Probable fix: add INLINABLE pragma on ‘>~<’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1w’ kilns> Probable fix: add INLINABLE pragma on ‘star1w’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘toAnnotatedMessages’ kilns> Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘match’ kilns> Probable fix: add INLINABLE pragma on ‘match’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Ter’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.o, dist/build/Language/KellCalculus/JKCalculus.dyn_o ) kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘|~|’ kilns> Probable fix: add INLINABLE pragma on ‘|~|’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘>~<’ kilns> Probable fix: add INLINABLE pragma on ‘>~<’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1w’ kilns> Probable fix: add INLINABLE pragma on ‘star1w’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.o, dist/build/Language/KellCalculus/FraKtal.dyn_o ) kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘|~|’ kilns> Probable fix: add INLINABLE pragma on ‘|~|’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘>~<’ kilns> Probable fix: add INLINABLE pragma on ‘>~<’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Ter’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1w’ kilns> Probable fix: add INLINABLE pragma on ‘star1w’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘toAnnotatedMessages’ kilns> Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘match’ kilns> Probable fix: add INLINABLE pragma on ‘match’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.p_o ) kilns> kilns> src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module kilns> | kilns> 15 | import Data.Bool.Unicode ((∧)) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module kilns> | kilns> 16 | import Data.Foldable.Unicode ((∈), (∉)) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 17 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.p_o ) kilns> kilns> src/Text/Derp.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.p_o ) kilns> kilns> src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 42 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> kilns> src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ kilns> [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.p_o ) kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 24 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a) md, kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b) m) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.p_o ) kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 30 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a) mm) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 246 | then case (k /↝) of kilns> | ^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 272 | case (k /↝) of kilns> | ^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a lambda abstraction: kilns> Patterns of type ‘AnnotatedMessage ξ’ not matched: kilns> UpMessage _ _ _ kilns> DownMessage _ _ _ kilns> KellMessage _ _ kilns> | kilns> 282 | (\(LocalMessage c s) -> DownMessage c s a) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 296 | case (par /↝) of kilns> | ^^^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning: [GHC-62161] [-Wincomplete-patterns] kilns> Pattern match(es) are non-exhaustive kilns> In a case alternative: kilns> Patterns of type ‘Process ξ’ not matched: kilns> NullProcess kilns> Language.KellCalculus.AST.ProcessVariable _ kilns> Trigger _ _ kilns> Restriction _ _ kilns> ... kilns> | kilns> 305 | case (par /↝) of kilns> | ^^^^^^^^^^^^^^^^... kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’ kilns> when specialising ‘Data.Map.Strict.Internal.insertWithKey’ kilns> when specialising ‘Data.Map.Strict.Internal.fromListWithKey’ kilns> when specialising ‘Data.Map.Strict.Internal.mapKeysWith’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ kilns> Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ kilns> [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.p_o ) kilns> [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.p_o ) kilns> [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.p_o ) kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$WCon’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’ kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$WRed’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’ kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ 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: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$WEmp’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEmp’ kilns> kilns> src/Text/Derp/Unsafe.hs: warning: [-Wmissed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’ kilns> when specialising ‘Map.insert’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’ kilns> kilns> src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.$fOrdToken’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’ kilns> [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.p_o ) kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] kilns> Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’ kilns> when specialising ‘Set.insert’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’ kilns> Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star’ kilns> Probable fix: add INLINABLE pragma on ‘star’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1’ kilns> Probable fix: add INLINABLE pragma on ‘star1’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Ter’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ kilns> kilns> src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.p_o ) kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘toAnnotatedMessages’ kilns> Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘match’ kilns> Probable fix: add INLINABLE pragma on ‘match’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘|~|’ kilns> Probable fix: add INLINABLE pragma on ‘|~|’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1w’ kilns> Probable fix: add INLINABLE pragma on ‘star1w’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘>~<’ kilns> Probable fix: add INLINABLE pragma on ‘>~<’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Ter’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.p_o ) kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘|~|’ kilns> Probable fix: add INLINABLE pragma on ‘|~|’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1w’ kilns> Probable fix: add INLINABLE pragma on ‘star1w’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘>~<’ kilns> Probable fix: add INLINABLE pragma on ‘>~<’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.p_o ) kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘toAnnotatedMessages’ kilns> Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘match’ kilns> Probable fix: add INLINABLE pragma on ‘match’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Alt’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.parser’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Red’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘|~|’ kilns> Probable fix: add INLINABLE pragma on ‘|~|’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘star1w’ kilns> Probable fix: add INLINABLE pragma on ‘star1w’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘>~<’ kilns> Probable fix: add INLINABLE pragma on ‘>~<’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrd(,)’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘terS’ kilns> Probable fix: add INLINABLE pragma on ‘terS’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Con’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Ter’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ kilns> kilns> src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ kilns> Preprocessing executable 'kilns' for kilns-0.0.1.0.. kilns> Building executable 'kilns' for kilns-0.0.1.0.. kilns> [1 of 1] Compiling Main ( src/Language/Kilns/Interpreter/Main.hs, dist/build/kilns/kilns-tmp/Main.o ) kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘processes’ kilns> Probable fix: add INLINABLE pragma on ‘processes’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Text.Derp.Unsafe.runParseNum’ kilns> Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.runParseNum’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: warning: [-Wmissed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: warning: [-Wmissed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’ kilns> when specialising ‘Set.insert’ kilns> when specialising ‘Set.fromList’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess’ kilns> Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess’ kilns> kilns> src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] kilns> Could not specialise imported function ‘reduce’ kilns> Probable fix: add INLINABLE pragma on ‘reduce’ kilns> [2 of 2] Linking dist/build/kilns/kilns kilns> 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> Running phase: checkPhase kilns> Running 1 test suites... kilns> Test suite doctests: RUNNING... kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> kilns> on the commandline: warning: kilns> -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell kilns> Examples: 3 Tried: 3 Errors: 0 Failures: 0 kilns> Test suite doctests: PASS kilns> Test suite logged to: dist/test/kilns-0.0.1.0-doctests.log kilns> 1 of 1 test suites (1 of 1 test cases) passed. kilns> Running phase: haddockPhase kilns> Preprocessing library for kilns-0.0.1.0.. kilns> Running Haddock on library for kilns-0.0.1.0.. kilns> Warning: --source-* options are ignored when --hyperlinked-source is enabled. kilns> 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> 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:131) kilns> parensIn (src/Text/Derp.hs:134) kilns> ambIn (src/Text/Derp.hs:137) kilns> sexpIn (src/Text/Derp.hs:140) kilns> someStuff (src/Text/Derp.hs:154) 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:295) kilns> combine (src/Language/KellCalculus/AST.hs:280) kilns> substitute (src/Language/KellCalculus/AST.hs:318) kilns> toAnnotatedMessages (src/Language/KellCalculus/AST.hs:284) kilns> chooseSubstitution (src/Language/KellCalculus/AST.hs:341) kilns> kilns> src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 42 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> 50% ( 4 / 8) in 'Language.KellCalculus.ReductionSemantics' kilns> Missing documentation for: kilns> Module header kilns> ↝ (src/Language/KellCalculus/ReductionSemantics.hs:44) kilns> subReduce (src/Language/KellCalculus/ReductionSemantics.hs:68) kilns> reduce (src/Language/KellCalculus/ReductionSemantics.hs:156) kilns> kilns> src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 24 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> 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:190) kilns> papp (src/Language/KellCalculus/LabeledTransitionSystem.hs:206) kilns> commit (src/Language/KellCalculus/LabeledTransitionSystem.hs:237) kilns> kilns> src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] kilns> Importing Safe-Inferred module Data.MultiSet from explicitly Safe module kilns> | kilns> 30 | import Data.MultiSet (MultiSet) kilns> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ kilns> 0% ( 0 / 2) in 'Language.KellCalculus.ContextualEquivalence' kilns> Missing documentation for: kilns> Module header kilns> ↓ (src/Language/KellCalculus/ContextualEquivalence.hs:14) kilns> 0% ( 0 / 2) in 'Language.KellCalculus.ContextBisimulation' kilns> Missing documentation for: kilns> Module header kilns> isClosed (src/Language/KellCalculus/ContextBisimulation.hs:11) 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:205) kilns> star1 (src/Text/Derp/Unsafe.hs:197) kilns> option (src/Text/Derp/Unsafe.hs:200) kilns> runParseStagesNum (src/Text/Derp/Unsafe.hs:365) kilns> runParseStages (src/Text/Derp/Unsafe.hs:376) kilns> runParseLongestMatchNum (src/Text/Derp/Unsafe.hs:380) kilns> runParseLongestMatch (src/Text/Derp/Unsafe.hs:394) kilns> xsR (src/Text/Derp/Unsafe.hs:593) kilns> xsL (src/Text/Derp/Unsafe.hs:598) kilns> xsIn (src/Text/Derp.hs:131) kilns> parens (src/Text/Derp/Unsafe.hs:603) kilns> parensIn (src/Text/Derp.hs:134) kilns> amb (src/Text/Derp/Unsafe.hs:610) kilns> ambIn (src/Text/Derp.hs:137) kilns> sexp (src/Text/Derp/Unsafe.hs:618) kilns> sexpIn (src/Text/Derp.hs:140) kilns> someStuff (src/Text/Derp.hs:154) kilns> someStuffG (src/Text/Derp/Unsafe.hs:626) kilns> 5% ( 1 / 20) in 'Language.KellCalculus.Parser' kilns> Missing documentation for: kilns> Module header kilns> process (src/Language/KellCalculus/Parser.hs:241) kilns> name (src/Language/KellCalculus/Parser.hs:175) kilns> variable (src/Language/KellCalculus/Parser.hs:181) kilns> identifier (src/Language/KellCalculus/Parser.hs:157) kilns> startKellTok (src/Language/KellCalculus/Parser.hs:121) kilns> endKellTok (src/Language/KellCalculus/Parser.hs:124) kilns> startMessageTok (src/Language/KellCalculus/Parser.hs:127) kilns> endMessageTok (src/Language/KellCalculus/Parser.hs:130) kilns> startFormTok (src/Language/KellCalculus/Parser.hs:133) kilns> endFormTok (src/Language/KellCalculus/Parser.hs:136) kilns> parTok (src/Language/KellCalculus/Parser.hs:139) kilns> nullTok (src/Language/KellCalculus/Parser.hs:148) kilns> bindingTok (src/Language/KellCalculus/Parser.hs:154) kilns> >~< (src/Language/KellCalculus/Parser.hs:101) kilns> |~| (src/Language/KellCalculus/Parser.hs:105) kilns> starw (src/Language/KellCalculus/Parser.hs:115) kilns> star1w (src/Language/KellCalculus/Parser.hs:118) 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/index.html, kilns> dist/doc/html/kilns/kilns.txt kilns> Preprocessing executable 'kilns' for kilns-0.0.1.0.. kilns> Preprocessing test suite 'doctests' for kilns-0.0.1.0.. kilns> Running phase: installPhase kilns> Installing library in /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/lib/ghc-9.6.3/lib/x86_64-linux-ghc-9.6.3/kilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK kilns> Installing executable kilns in /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/bin kilns> Warning: The directory kilns> /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-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/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 kilns> shrinking /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/lib/ghc-9.6.3/lib/x86_64-linux-ghc-9.6.3/libHSkilns-0.0.1.0-DpHB8vfAPCQ3hFXCt2qfYK-ghc9.6.3.so kilns> shrinking /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/bin/kilns kilns> checking for references to /build/ in /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0... kilns> patching script interpreter paths in /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 kilns> stripping (with command strip and flags -S -p) in /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/lib /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/bin kilns> shrinking RPATHs of ELF executables and libraries in /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc kilns> checking for references to /build/ in /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc... kilns> patching script interpreter paths in /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc kilns (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc kilns (post)> Pushing 2 paths (78 are already present) using zstd to cache sellout ⏳ kilns (post)> kilns (post)> Pushing /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 (14.42 MiB) kilns (post)> Pushing /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc (3.13 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/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc kilns (post)> copying 2 paths... kilns (post)> copying path '/nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'... kilns (post)> copying path '/nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0' to 'https://cache.nix-ci.com'... kilns (post)> copying 1 paths... kilns (post)> copying path '/nix/store/bykd2lzc6i67wpwn4h2i1zl2klk8v1qf-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/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0 /nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc kilns (post)> copying 2 paths... kilns (post)> copying path '/nix/store/ixkvi5b928fk1ca5vhnyg5cdnhayf29p-kilns-0.0.1.0-doc' to 'ssh-ng://worker.nix-ci.com'... kilns (post)> copying path '/nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0' to 'ssh-ng://worker.nix-ci.com'... kilns (post)> copying 1 paths... kilns (post)> copying path '/nix/store/bykd2lzc6i67wpwn4h2i1zl2klk8v1qf-kilns-0.0.1.0.drv' to 'ssh-ng://worker.nix-ci.com'... building '/nix/store/9qdlx707lwifriraiaicla6v8sgsykqz-ghc-9.6.3-with-packages.drv'... ghc> /nix/store/303xhvicgh7lbh675nmad2kbgs54bbqx-charset-0.3.12/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/303xhvicgh7lbh675nmad2kbgs54bbqx-charset-0.3.12/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/2fpjd8526mp9h72i2c9ad8647rpkdpns-multiset-0.3.4.3/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/2fpjd8526mp9h72i2c9ad8647rpkdpns-multiset-0.3.4.3/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/z8s137h45isga31zgvwjsins1vp86iz7-unordered-containers-0.2.20/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/z8s137h45isga31zgvwjsins1vp86iz7-unordered-containers-0.2.20/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/ak0gs23hxih7krpp1nwdpqfcnhv4yk96-hashable-1.4.7.0/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/ak0gs23hxih7krpp1nwdpqfcnhv4yk96-hashable-1.4.7.0/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/mbqp217vqrlm4y41la8kw2ghrwc19xvd-os-string-2.0.7/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> /nix/store/mbqp217vqrlm4y41la8kw2ghrwc19xvd-os-string-2.0.7/nix-support: ghc> propagated-build-inputs: Keeping existing link to /nix/store/26p7sq4jy2s7z23dcga80fgng7rhwcaz-kilns-0.0.1.0/nix-support/propagated-build-inputs ghc> Warning: include-dirs: /nix/store/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages/lib/ghc-9.6.3/lib/../lib/x86_64-linux-ghc-9.6.3/directory-1.3.8.1/include doesn't exist or isn't a directory ghc (post)> Uploading paths from nix-ci to cachix cache "sellout" /nix/store/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages ghc (post)> Pushing 1 paths (80 are already present) using zstd to cache sellout ⏳ ghc (post)> ghc (post)> Pushing /nix/store/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages (3.79 MiB) ghc (post)> ghc (post)> All done. ghc (post)> added 1 signatures ghc (post)> added 1 signatures ghc (post)> Uploading paths from nix-ci to the NixCI cache /nix/store/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages' to 'https://cache.nix-ci.com'... ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/9qdlx707lwifriraiaicla6v8sgsykqz-ghc-9.6.3-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/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/8k6ccycygi8isgscmsn4jicp38z2qvlq-ghc-9.6.3-with-packages' to 'ssh-ng://worker.nix-ci.com'... ghc (post)> copying 1 paths... ghc (post)> copying path '/nix/store/9qdlx707lwifriraiaicla6v8sgsykqz-ghc-9.6.3-with-packages.drv' to 'ssh-ng://worker.nix-ci.com'... building '/nix/store/gzcnyq0rrp391kyb66hg6pc42hkcisjk-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/alx9fnnx3wg4xsr3glf48i3qkmmpshp8-all-packages all-packages (post)> Pushing 1 paths (81 are already present) using zstd to cache sellout ⏳ all-packages (post)> all-packages (post)> Pushing /nix/store/alx9fnnx3wg4xsr3glf48i3qkmmpshp8-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/alx9fnnx3wg4xsr3glf48i3qkmmpshp8-all-packages all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/alx9fnnx3wg4xsr3glf48i3qkmmpshp8-all-packages' to 'https://cache.nix-ci.com'... all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/gzcnyq0rrp391kyb66hg6pc42hkcisjk-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/alx9fnnx3wg4xsr3glf48i3qkmmpshp8-all-packages all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/alx9fnnx3wg4xsr3glf48i3qkmmpshp8-all-packages' to 'ssh-ng://worker.nix-ci.com'... all-packages (post)> copying 1 paths... all-packages (post)> copying path '/nix/store/gzcnyq0rrp391kyb66hg6pc42hkcisjk-all-packages.drv' to 'ssh-ng://worker.nix-ci.com'...