$ /nix/store/61685rbaxmpigwi3z23i33sv3jyfl70q-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/wknkybkzrc16r11vk5vrykh4wmw7a353-nix-2.34.8/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link --print-out-paths git+https://github.com/sellout/kilns-haskell?ref=renovate%2Fubuntu-26.x&rev=bf436ad7840101719eb53be8d475afa55430bf38&shallow=1#packages.x86_64-linux.ghc981_all --print-build-logs warning: ignoring untrusted flake configuration setting 'allow-import-from-derivation'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'extra-experimental-features'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'extra-substituters'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'sandbox'. Pass '--accept-flake-config' to trust it warning: ignoring untrusted flake configuration setting 'use-registries'. Pass '--accept-flake-config' to trust it  Building /nix/store/inl8qj3h7cz111bdaqarnc75gwhx8ywk-kilns-0.0.1.0.drv [kilns] Phase: setupCompilerEnvironmentPhase [kilns] Build with /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1. [kilns] Phase: unpackPhase [kilns] unpacking source archive /nix/store/016swviban7282mwb7ia4xpqxvnrz2mz-5ri25q34ix0pj4rqvxyv2gsj973h42zc-source/./core [kilns] source root is core [kilns] Phase: patchPhase [kilns] Phase: compileBuildDriverPhase [kilns] setupCompileFlags: -package-db=/build/tmp.OTMzJkXe0s/setup-package.conf.d -threaded [kilns] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.OTMzJkXe0s/Main.o ) [kilns] [2 of 2] Linking Setup [kilns] Phase: updateAutotoolsGnuConfigScriptsPhase [kilns] Phase: configurePhase [kilns] configureFlags: --verbose --prefix=/nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 --with-gcc=gcc --package-db=/build/tmp.OTMzJkXe0s/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-options=-Werror --extra-lib-dirs=/nix/store/vj3rmg6937p9icir6bazbdcb4xdnrg9j-ncurses-6.5/lib --extra-lib-dirs=/nix/store/0aaj6jbxclpwvrphggqz4vf5hg8360fr-libffi-3.4.8/lib --extra-lib-dirs=/nix/store/mlnlvdaij0c6qgzz3mmcb5f796871778-elfutils-0.192/lib --extra-lib-dirs=/nix/store/m9fycbkaairz8kampnsl7sx1aanvl0db-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/lib [kilns] Using Parsec parser [kilns] Configuring kilns-0.0.1.0... [kilns] Flags chosen: noisy-deprecations=True [kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || [kilns] >=4.21.0 && <4.22: using base-4.19.0.0 [kilns] Dependency base-unicode-symbols >=0.2.2 && <0.3: using [kilns] base-unicode-symbols-0.2.4.2 [kilns] Dependency charset >=0.3.9 && <0.4: using charset-0.3.12 [kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8 [kilns] Dependency multiset >=0.3.4 && <0.4: using multiset-0.3.4.3 [kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || [kilns] >=4.21.0 && <4.22: using base-4.19.0.0 [kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8 [kilns] Dependency kilns: using kilns-0.0.1.0 [kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 || [kilns] >=4.21.0 && <4.22: using base-4.19.0.0 [kilns] Dependency doctest >=0.21.1 && <0.22 || >=0.22.2 && <0.23 || >=0.23.0 && <0.24 [kilns] || >=0.24.0 && <0.25: using doctest-0.22.6 [kilns] Dependency kilns: using kilns-0.0.1.0 [kilns] Source component graph: [kilns]  component lib [kilns]  component exe:kilns dependency lib [kilns]  component test:doctests dependency lib [kilns] Configured component graph: [kilns]  component kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns]  include base-4.19.0.0-b960 [kilns]  include base-unicode-symbols-0.2.4.2-6FYX6eqgmndFwMo4ltN2sU [kilns]  include charset-0.3.12-KSi9CgFWAx76g2XuhXWnPC [kilns]  include containers-0.6.8-4775 [kilns]  include multiset-0.3.4.3-CvInmb72Q0HAGZ9cYH77A8 [kilns]  component kilns-0.0.1.0-E3gW9mmW34G6D6yMqD7w3a-kilns [kilns]  include base-4.19.0.0-b960 [kilns]  include containers-0.6.8-4775 [kilns]  include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns]  component kilns-0.0.1.0-AAnn5YEtHQFAgR9suWCt1g-doctests [kilns]  include base-4.19.0.0-b960 [kilns]  include doctest-0.22.6-JET1qzeGFw1Ff4jrrp42yz [kilns]  include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns] Linked component graph: [kilns]  unit kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns]  include base-4.19.0.0-b960 [kilns]  include base-unicode-symbols-0.2.4.2-6FYX6eqgmndFwMo4ltN2sU [kilns]  include charset-0.3.12-KSi9CgFWAx76g2XuhXWnPC [kilns]  include containers-0.6.8-4775 [kilns]  include multiset-0.3.4.3-CvInmb72Q0HAGZ9cYH77A8 [kilns]  Language.KellCalculus.AST=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.AST,Language.KellCalculus.ContextBisimulation=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.ContextBisimulation,Language.KellCalculus.ContextualEquivalence=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.ContextualEquivalence,Language.KellCalculus.FraKtal=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.FraKtal,Language.KellCalculus.JKCalculus=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.JKCalculus,Language.KellCalculus.LabeledTransitionSystem=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.LabeledTransitionSystem,Language.KellCalculus.Parser=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.Parser,Language.KellCalculus.PnpJKCalculus=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.PnpJKCalculus,Language.KellCalculus.ReductionSemantics=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Language.KellCalculus.ReductionSemantics,Text.Derp=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Text.Derp,Text.Derp.Unsafe=kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD:Text.Derp.Unsafe [kilns]  unit kilns-0.0.1.0-E3gW9mmW34G6D6yMqD7w3a-kilns [kilns]  include base-4.19.0.0-b960 [kilns]  include containers-0.6.8-4775 [kilns]  include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns]  unit kilns-0.0.1.0-AAnn5YEtHQFAgR9suWCt1g-doctests [kilns]  include base-4.19.0.0-b960 [kilns]  include doctest-0.22.6-JET1qzeGFw1Ff4jrrp42yz [kilns]  include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns] Ready component graph: [kilns]  definite kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns]  depends base-4.19.0.0-b960 [kilns]  depends base-unicode-symbols-0.2.4.2-6FYX6eqgmndFwMo4ltN2sU [kilns]  depends charset-0.3.12-KSi9CgFWAx76g2XuhXWnPC [kilns]  depends containers-0.6.8-4775 [kilns]  depends multiset-0.3.4.3-CvInmb72Q0HAGZ9cYH77A8 [kilns]  definite kilns-0.0.1.0-AAnn5YEtHQFAgR9suWCt1g-doctests [kilns]  depends base-4.19.0.0-b960 [kilns]  depends doctest-0.22.6-JET1qzeGFw1Ff4jrrp42yz [kilns]  depends kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns]  definite kilns-0.0.1.0-E3gW9mmW34G6D6yMqD7w3a-kilns [kilns]  depends base-4.19.0.0-b960 [kilns]  depends containers-0.6.8-4775 [kilns]  depends kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns] Using Cabal-3.10.2.0 compiled by ghc-9.8 [kilns] Using compiler: ghc-9.8.1 [kilns] Using install prefix: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 [kilns] Executables installed in: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin [kilns] Libraries installed in: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/lib/ghc-9.8.1/lib/x86_64-linux-ghc-9.8.1/kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns] Dynamic Libraries installed in: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/lib/ghc-9.8.1/lib/x86_64-linux-ghc-9.8.1 [kilns] Private executables installed in: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.8.1/kilns-0.0.1.0 [kilns] Data files installed in: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/share/x86_64-linux-ghc-9.8.1/kilns-0.0.1.0 [kilns] Documentation installed in: [kilns] /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0 [kilns] Configuration files installed in: [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/etc [kilns] No alex found [kilns] Using ar found on system at: [kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ar [kilns] No c2hs found [kilns] No cpphs found [kilns] Using doctest version 0.22.6 found on system at: [kilns] /nix/store/cns9psfm800nc1g8bgp2nvkgrzm1l79q-doctest-0.22.6/bin/doctest [kilns] Using gcc version 14.3.0 given by user at: [kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/gcc [kilns] Using ghc version 9.8.1 found on system at: [kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/ghc [kilns] Using ghc-pkg version 9.8.1 found on system at: [kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/ghc-pkg-9.8.1 [kilns] No ghcjs found [kilns] No ghcjs-pkg found [kilns] No greencard found [kilns] Using haddock version 2.30.0 found on system at: [kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/haddock-ghc-9.8.1 [kilns] No happy found [kilns] Using haskell-suite found on system at: haskell-suite-dummy-location [kilns] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [kilns] No hmake found [kilns] Using hpc version 0.69 found on system at: [kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/hpc-ghc-9.8.1 [kilns] Using hsc2hs version 0.68.10 found on system at: [kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/hsc2hs-ghc-9.8.1 [kilns] Using hscolour version 1.25 found on system at: [kilns] /nix/store/4s1nxvgrmz6dh6s3n580gkccdbq6nyf3-hscolour-1.25/bin/HsColour [kilns] No jhc found [kilns] Using ld found on system at: [kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ld.gold [kilns] No pkg-config found [kilns] Using runghc version 9.8.1 found on system at: [kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/runghc-9.8.1 [kilns] Using strip version 2.44 found on system at: [kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/strip [kilns] Using tar found on system at: [kilns] /nix/store/76df6j9sq1ar58id3y3v4rkijany1wxp-gnutar-1.35/bin/tar [kilns] No uhc found [kilns] Phase: buildPhase [kilns] Preprocessing library for kilns-0.0.1.0.. [kilns] Building library for kilns-0.0.1.0.. [kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.o, dist/build/Language/Common/SetLike.dyn_o ) [kilns]  [kilns] src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module [kilns]  | [kilns] 15 | import Data.Bool.Unicode ((∧)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module [kilns]  | [kilns] 16 | import Data.Foldable.Unicode ((∈), (∉)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 17 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.o, dist/build/Text/Derp.dyn_o ) [kilns]  [kilns] src/Text/Derp.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.o, dist/build/Language/KellCalculus/AST.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 42 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.o, dist/build/Language/KellCalculus/ReductionSemantics.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 24 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a) md, [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b) m) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.o, dist/build/Language/KellCalculus/LabeledTransitionSystem.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 30 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a) mm) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 246 | then case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 272 | case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 296 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 305 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  when specialising ‘Data.Map.Strict.Internal.insertWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.fromListWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.mapKeysWith’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.o, dist/build/Language/KellCalculus/ContextualEquivalence.dyn_o ) [kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.o, dist/build/Language/KellCalculus/ContextBisimulation.dyn_o ) [kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.o, dist/build/Text/Derp/Unsafe.dyn_o ) [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WTer’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WCon’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WRed’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WAlt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WEps’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Printf.formatString’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  when specialising ‘Map.insert’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’ [kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.o, dist/build/Language/KellCalculus/Parser.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  when specialising ‘Set.insert’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star’ [kilns]  Probable fix: add INLINABLE pragma on ‘star’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.o, dist/build/Language/KellCalculus/PnpJKCalculus.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.o, dist/build/Language/KellCalculus/JKCalculus.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.o, dist/build/Language/KellCalculus/FraKtal.dyn_o ) [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.p_o ) [kilns]  [kilns] src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module [kilns]  | [kilns] 15 | import Data.Bool.Unicode ((∧)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module [kilns]  | [kilns] 16 | import Data.Foldable.Unicode ((∈), (∉)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 17 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.p_o ) [kilns]  [kilns] src/Text/Derp.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.p_o ) [kilns]  [kilns] src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 42 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  [kilns] src/Language/KellCalculus/AST.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’ [kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.p_o ) [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 24 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a) md, [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b) m) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.p_o ) [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 30 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a) mm) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 246 | then case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 272 | case (k /↝) of [kilns]  | ^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a lambda abstraction: [kilns]  Patterns of type ‘AnnotatedMessage ξ’ not matched: [kilns]  UpMessage _ _ _ [kilns]  DownMessage _ _ _ [kilns]  KellMessage _ _ [kilns]  | [kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 296 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning: [GHC-62161] [-Wincomplete-patterns] [kilns]  Pattern match(es) are non-exhaustive [kilns]  In a case alternative: [kilns]  Patterns of type ‘Process ξ’ not matched: [kilns]  NullProcess [kilns]  Language.KellCalculus.AST.ProcessVariable _ [kilns]  Trigger _ _ [kilns]  Restriction _ _ [kilns]  ... [kilns]  | [kilns] 305 | case (par /↝) of [kilns]  | ^^^^^^^^^^^^^^^^... [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  when specialising ‘Data.Map.Strict.Internal.insertWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.fromListWithKey’ [kilns]  when specialising ‘Data.Map.Strict.Internal.mapKeysWith’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’ [kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.p_o ) [kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.p_o ) [kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.p_o ) [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WCon’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WRed’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WAlt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WEps’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Printf.formatString’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$WTer’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  when specialising ‘Map.insert’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’ [kilns]  [kilns] src/Text/Derp/Unsafe.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.$fOrdToken’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’ [kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.p_o ) [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wmissed-specialisations, Werror=missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  when specialising ‘Set.insert’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’ [kilns]  Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star’ [kilns]  Probable fix: add INLINABLE pragma on ‘star’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/Parser.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.p_o ) [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.p_o ) [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/JKCalculus.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.p_o ) [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘toAnnotatedMessages’ [kilns]  Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘match’ [kilns]  Probable fix: add INLINABLE pragma on ‘match’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Alt’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.parser’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Red’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘|~|’ [kilns]  Probable fix: add INLINABLE pragma on ‘|~|’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘star1w’ [kilns]  Probable fix: add INLINABLE pragma on ‘star1w’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘>~<’ [kilns]  Probable fix: add INLINABLE pragma on ‘>~<’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘terS’ [kilns]  Probable fix: add INLINABLE pragma on ‘terS’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Con’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Ter’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’ [kilns]  [kilns] src/Language/KellCalculus/FraKtal.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’ [kilns]  Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’ [kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0.. [kilns] Building test suite 'doctests' for kilns-0.0.1.0.. [kilns] [1 of 2] Compiling Build_doctests ( dist/build/doctests/autogen/Build_doctests.hs, dist/build/doctests/doctests-tmp/Build_doctests.o ) [kilns] [2 of 2] Compiling Main ( tests/doctests.hs, dist/build/doctests/doctests-tmp/Main.o ) [kilns] [3 of 3] Linking dist/build/doctests/doctests [kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0.. [kilns] Building executable 'kilns' for kilns-0.0.1.0.. [kilns] [1 of 1] Compiling Main ( src/Language/Kilns/Interpreter/Main.hs, dist/build/kilns/kilns-tmp/Main.o ) [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘processes’ [kilns]  Probable fix: add INLINABLE pragma on ‘processes’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Text.Derp.Unsafe.runParseNum’ [kilns]  Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.runParseNum’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: warning: [-Wmissed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’ [kilns]  when specialising ‘Set.insert’ [kilns]  when specialising ‘Set.fromList’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess’ [kilns]  Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess’ [kilns]  [kilns] src/Language/Kilns/Interpreter/Main.hs: error: [-Wall-missed-specialisations, Werror=all-missed-specialisations] [kilns]  Could not specialise imported function ‘reduce’ [kilns]  Probable fix: add INLINABLE pragma on ‘reduce’ [kilns] [2 of 2] Linking dist/build/kilns/kilns [kilns] Phase: checkPhase [kilns] Running 1 test suites... [kilns] Test suite doctests: RUNNING... [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns]  [kilns] on the commandline: warning: [GHC-98887] [kilns]  -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell [kilns] Examples: 3 Tried: 3 Errors: 0 Failures: 0 [kilns] Test suite doctests: PASS [kilns] Test suite logged to: dist/test/kilns-0.0.1.0-doctests.log [kilns] 1 of 1 test suites (1 of 1 test cases) passed. [kilns] Phase: haddockPhase [kilns] Preprocessing library for kilns-0.0.1.0.. [kilns] Running Haddock on library for kilns-0.0.1.0.. [kilns] Warning: --source-* options are ignored when --hyperlinked-source is enabled. [kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, nothing ) [kilns]  [kilns] src/Language/Common/SetLike.hs:15:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module [kilns]  | [kilns] 15 | import Data.Bool.Unicode ((∧)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:16:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module [kilns]  | [kilns] 16 | import Data.Foldable.Unicode ((∈), (∉)) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns]  [kilns] src/Language/Common/SetLike.hs:17:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 17 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, nothing ) [kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, nothing ) [kilns]  [kilns] src/Language/KellCalculus/AST.hs:42:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 42 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, nothing ) [kilns]  [kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 24 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, nothing ) [kilns]  [kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning: [GHC-82658] [-Winferred-safe-imports] [kilns]  Importing Safe-Inferred module Data.MultiSet from explicitly Safe module [kilns]  | [kilns] 30 | import Data.MultiSet (MultiSet) [kilns]  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, nothing ) [kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, nothing ) [kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, nothing ) [kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, nothing ) [kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, nothing ) [kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, nothing ) [kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, nothing ) [kilns] Haddock coverage: [kilns]  50% ( 11 / 22) in 'Text.Derp' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  ParserRec (src/Text/Derp.hs:60) [kilns]  ContextR (src/Text/Derp.hs:70) [kilns]  Token (src/Text/Derp.hs:80) [kilns]  ParserRecType (src/Text/Derp.hs:113) [kilns]  FPValue (src/Text/Derp.hs:126) [kilns]  xsIn (src/Text/Derp.hs:132) [kilns]  parensIn (src/Text/Derp.hs:135) [kilns]  ambIn (src/Text/Derp.hs:138) [kilns]  sexpIn (src/Text/Derp.hs:141) [kilns]  someStuff (src/Text/Derp.hs:155) [kilns]  5% ( 1 / 19) in 'Language.KellCalculus.AST' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  Process (src/Language/KellCalculus/AST.hs:85) [kilns]  AnnotatedMessage (src/Language/KellCalculus/AST.hs:170) [kilns]  Substitution (src/Language/KellCalculus/AST.hs:266) [kilns]  Variable (src/Language/KellCalculus/AST.hs:80) [kilns]  Name (src/Language/KellCalculus/AST.hs:69) [kilns]  NQTerm (src/Language/KellCalculus/AST.hs:59) [kilns]  ProtoTerm (src/Language/KellCalculus/AST.hs:62) [kilns]  Term (src/Language/KellCalculus/AST.hs:66) [kilns]  MultiSettable (src/Language/Common/SetLike.hs:47) [kilns]  Pattern (src/Language/KellCalculus/AST.hs:269) [kilns]  AnyContext (src/Language/KellCalculus/AST.hs:197) [kilns]  Hole (src/Language/KellCalculus/AST.hs:200) [kilns]  match (src/Language/KellCalculus/AST.hs:296) [kilns]  combine (src/Language/KellCalculus/AST.hs:281) [kilns]  substitute (src/Language/KellCalculus/AST.hs:319) [kilns]  toAnnotatedMessages (src/Language/KellCalculus/AST.hs:285) [kilns]  chooseSubstitution (src/Language/KellCalculus/AST.hs:342) [kilns]  50% ( 4 / 8) in 'Language.KellCalculus.ReductionSemantics' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  ↝ (src/Language/KellCalculus/ReductionSemantics.hs:46) [kilns]  subReduce (src/Language/KellCalculus/ReductionSemantics.hs:69) [kilns]  reduce (src/Language/KellCalculus/ReductionSemantics.hs:158) [kilns]  0% ( 0 / 9) in 'Language.KellCalculus.LabeledTransitionSystem' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  Concretion (src/Language/KellCalculus/LabeledTransitionSystem.hs:57) [kilns]  SimpleAbstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:98) [kilns]  Abstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:103) [kilns]  Action (src/Language/KellCalculus/LabeledTransitionSystem.hs:142) [kilns]  Agent (src/Language/KellCalculus/LabeledTransitionSystem.hs:163) [kilns]  compose (src/Language/KellCalculus/LabeledTransitionSystem.hs:191) [kilns]  papp (src/Language/KellCalculus/LabeledTransitionSystem.hs:207) [kilns]  commit (src/Language/KellCalculus/LabeledTransitionSystem.hs:239) [kilns]  0% ( 0 / 2) in 'Language.KellCalculus.ContextualEquivalence' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  ↓ (src/Language/KellCalculus/ContextualEquivalence.hs:15) [kilns]  0% ( 0 / 2) in 'Language.KellCalculus.ContextBisimulation' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  isClosed (src/Language/KellCalculus/ContextBisimulation.hs:12) [kilns] Warning: '==>' is out of scope. [kilns]  If you qualify the identifier, haddock can try to link it anyway. [kilns] Warning: 'ter' is out of scope. [kilns]  If you qualify the identifier, haddock can try to link it anyway. [kilns] Warning: 'eps' is out of scope. [kilns]  If you qualify the identifier, haddock can try to link it anyway. [kilns]  55% ( 25 / 45) in 'Text.Derp.Unsafe' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  Token (src/Text/Derp.hs:80) [kilns]  terS (src/Text/Derp/Unsafe.hs:206) [kilns]  star1 (src/Text/Derp/Unsafe.hs:198) [kilns]  option (src/Text/Derp/Unsafe.hs:201) [kilns]  runParseStagesNum (src/Text/Derp/Unsafe.hs:371) [kilns]  runParseStages (src/Text/Derp/Unsafe.hs:378) [kilns]  runParseLongestMatchNum (src/Text/Derp/Unsafe.hs:386) [kilns]  runParseLongestMatch (src/Text/Derp/Unsafe.hs:396) [kilns]  xsR (src/Text/Derp/Unsafe.hs:594) [kilns]  xsL (src/Text/Derp/Unsafe.hs:599) [kilns]  xsIn (src/Text/Derp.hs:132) [kilns]  parens (src/Text/Derp/Unsafe.hs:604) [kilns]  parensIn (src/Text/Derp.hs:135) [kilns]  amb (src/Text/Derp/Unsafe.hs:611) [kilns]  ambIn (src/Text/Derp.hs:138) [kilns]  sexp (src/Text/Derp/Unsafe.hs:619) [kilns]  sexpIn (src/Text/Derp.hs:141) [kilns]  someStuff (src/Text/Derp.hs:155) [kilns]  someStuffG (src/Text/Derp/Unsafe.hs:627) [kilns]  5% ( 1 / 20) in 'Language.KellCalculus.Parser' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  process (src/Language/KellCalculus/Parser.hs:242) [kilns]  name (src/Language/KellCalculus/Parser.hs:176) [kilns]  variable (src/Language/KellCalculus/Parser.hs:182) [kilns]  identifier (src/Language/KellCalculus/Parser.hs:158) [kilns]  startKellTok (src/Language/KellCalculus/Parser.hs:122) [kilns]  endKellTok (src/Language/KellCalculus/Parser.hs:125) [kilns]  startMessageTok (src/Language/KellCalculus/Parser.hs:128) [kilns]  endMessageTok (src/Language/KellCalculus/Parser.hs:131) [kilns]  startFormTok (src/Language/KellCalculus/Parser.hs:134) [kilns]  endFormTok (src/Language/KellCalculus/Parser.hs:137) [kilns]  parTok (src/Language/KellCalculus/Parser.hs:140) [kilns]  nullTok (src/Language/KellCalculus/Parser.hs:149) [kilns]  bindingTok (src/Language/KellCalculus/Parser.hs:155) [kilns]  >~< (src/Language/KellCalculus/Parser.hs:102) [kilns]  |~| (src/Language/KellCalculus/Parser.hs:106) [kilns]  starw (src/Language/KellCalculus/Parser.hs:116) [kilns]  star1w (src/Language/KellCalculus/Parser.hs:119) [kilns]  SexpSyntax (src/Language/KellCalculus/Parser.hs:167) [kilns]  0% ( 0 / 1) in 'Language.KellCalculus.PnpJKCalculus' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  0% ( 0 / 4) in 'Language.KellCalculus.JKCalculus' [kilns]  Missing documentation for: [kilns]  Module header [kilns]  JKPattern (src/Language/KellCalculus/JKCalculus.hs:105) [kilns]  J (src/Language/KellCalculus/JKCalculus.hs:60) [kilns]  KellMessage (src/Language/KellCalculus/JKCalculus.hs:93) [kilns]  25% ( 1 / 4) in 'Language.KellCalculus.FraKtal' [kilns]  Missing documentation for: [kilns]  FraKtal (src/Language/KellCalculus/FraKtal.hs:201) [kilns]  J (src/Language/KellCalculus/FraKtal.hs:156) [kilns]  KellMessage (src/Language/KellCalculus/FraKtal.hs:189) [kilns] Warning: Language.KellCalculus.Parser: could not find link destinations for: [kilns]  - Language.KellCalculus.Parser.parallelComposition [kilns] Documentation created: dist/doc/html/kilns/, dist/doc/html/kilns/kilns.txt [kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0.. [kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0.. [kilns] Phase: installPhase [kilns] Installing library in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/lib/ghc-9.8.1/lib/x86_64-linux-ghc-9.8.1/kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD [kilns] Installing executable kilns in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin [kilns] Warning: The directory [kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin is not in the [kilns] system search path. [kilns] Phase: fixupPhase [kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 [kilns] shrinking /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin/kilns [kilns] shrinking /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/lib/ghc-9.8.1/lib/x86_64-linux-ghc-9.8.1/libHSkilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD-ghc9.8.1.so [kilns] checking for references to /build/ in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0... [kilns] patching script interpreter paths in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 [kilns] stripping (with command strip and flags -S -p) in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/lib /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin [kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc [kilns] checking for references to /build/ in /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc... [kilns] patching script interpreter paths in /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc [kilns:post-build] Uploading to cachix cache "sellout": /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc [kilns:post-build] Pushing 2 paths (78 are already present) using zstd to cache sellout ⏳ [kilns:post-build]  [kilns:post-build] Pushing /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 (14.31 MiB) [kilns:post-build] Pushing /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc (3.15 MiB) [kilns:post-build]  [kilns:post-build] All done. [kilns:post-build] Uploading to the NixCI cache: /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc [kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [kilns:post-build] copying 2 paths... [kilns:post-build] copying path '/nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'... [kilns:post-build] copying path '/nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0' to 'https://cache.nix-ci.com'... [kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [kilns:post-build] copying 1 paths... [kilns:post-build] copying path '/nix/store/inl8qj3h7cz111bdaqarnc75gwhx8ywk-kilns-0.0.1.0.drv' to 'https://cache.nix-ci.com'... Uploaded kilns in 6.1s Progress: 1 of 5 built Built kilns in 27.8s Building /nix/store/vw9m2y57l59a774vpirzhcwf2r6gfsrm-ghc-9.8.1-with-packages.drv [ghc-9.8.1-with-packages] /nix/store/c7r6ywrcc34sxmwpvjy9nash4raqq88a-charset-0.3.12/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/c7r6ywrcc34sxmwpvjy9nash4raqq88a-charset-0.3.12/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/ii7q25qp2jib75nrsyigvjhjrxr873w4-multiset-0.3.4.3/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/ii7q25qp2jib75nrsyigvjhjrxr873w4-multiset-0.3.4.3/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/9jh9yyaspsx3175xc0bv882ibd9h3k5b-unordered-containers-0.2.20/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/9jh9yyaspsx3175xc0bv882ibd9h3k5b-unordered-containers-0.2.20/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/xcphpq6p9nzaw7jfppn10cqi7vpg7min-hashable-1.4.7.0/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/xcphpq6p9nzaw7jfppn10cqi7vpg7min-hashable-1.4.7.0/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/1pdz8ayjwx6x3qqn2pbp4g83dzrv1v7a-os-string-2.0.7/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] /nix/store/1pdz8ayjwx6x3qqn2pbp4g83dzrv1v7a-os-string-2.0.7/nix-support: [ghc-9.8.1-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/nix-support/propagated-build-inputs [ghc-9.8.1-with-packages] Warning: include-dirs: /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages/lib/ghc-9.8.1/lib/../lib/x86_64-linux-ghc-9.8.1/directory-1.3.8.1-6a8e/include doesn't exist or isn't a directory [ghc-9.8.1-with-packages:post-build] Uploading to cachix cache "sellout": /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages [ghc-9.8.1-with-packages:post-build] Pushing 1 paths (80 are already present) using zstd to cache sellout ⏳ [ghc-9.8.1-with-packages:post-build]  [ghc-9.8.1-with-packages:post-build] Pushing /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages (3.92 MiB) [ghc-9.8.1-with-packages:post-build]  [ghc-9.8.1-with-packages:post-build] All done. [ghc-9.8.1-with-packages:post-build] Uploading to the NixCI cache: /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages [ghc-9.8.1-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [ghc-9.8.1-with-packages:post-build] copying 1 paths... [ghc-9.8.1-with-packages:post-build] copying path '/nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages' to 'https://cache.nix-ci.com'... [ghc-9.8.1-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [ghc-9.8.1-with-packages:post-build] copying 1 paths... [ghc-9.8.1-with-packages:post-build] copying path '/nix/store/vw9m2y57l59a774vpirzhcwf2r6gfsrm-ghc-9.8.1-with-packages.drv' to 'https://cache.nix-ci.com'... Uploaded ghc-9.8.1-with-packages in 3.9s Progress: 2 of 4 built Built ghc-9.8.1-with-packages in 5.4s Building /nix/store/88w927rbjn7skswph6c6l7fispy1caiw-all-packages.drv [all-packages] created 3 symlinks in user environment [all-packages:post-build] Uploading to cachix cache "sellout": /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages [all-packages:post-build] Pushing 1 paths (81 are already present) using zstd to cache sellout ⏳ [all-packages:post-build]  [all-packages:post-build] Pushing /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages (872.00 B) [all-packages:post-build]  [all-packages:post-build] All done. [all-packages:post-build] Uploading to the NixCI cache: /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages [all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [all-packages:post-build] copying 1 paths... [all-packages:post-build] copying path '/nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages' to 'https://cache.nix-ci.com'... [all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [all-packages:post-build] copying 1 paths... [all-packages:post-build] copying path '/nix/store/88w927rbjn7skswph6c6l7fispy1caiw-all-packages.drv' to 'https://cache.nix-ci.com'... Uploaded all-packages in 5.6s Progress: 3 of 4 built Built all-packages in 5.6s Progress: 4 of 4 built /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages Build succeeded.