build packages.x86_64-linux.ghc981_all
0.00 s
$ /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
0.10 s
warning: ignoring untrusted flake configuration setting 'allow-import-from-derivation'.
0.10 s
Pass '--accept-flake-config' to trust it
0.10 s
warning: ignoring untrusted flake configuration setting 'extra-experimental-features'.
0.10 s
Pass '--accept-flake-config' to trust it
0.10 s
warning: ignoring untrusted flake configuration setting 'extra-substituters'.
0.10 s
Pass '--accept-flake-config' to trust it
0.10 s
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
0.10 s
Pass '--accept-flake-config' to trust it
0.10 s
warning: ignoring untrusted flake configuration setting 'sandbox'.
0.10 s
Pass '--accept-flake-config' to trust it
0.10 s
warning: ignoring untrusted flake configuration setting 'use-registries'.
0.10 s
Pass '--accept-flake-config' to trust it
1.61 s
2.45 s
Building /nix/store/inl8qj3h7cz111bdaqarnc75gwhx8ywk-kilns-0.0.1.0.drv
2.55 s
[kilns] Phase: setupCompilerEnvironmentPhase
2.55 s
[kilns] Build with /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1.
2.67 s
[kilns] Phase: unpackPhase
2.67 s
[kilns] unpacking source archive /nix/store/016swviban7282mwb7ia4xpqxvnrz2mz-5ri25q34ix0pj4rqvxyv2gsj973h42zc-source/./core
2.68 s
[kilns] source root is core
2.69 s
[kilns] Phase: patchPhase
2.70 s
[kilns] Phase: compileBuildDriverPhase
2.70 s
[kilns] setupCompileFlags: -package-db=/build/tmp.OTMzJkXe0s/setup-package.conf.d -threaded
2.76 s
[kilns] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.OTMzJkXe0s/Main.o )
2.81 s
[kilns] [2 of 2] Linking Setup
3.94 s
[kilns] Phase: updateAutotoolsGnuConfigScriptsPhase
3.95 s
[kilns] Phase: configurePhase
3.95 s
[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
3.96 s
[kilns] Using Parsec parser
3.96 s
[kilns] Configuring kilns-0.0.1.0...
4.20 s
[kilns] Flags chosen: noisy-deprecations=True
4.20 s
[kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 ||
4.20 s
[kilns] >=4.21.0 && <4.22: using base-4.19.0.0
4.20 s
[kilns] Dependency base-unicode-symbols >=0.2.2 && <0.3: using
4.20 s
[kilns] base-unicode-symbols-0.2.4.2
4.20 s
[kilns] Dependency charset >=0.3.9 && <0.4: using charset-0.3.12
4.20 s
[kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8
4.20 s
[kilns] Dependency multiset >=0.3.4 && <0.4: using multiset-0.3.4.3
4.20 s
[kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 ||
4.20 s
[kilns] >=4.21.0 && <4.22: using base-4.19.0.0
4.20 s
[kilns] Dependency containers >=0.6.7 && <0.8: using containers-0.6.8
4.20 s
[kilns] Dependency kilns: using kilns-0.0.1.0
4.20 s
[kilns] Dependency base >=4.18.0 && <4.19 || >=4.19.0 && <4.20 || >=4.20.0 && <4.21 ||
4.20 s
[kilns] >=4.21.0 && <4.22: using base-4.19.0.0
4.20 s
[kilns] Dependency doctest >=0.21.1 && <0.22 || >=0.22.2 && <0.23 || >=0.23.0 && <0.24
4.20 s
[kilns] || >=0.24.0 && <0.25: using doctest-0.22.6
4.20 s
[kilns] Dependency kilns: using kilns-0.0.1.0
4.37 s
[kilns] Source component graph:
4.37 s
[kilns] component lib
4.37 s
[kilns] component exe:kilns dependency lib
4.37 s
[kilns] component test:doctests dependency lib
4.37 s
[kilns] Configured component graph:
4.37 s
[kilns] component kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] include base-4.19.0.0-b960
4.37 s
[kilns] include base-unicode-symbols-0.2.4.2-6FYX6eqgmndFwMo4ltN2sU
4.37 s
[kilns] include charset-0.3.12-KSi9CgFWAx76g2XuhXWnPC
4.37 s
[kilns] include containers-0.6.8-4775
4.37 s
[kilns] include multiset-0.3.4.3-CvInmb72Q0HAGZ9cYH77A8
4.37 s
[kilns] component kilns-0.0.1.0-E3gW9mmW34G6D6yMqD7w3a-kilns
4.37 s
[kilns] include base-4.19.0.0-b960
4.37 s
[kilns] include containers-0.6.8-4775
4.37 s
[kilns] include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] component kilns-0.0.1.0-AAnn5YEtHQFAgR9suWCt1g-doctests
4.37 s
[kilns] include base-4.19.0.0-b960
4.37 s
[kilns] include doctest-0.22.6-JET1qzeGFw1Ff4jrrp42yz
4.37 s
[kilns] include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] Linked component graph:
4.37 s
[kilns] unit kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] include base-4.19.0.0-b960
4.37 s
[kilns] include base-unicode-symbols-0.2.4.2-6FYX6eqgmndFwMo4ltN2sU
4.37 s
[kilns] include charset-0.3.12-KSi9CgFWAx76g2XuhXWnPC
4.37 s
[kilns] include containers-0.6.8-4775
4.37 s
[kilns] include multiset-0.3.4.3-CvInmb72Q0HAGZ9cYH77A8
4.37 s
[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
4.37 s
[kilns] unit kilns-0.0.1.0-E3gW9mmW34G6D6yMqD7w3a-kilns
4.37 s
[kilns] include base-4.19.0.0-b960
4.37 s
[kilns] include containers-0.6.8-4775
4.37 s
[kilns] include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] unit kilns-0.0.1.0-AAnn5YEtHQFAgR9suWCt1g-doctests
4.37 s
[kilns] include base-4.19.0.0-b960
4.37 s
[kilns] include doctest-0.22.6-JET1qzeGFw1Ff4jrrp42yz
4.37 s
[kilns] include kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] Ready component graph:
4.37 s
[kilns] definite kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] depends base-4.19.0.0-b960
4.37 s
[kilns] depends base-unicode-symbols-0.2.4.2-6FYX6eqgmndFwMo4ltN2sU
4.37 s
[kilns] depends charset-0.3.12-KSi9CgFWAx76g2XuhXWnPC
4.37 s
[kilns] depends containers-0.6.8-4775
4.37 s
[kilns] depends multiset-0.3.4.3-CvInmb72Q0HAGZ9cYH77A8
4.37 s
[kilns] definite kilns-0.0.1.0-AAnn5YEtHQFAgR9suWCt1g-doctests
4.37 s
[kilns] depends base-4.19.0.0-b960
4.37 s
[kilns] depends doctest-0.22.6-JET1qzeGFw1Ff4jrrp42yz
4.37 s
[kilns] depends kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] definite kilns-0.0.1.0-E3gW9mmW34G6D6yMqD7w3a-kilns
4.37 s
[kilns] depends base-4.19.0.0-b960
4.37 s
[kilns] depends containers-0.6.8-4775
4.37 s
[kilns] depends kilns-0.0.1.0-1oD0AuBABmpKCeuX7BPsQD
4.37 s
[kilns] Using Cabal-3.10.2.0 compiled by ghc-9.8
4.37 s
[kilns] Using compiler: ghc-9.8.1
4.37 s
[kilns] Using install prefix:
4.37 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0
4.37 s
[kilns] Executables installed in:
4.37 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin
4.37 s
[kilns] Libraries installed in:
4.37 s
[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
4.37 s
[kilns] Dynamic Libraries installed in:
4.37 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/lib/ghc-9.8.1/lib/x86_64-linux-ghc-9.8.1
4.37 s
[kilns] Private executables installed in:
4.37 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/libexec/x86_64-linux-ghc-9.8.1/kilns-0.0.1.0
4.37 s
[kilns] Data files installed in:
4.37 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/share/x86_64-linux-ghc-9.8.1/kilns-0.0.1.0
4.37 s
[kilns] Documentation installed in:
4.37 s
[kilns] /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc/share/doc/kilns-0.0.1.0
4.37 s
[kilns] Configuration files installed in:
4.37 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/etc
4.37 s
[kilns] No alex found
4.37 s
[kilns] Using ar found on system at:
4.37 s
[kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ar
4.37 s
[kilns] No c2hs found
4.37 s
[kilns] No cpphs found
4.37 s
[kilns] Using doctest version 0.22.6 found on system at:
4.37 s
[kilns] /nix/store/cns9psfm800nc1g8bgp2nvkgrzm1l79q-doctest-0.22.6/bin/doctest
4.37 s
[kilns] Using gcc version 14.3.0 given by user at:
4.37 s
[kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/gcc
4.37 s
[kilns] Using ghc version 9.8.1 found on system at:
4.37 s
[kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/ghc
4.37 s
[kilns] Using ghc-pkg version 9.8.1 found on system at:
4.37 s
[kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/ghc-pkg-9.8.1
4.37 s
[kilns] No ghcjs found
4.37 s
[kilns] No ghcjs-pkg found
4.37 s
[kilns] No greencard found
4.37 s
[kilns] Using haddock version 2.30.0 found on system at:
4.37 s
[kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/haddock-ghc-9.8.1
4.37 s
[kilns] No happy found
4.37 s
[kilns] Using haskell-suite found on system at: haskell-suite-dummy-location
4.37 s
[kilns] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
4.37 s
[kilns] No hmake found
4.37 s
[kilns] Using hpc version 0.69 found on system at:
4.37 s
[kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/hpc-ghc-9.8.1
4.37 s
[kilns] Using hsc2hs version 0.68.10 found on system at:
4.37 s
[kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/hsc2hs-ghc-9.8.1
4.37 s
[kilns] Using hscolour version 1.25 found on system at:
4.37 s
[kilns] /nix/store/4s1nxvgrmz6dh6s3n580gkccdbq6nyf3-hscolour-1.25/bin/HsColour
4.37 s
[kilns] No jhc found
4.37 s
[kilns] Using ld found on system at:
4.37 s
[kilns] /nix/store/iga4lv0say4pbbbgkf1v79403n1ip7hf-binutils-wrapper-2.44/bin/ld.gold
4.37 s
[kilns] No pkg-config found
4.37 s
[kilns] Using runghc version 9.8.1 found on system at:
4.37 s
[kilns] /nix/store/i17w9ailvz9694yxfsmfkf5450mym6mr-ghc-9.8.1/bin/runghc-9.8.1
4.37 s
[kilns] Using strip version 2.44 found on system at:
4.37 s
[kilns] /nix/store/kks0nbx2riwry5qsx0qr87qr0lswmhzi-gcc-wrapper-14.3.0/bin/strip
4.37 s
[kilns] Using tar found on system at:
4.37 s
[kilns] /nix/store/76df6j9sq1ar58id3y3v4rkijany1wxp-gnutar-1.35/bin/tar
4.37 s
[kilns] No uhc found
4.49 s
[kilns] Phase: buildPhase
4.53 s
[kilns] Preprocessing library for kilns-0.0.1.0..
4.53 s
[kilns] Building library for kilns-0.0.1.0..
4.61 s
[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 )
4.63 s
[kilns]
4.63 s
[kilns] src/Language/Common/SetLike.hs:15:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
4.63 s
[kilns] Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module
4.63 s
[kilns] |
4.63 s
[kilns] 15 | import Data.Bool.Unicode ((∧))
4.63 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4.63 s
[kilns]
4.63 s
[kilns] src/Language/Common/SetLike.hs:16:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
4.63 s
[kilns] Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module
4.63 s
[kilns] |
4.63 s
[kilns] 16 | import Data.Foldable.Unicode ((∈), (∉))
4.63 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4.63 s
[kilns]
4.63 s
[kilns] src/Language/Common/SetLike.hs:17:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
4.63 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
4.63 s
[kilns] |
4.63 s
[kilns] 17 | import Data.MultiSet (MultiSet)
4.63 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4.67 s
[kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.o, dist/build/Text/Derp.dyn_o )
4.68 s
[kilns]
4.68 s
[kilns] src/Text/Derp.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
4.68 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
4.68 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
5.04 s
[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 )
5.10 s
[kilns]
5.10 s
[kilns] src/Language/KellCalculus/AST.hs:42:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
5.10 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
5.10 s
[kilns] |
5.10 s
[kilns] 42 | import Data.MultiSet (MultiSet)
5.10 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5.19 s
[kilns]
5.19 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.19 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
5.19 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
5.19 s
[kilns]
5.19 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.19 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
5.19 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
5.19 s
[kilns]
5.19 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.19 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
5.19 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
5.19 s
[kilns]
5.19 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.19 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
5.19 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
5.19 s
[kilns]
5.19 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.19 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’
5.19 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’
5.19 s
[kilns]
5.19 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.19 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
5.19 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
5.20 s
[kilns]
5.20 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.20 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
5.20 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
5.20 s
[kilns]
5.20 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
5.20 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
5.20 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
5.96 s
[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 )
5.97 s
[kilns]
5.97 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
5.97 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
5.97 s
[kilns] |
5.97 s
[kilns] 24 | import Data.MultiSet (MultiSet)
5.97 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5.97 s
[kilns]
5.97 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
5.97 s
[kilns] Pattern match(es) are non-exhaustive
5.97 s
[kilns] In a lambda abstraction:
5.97 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
5.97 s
[kilns] UpMessage _ _ _
5.97 s
[kilns] DownMessage _ _ _
5.97 s
[kilns] KellMessage _ _
5.97 s
[kilns] |
5.97 s
[kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a ) md,
5.97 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5.97 s
[kilns]
5.97 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
5.97 s
[kilns] Pattern match(es) are non-exhaustive
5.97 s
[kilns] In a lambda abstraction:
5.97 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
5.97 s
[kilns] UpMessage _ _ _
5.97 s
[kilns] DownMessage _ _ _
5.97 s
[kilns] KellMessage _ _
5.97 s
[kilns] |
5.97 s
[kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b ) m)
5.97 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6.09 s
[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 )
6.11 s
[kilns]
6.11 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
6.11 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
6.11 s
[kilns] |
6.11 s
[kilns] 30 | import Data.MultiSet (MultiSet)
6.11 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6.12 s
[kilns]
6.12 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
6.12 s
[kilns] Pattern match(es) are non-exhaustive
6.12 s
[kilns] In a lambda abstraction:
6.12 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
6.12 s
[kilns] UpMessage _ _ _
6.12 s
[kilns] DownMessage _ _ _
6.12 s
[kilns] KellMessage _ _
6.12 s
[kilns] |
6.12 s
[kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a ) mm)
6.12 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6.12 s
[kilns]
6.12 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
6.12 s
[kilns] Pattern match(es) are non-exhaustive
6.12 s
[kilns] In a case alternative:
6.12 s
[kilns] Patterns of type ‘Process ξ’ not matched:
6.12 s
[kilns] NullProcess
6.12 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
6.12 s
[kilns] Trigger _ _
6.12 s
[kilns] Restriction _ _
6.12 s
[kilns] ...
6.12 s
[kilns] |
6.12 s
[kilns] 246 | then case (k /↝) of
6.12 s
[kilns] | ^^^^^^^^^^^^^^...
6.12 s
[kilns]
6.12 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
6.12 s
[kilns] Pattern match(es) are non-exhaustive
6.12 s
[kilns] In a case alternative:
6.12 s
[kilns] Patterns of type ‘Process ξ’ not matched:
6.12 s
[kilns] NullProcess
6.12 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
6.12 s
[kilns] Trigger _ _
6.12 s
[kilns] Restriction _ _
6.12 s
[kilns] ...
6.12 s
[kilns] |
6.12 s
[kilns] 272 | case (k /↝) of
6.12 s
[kilns] | ^^^^^^^^^^^^^^...
6.12 s
[kilns]
6.12 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
6.12 s
[kilns] Pattern match(es) are non-exhaustive
6.12 s
[kilns] In a lambda abstraction:
6.12 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
6.12 s
[kilns] UpMessage _ _ _
6.12 s
[kilns] DownMessage _ _ _
6.12 s
[kilns] KellMessage _ _
6.12 s
[kilns] |
6.12 s
[kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a )
6.12 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6.12 s
[kilns]
6.12 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
6.12 s
[kilns] Pattern match(es) are non-exhaustive
6.12 s
[kilns] In a case alternative:
6.12 s
[kilns] Patterns of type ‘Process ξ’ not matched:
6.12 s
[kilns] NullProcess
6.12 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
6.12 s
[kilns] Trigger _ _
6.12 s
[kilns] Restriction _ _
6.12 s
[kilns] ...
6.12 s
[kilns] |
6.12 s
[kilns] 296 | case (par /↝) of
6.12 s
[kilns] | ^^^^^^^^^^^^^^^^...
6.12 s
[kilns]
6.12 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
6.12 s
[kilns] Pattern match(es) are non-exhaustive
6.12 s
[kilns] In a case alternative:
6.12 s
[kilns] Patterns of type ‘Process ξ’ not matched:
6.12 s
[kilns] NullProcess
6.12 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
6.12 s
[kilns] Trigger _ _
6.12 s
[kilns] Restriction _ _
6.12 s
[kilns] ...
6.12 s
[kilns] |
6.12 s
[kilns] 305 | case (par /↝) of
6.12 s
[kilns] | ^^^^^^^^^^^^^^^^...
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’
6.16 s
[kilns] when specialising ‘Data.Map.Strict.Internal.insertWithKey’
6.16 s
[kilns] when specialising ‘Data.Map.Strict.Internal.fromListWithKey’
6.16 s
[kilns] when specialising ‘Data.Map.Strict.Internal.mapKeysWith’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
6.16 s
[kilns]
6.16 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.16 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
6.16 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
6.61 s
[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 )
6.61 s
[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 )
6.63 s
[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 )
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Derp.$WTer’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Derp.$WCon’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Derp.$WRed’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Derp.$WAlt’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Derp.$WEps’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Printf.formatString’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: warning : [ -Wmissed-specialisations ]
6.63 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’
6.63 s
[kilns] when specialising ‘Map.insert’
6.63 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’
6.63 s
[kilns]
6.63 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’
6.64 s
[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 )
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’
6.64 s
[kilns] when specialising ‘Set.fromList’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’
6.64 s
[kilns] when specialising ‘Set.insert’
6.64 s
[kilns] when specialising ‘Set.fromList’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘star’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘star’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘star1’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
6.64 s
[kilns]
6.64 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.64 s
[kilns] Could not specialise imported function ‘terS’
6.64 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
6.77 s
[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 )
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘terS’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘|~|’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘>~<’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘star1w’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘match’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
6.85 s
[kilns]
6.85 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
6.85 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
6.85 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
7.87 s
[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 )
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘terS’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘|~|’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘>~<’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘star1w’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
7.87 s
[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 )
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘|~|’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘>~<’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘terS’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘star1w’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘match’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
7.87 s
[kilns]
7.87 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
7.87 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
7.87 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
8.24 s
[kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, dist/build/Language/Common/SetLike.p_o )
8.26 s
[kilns]
8.26 s
[kilns] src/Language/Common/SetLike.hs:15:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
8.26 s
[kilns] Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module
8.26 s
[kilns] |
8.26 s
[kilns] 15 | import Data.Bool.Unicode ((∧))
8.26 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8.26 s
[kilns]
8.26 s
[kilns] src/Language/Common/SetLike.hs:16:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
8.26 s
[kilns] Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module
8.26 s
[kilns] |
8.26 s
[kilns] 16 | import Data.Foldable.Unicode ((∈), (∉))
8.26 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8.26 s
[kilns]
8.26 s
[kilns] src/Language/Common/SetLike.hs:17:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
8.26 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
8.26 s
[kilns] |
8.26 s
[kilns] 17 | import Data.MultiSet (MultiSet)
8.26 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8.37 s
[kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, dist/build/Text/Derp.p_o )
8.37 s
[kilns]
8.37 s
[kilns] src/Text/Derp.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.37 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
8.37 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
8.69 s
[kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, dist/build/Language/KellCalculus/AST.p_o )
8.74 s
[kilns]
8.74 s
[kilns] src/Language/KellCalculus/AST.hs:42:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
8.74 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
8.74 s
[kilns] |
8.74 s
[kilns] 42 | import Data.MultiSet (MultiSet)
8.74 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8.83 s
[kilns]
8.83 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.83 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
8.83 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
8.83 s
[kilns]
8.83 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.83 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
8.83 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
8.83 s
[kilns]
8.83 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.84 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
8.84 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
8.84 s
[kilns]
8.84 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.84 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
8.84 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
8.84 s
[kilns]
8.84 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.84 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Term’
8.84 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Term’
8.84 s
[kilns]
8.84 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.84 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
8.84 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
8.84 s
[kilns]
8.84 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.84 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
8.84 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
8.84 s
[kilns]
8.84 s
[kilns] src/Language/KellCalculus/AST.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
8.84 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
8.84 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fShowSet_$cshowsPrec’
9.56 s
[kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, dist/build/Language/KellCalculus/ReductionSemantics.p_o )
9.56 s
[kilns]
9.56 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
9.56 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
9.56 s
[kilns] |
9.56 s
[kilns] 24 | import Data.MultiSet (MultiSet)
9.56 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9.57 s
[kilns]
9.57 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:128:31: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
9.57 s
[kilns] Pattern match(es) are non-exhaustive
9.57 s
[kilns] In a lambda abstraction:
9.57 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
9.57 s
[kilns] UpMessage _ _ _
9.57 s
[kilns] DownMessage _ _ _
9.57 s
[kilns] KellMessage _ _
9.57 s
[kilns] |
9.57 s
[kilns] 128 | in ( MultiSet.map (\(LocalMessage b r) -> DownMessage b r a ) md,
9.57 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9.57 s
[kilns]
9.57 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:183:51: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
9.57 s
[kilns] Pattern match(es) are non-exhaustive
9.57 s
[kilns] In a lambda abstraction:
9.57 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
9.57 s
[kilns] UpMessage _ _ _
9.57 s
[kilns] DownMessage _ _ _
9.57 s
[kilns] KellMessage _ _
9.57 s
[kilns] |
9.57 s
[kilns] 183 | θ = match ξ (mm ∪ md ∪ mk ∪ MultiSet.map (\(LocalMessage a q) -> UpMessage a q b ) m)
9.57 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9.75 s
[kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, dist/build/Language/KellCalculus/LabeledTransitionSystem.p_o )
9.77 s
[kilns]
9.77 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
9.77 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
9.77 s
[kilns] |
9.77 s
[kilns] 30 | import Data.MultiSet (MultiSet)
9.77 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9.77 s
[kilns]
9.77 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:227:41: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
9.77 s
[kilns] Pattern match(es) are non-exhaustive
9.77 s
[kilns] In a lambda abstraction:
9.77 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
9.77 s
[kilns] UpMessage _ _ _
9.77 s
[kilns] DownMessage _ _ _
9.77 s
[kilns] KellMessage _ _
9.77 s
[kilns] |
9.77 s
[kilns] 227 | let θs = match ξ (ω ∪ MultiSet.map (\(LocalMessage b s) -> UpMessage b s a ) mm)
9.77 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9.77 s
[kilns]
9.77 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:246:10: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
9.77 s
[kilns] Pattern match(es) are non-exhaustive
9.77 s
[kilns] In a case alternative:
9.77 s
[kilns] Patterns of type ‘Process ξ’ not matched:
9.77 s
[kilns] NullProcess
9.77 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
9.77 s
[kilns] Trigger _ _
9.77 s
[kilns] Restriction _ _
9.77 s
[kilns] ...
9.77 s
[kilns] |
9.77 s
[kilns] 246 | then case (k /↝) of
9.77 s
[kilns] | ^^^^^^^^^^^^^^...
9.77 s
[kilns]
9.77 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:272:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
9.77 s
[kilns] Pattern match(es) are non-exhaustive
9.77 s
[kilns] In a case alternative:
9.77 s
[kilns] Patterns of type ‘Process ξ’ not matched:
9.77 s
[kilns] NullProcess
9.77 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
9.77 s
[kilns] Trigger _ _
9.77 s
[kilns] Restriction _ _
9.77 s
[kilns] ...
9.77 s
[kilns] |
9.77 s
[kilns] 272 | case (k /↝) of
9.77 s
[kilns] | ^^^^^^^^^^^^^^...
9.77 s
[kilns]
9.77 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:282:28: warning : [ GHC-62161 ] [ -Wincomplete-uni-patterns ]
9.77 s
[kilns] Pattern match(es) are non-exhaustive
9.77 s
[kilns] In a lambda abstraction:
9.77 s
[kilns] Patterns of type ‘AnnotatedMessage ξ’ not matched:
9.77 s
[kilns] UpMessage _ _ _
9.77 s
[kilns] DownMessage _ _ _
9.77 s
[kilns] KellMessage _ _
9.78 s
[kilns] |
9.78 s
[kilns] 282 | (\(LocalMessage c s) -> DownMessage c s a )
9.78 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9.78 s
[kilns]
9.78 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:296:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
9.78 s
[kilns] Pattern match(es) are non-exhaustive
9.78 s
[kilns] In a case alternative:
9.78 s
[kilns] Patterns of type ‘Process ξ’ not matched:
9.78 s
[kilns] NullProcess
9.78 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
9.78 s
[kilns] Trigger _ _
9.78 s
[kilns] Restriction _ _
9.78 s
[kilns] ...
9.78 s
[kilns] |
9.78 s
[kilns] 296 | case (par /↝) of
9.78 s
[kilns] | ^^^^^^^^^^^^^^^^...
9.78 s
[kilns]
9.78 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:305:3: warning : [ GHC-62161 ] [ -Wincomplete-patterns ]
9.78 s
[kilns] Pattern match(es) are non-exhaustive
9.78 s
[kilns] In a case alternative:
9.78 s
[kilns] Patterns of type ‘Process ξ’ not matched:
9.78 s
[kilns] NullProcess
9.78 s
[kilns] Language.KellCalculus.AST.ProcessVariable _
9.78 s
[kilns] Trigger _ _
9.78 s
[kilns] Restriction _ _
9.78 s
[kilns] ...
9.78 s
[kilns] |
9.78 s
[kilns] 305 | case (par /↝) of
9.78 s
[kilns] | ^^^^^^^^^^^^^^^^...
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet_$ccompare’
9.81 s
[kilns] when specialising ‘Data.Map.Strict.Internal.insertWithKey’
9.81 s
[kilns] when specialising ‘Data.Map.Strict.Internal.fromListWithKey’
9.81 s
[kilns] when specialising ‘Data.Map.Strict.Internal.mapKeysWith’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet_$ccompare’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fOrdSet’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fOrdSet’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Data.Map.Internal.$fEqMap_$c==’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Map.Internal.$fEqMap_$c==’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.MultiSet.$fFoldableMultiSet_$cfoldMap’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fEqSet_$c==’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fEqSet_$c==’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Data.Set.Internal.$fMonoidSet’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Set.Internal.$fMonoidSet’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList_$ccompare’
9.81 s
[kilns]
9.81 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
9.81 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fEqList_$c==’
9.81 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fEqList_$c==’
10.31 s
[kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, dist/build/Language/KellCalculus/ContextualEquivalence.p_o )
10.31 s
[kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, dist/build/Language/KellCalculus/ContextBisimulation.p_o )
10.41 s
[kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, dist/build/Text/Derp/Unsafe.p_o )
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WCon’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WCon’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WRed’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WRed’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WAlt’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WAlt’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WEps’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WEps’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Printf.formatString’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Printf.formatString’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$WTer’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$WTer’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: warning : [ -Wmissed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken_$ccompare’
10.41 s
[kilns] when specialising ‘Map.insert’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken_$ccompare’
10.41 s
[kilns]
10.41 s
[kilns] src/Text/Derp/Unsafe.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.$fOrdToken’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.$fOrdToken’
10.41 s
[kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, dist/build/Language/KellCalculus/Parser.p_o )
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$c>=’
10.41 s
[kilns] when specialising ‘Set.fromList’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$c>=’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wmissed-specialisations , Werror=missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe_$ccompare’
10.41 s
[kilns] when specialising ‘Set.insert’
10.41 s
[kilns] when specialising ‘Set.fromList’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe_$ccompare’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘GHC.Maybe.$fOrdMaybe’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Maybe.$fOrdMaybe’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘GHC.Base.$fOrdNonEmpty’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘GHC.Base.$fOrdNonEmpty’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘star’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdList’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdList’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘star1’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
10.41 s
[kilns]
10.41 s
[kilns] src/Language/KellCalculus/Parser.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.41 s
[kilns] Could not specialise imported function ‘terS’
10.41 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
10.49 s
[kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, dist/build/Language/KellCalculus/PnpJKCalculus.p_o )
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘match’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘|~|’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘star1w’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘>~<’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘terS’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
10.58 s
[kilns]
10.58 s
[kilns] src/Language/KellCalculus/PnpJKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
10.58 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
10.58 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
11.51 s
[kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, dist/build/Language/KellCalculus/JKCalculus.p_o )
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘|~|’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘star1w’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘>~<’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘terS’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/JKCalculus.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
11.51 s
[kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, dist/build/Language/KellCalculus/FraKtal.p_o )
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘toAnnotatedMessages’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘toAnnotatedMessages’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘match’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘match’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.51 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:Pattern’
11.51 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:Pattern’
11.51 s
[kilns]
11.51 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Text.Derp.Alt’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Alt’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.parser’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.parser’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Text.Derp.Red’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Red’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Data.Foldable1.$fFoldable1NonEmpty_$cfold1’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘|~|’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘|~|’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘star1w’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘star1w’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘>~<’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘>~<’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.$fOrdTuple2’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.$fOrdTuple2’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘terS’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘terS’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Text.Derp.Con’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Con’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Text.Derp.Ter’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Ter’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.C:NQTerm’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.C:NQTerm’
11.52 s
[kilns]
11.52 s
[kilns] src/Language/KellCalculus/FraKtal.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
11.52 s
[kilns] Could not specialise imported function ‘ghc-prim:GHC.Classes.C:Ord’
11.52 s
[kilns] Probable fix: add INLINABLE pragma on ‘ghc-prim:GHC.Classes.C:Ord’
12.71 s
[kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0..
12.71 s
[kilns] Building test suite 'doctests' for kilns-0.0.1.0..
12.77 s
[kilns] [1 of 2] Compiling Build_doctests ( dist/build/doctests/autogen/Build_doctests.hs, dist/build/doctests/doctests-tmp/Build_doctests.o )
13.01 s
[kilns] [2 of 2] Compiling Main ( tests/doctests.hs, dist/build/doctests/doctests-tmp/Main.o )
13.28 s
[kilns] [3 of 3] Linking dist/build/doctests/doctests
16.81 s
[kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0..
16.81 s
[kilns] Building executable 'kilns' for kilns-0.0.1.0..
16.87 s
[kilns] [1 of 1] Compiling Main ( src/Language/Kilns/Interpreter/Main.hs, dist/build/kilns/kilns-tmp/Main.o )
16.92 s
[kilns]
16.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
16.92 s
[kilns] Could not specialise imported function ‘processes’
16.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘processes’
16.92 s
[kilns]
16.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
16.92 s
[kilns] Could not specialise imported function ‘Text.Derp.Unsafe.runParseNum’
16.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘Text.Derp.Unsafe.runParseNum’
16.92 s
[kilns]
16.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
16.92 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’
16.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax’
16.92 s
[kilns]
16.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: warning : [ -Wmissed-specialisations ]
16.92 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’
16.92 s
[kilns] when specialising ‘Set.fromList’
16.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess_$c<=’
16.92 s
[kilns]
16.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: warning : [ -Wmissed-specialisations ]
16.92 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’
16.92 s
[kilns] when specialising ‘Set.insert’
16.92 s
[kilns] when specialising ‘Set.fromList’
16.92 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fOrdSexpSyntax_$ccompare’
16.92 s
[kilns]
16.92 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
16.93 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’
16.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.Parser.$fShowSexpSyntax_$cshow’
16.93 s
[kilns]
16.93 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
16.93 s
[kilns] Could not specialise imported function ‘Language.KellCalculus.AST.$fOrdProcess’
16.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘Language.KellCalculus.AST.$fOrdProcess’
16.93 s
[kilns]
16.93 s
[kilns] src/Language/Kilns/Interpreter/Main.hs: error : [ -Wall-missed-specialisations , Werror=all-missed-specialisations ]
16.93 s
[kilns] Could not specialise imported function ‘reduce’
16.93 s
[kilns] Probable fix: add INLINABLE pragma on ‘reduce’
17.15 s
[kilns] [2 of 2] Linking dist/build/kilns/kilns
17.76 s
[kilns] Phase: checkPhase
17.78 s
[kilns] Running 1 test suites...
17.78 s
[kilns] Test suite doctests: RUNNING...
18.09 s
[kilns]
18.09 s
[kilns] on the commandline: warning: [GHC-98887]
18.09 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
18.09 s
[kilns]
18.09 s
[kilns] on the commandline: warning: [GHC-98887]
18.09 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
18.09 s
[kilns]
18.09 s
[kilns] on the commandline: warning: [GHC-98887]
18.09 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
18.09 s
[kilns]
18.09 s
[kilns] on the commandline: warning: [GHC-98887]
18.09 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
18.09 s
[kilns]
18.09 s
[kilns] on the commandline: warning: [GHC-98887]
18.09 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
18.10 s
[kilns]
18.10 s
[kilns] on the commandline: warning: [GHC-98887]
18.10 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
18.10 s
[kilns]
18.10 s
[kilns] on the commandline: warning: [GHC-98887]
18.10 s
[kilns] -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
19.11 s
[kilns] Examples: 3 Tried: 3 Errors: 0 Failures: 0
19.15 s
[kilns] Test suite doctests: PASS
19.15 s
[kilns] Test suite logged to: dist/test/kilns-0.0.1.0-doctests.log
19.15 s
[kilns] 1 of 1 test suites (1 of 1 test cases) passed.
19.16 s
[kilns] Phase: haddockPhase
19.25 s
[kilns] Preprocessing library for kilns-0.0.1.0..
19.25 s
[kilns] Running Haddock on library for kilns-0.0.1.0..
19.28 s
[kilns] Warning: --source-* options are ignored when --hyperlinked-source is enabled.
19.40 s
[kilns] [ 1 of 12] Compiling Language.Common.SetLike ( src/Language/Common/SetLike.hs, nothing )
19.42 s
[kilns]
19.42 s
[kilns] src/Language/Common/SetLike.hs:15:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
19.42 s
[kilns] Importing Safe-Inferred module Data.Bool.Unicode from explicitly Safe module
19.42 s
[kilns] |
19.42 s
[kilns] 15 | import Data.Bool.Unicode ((∧))
19.42 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19.42 s
[kilns]
19.42 s
[kilns] src/Language/Common/SetLike.hs:16:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
19.42 s
[kilns] Importing Safe-Inferred module Data.Foldable.Unicode from explicitly Safe module
19.42 s
[kilns] |
19.42 s
[kilns] 16 | import Data.Foldable.Unicode ((∈), (∉))
19.42 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19.42 s
[kilns]
19.42 s
[kilns] src/Language/Common/SetLike.hs:17:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
19.42 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
19.42 s
[kilns] |
19.42 s
[kilns] 17 | import Data.MultiSet (MultiSet)
19.42 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19.42 s
[kilns] [ 2 of 12] Compiling Text.Derp ( src/Text/Derp.hs, nothing )
19.45 s
[kilns] [ 3 of 12] Compiling Language.KellCalculus.AST ( src/Language/KellCalculus/AST.hs, nothing )
19.54 s
[kilns]
19.54 s
[kilns] src/Language/KellCalculus/AST.hs:42:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
19.54 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
19.54 s
[kilns] |
19.54 s
[kilns] 42 | import Data.MultiSet (MultiSet)
19.54 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19.59 s
[kilns] [ 4 of 12] Compiling Language.KellCalculus.ReductionSemantics ( src/Language/KellCalculus/ReductionSemantics.hs, nothing )
19.60 s
[kilns]
19.60 s
[kilns] src/Language/KellCalculus/ReductionSemantics.hs:24:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
19.60 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
19.60 s
[kilns] |
19.60 s
[kilns] 24 | import Data.MultiSet (MultiSet)
19.60 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19.61 s
[kilns] [ 5 of 12] Compiling Language.KellCalculus.LabeledTransitionSystem ( src/Language/KellCalculus/LabeledTransitionSystem.hs, nothing )
19.63 s
[kilns]
19.63 s
[kilns] src/Language/KellCalculus/LabeledTransitionSystem.hs:30:1: warning : [ GHC-82658 ] [ -Winferred-safe-imports ]
19.63 s
[kilns] Importing Safe-Inferred module Data.MultiSet from explicitly Safe module
19.63 s
[kilns] |
19.63 s
[kilns] 30 | import Data.MultiSet (MultiSet)
19.64 s
[kilns] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19.73 s
[kilns] [ 6 of 12] Compiling Language.KellCalculus.ContextualEquivalence ( src/Language/KellCalculus/ContextualEquivalence.hs, nothing )
19.73 s
[kilns] [ 7 of 12] Compiling Language.KellCalculus.ContextBisimulation ( src/Language/KellCalculus/ContextBisimulation.hs, nothing )
19.73 s
[kilns] [ 8 of 12] Compiling Text.Derp.Unsafe ( src/Text/Derp/Unsafe.hs, nothing )
19.89 s
[kilns] [ 9 of 12] Compiling Language.KellCalculus.Parser ( src/Language/KellCalculus/Parser.hs, nothing )
19.94 s
[kilns] [10 of 12] Compiling Language.KellCalculus.PnpJKCalculus ( src/Language/KellCalculus/PnpJKCalculus.hs, nothing )
20.04 s
[kilns] [11 of 12] Compiling Language.KellCalculus.JKCalculus ( src/Language/KellCalculus/JKCalculus.hs, nothing )
20.08 s
[kilns] [12 of 12] Compiling Language.KellCalculus.FraKtal ( src/Language/KellCalculus/FraKtal.hs, nothing )
20.21 s
[kilns] Haddock coverage:
20.21 s
[kilns] 50% ( 11 / 22) in 'Text.Derp'
20.21 s
[kilns] Missing documentation for:
20.21 s
[kilns] Module header
20.21 s
[kilns] ParserRec (src/Text/Derp.hs:60)
20.21 s
[kilns] ContextR (src/Text/Derp.hs:70)
20.21 s
[kilns] Token (src/Text/Derp.hs:80)
20.21 s
[kilns] ParserRecType (src/Text/Derp.hs:113)
20.21 s
[kilns] FPValue (src/Text/Derp.hs:126)
20.21 s
[kilns] xsIn (src/Text/Derp.hs:132)
20.21 s
[kilns] parensIn (src/Text/Derp.hs:135)
20.21 s
[kilns] ambIn (src/Text/Derp.hs:138)
20.21 s
[kilns] sexpIn (src/Text/Derp.hs:141)
20.21 s
[kilns] someStuff (src/Text/Derp.hs:155)
20.22 s
[kilns] 5% ( 1 / 19) in 'Language.KellCalculus.AST'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] Process (src/Language/KellCalculus/AST.hs:85)
20.22 s
[kilns] AnnotatedMessage (src/Language/KellCalculus/AST.hs:170)
20.22 s
[kilns] Substitution (src/Language/KellCalculus/AST.hs:266)
20.22 s
[kilns] Variable (src/Language/KellCalculus/AST.hs:80)
20.22 s
[kilns] Name (src/Language/KellCalculus/AST.hs:69)
20.22 s
[kilns] NQTerm (src/Language/KellCalculus/AST.hs:59)
20.22 s
[kilns] ProtoTerm (src/Language/KellCalculus/AST.hs:62)
20.22 s
[kilns] Term (src/Language/KellCalculus/AST.hs:66)
20.22 s
[kilns] MultiSettable (src/Language/Common/SetLike.hs:47)
20.22 s
[kilns] Pattern (src/Language/KellCalculus/AST.hs:269)
20.22 s
[kilns] AnyContext (src/Language/KellCalculus/AST.hs:197)
20.22 s
[kilns] Hole (src/Language/KellCalculus/AST.hs:200)
20.22 s
[kilns] match (src/Language/KellCalculus/AST.hs:296)
20.22 s
[kilns] combine (src/Language/KellCalculus/AST.hs:281)
20.22 s
[kilns] substitute (src/Language/KellCalculus/AST.hs:319)
20.22 s
[kilns] toAnnotatedMessages (src/Language/KellCalculus/AST.hs:285)
20.22 s
[kilns] chooseSubstitution (src/Language/KellCalculus/AST.hs:342)
20.22 s
[kilns] 50% ( 4 / 8) in 'Language.KellCalculus.ReductionSemantics'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] ↝ (src/Language/KellCalculus/ReductionSemantics.hs:46)
20.22 s
[kilns] subReduce (src/Language/KellCalculus/ReductionSemantics.hs:69)
20.22 s
[kilns] reduce (src/Language/KellCalculus/ReductionSemantics.hs:158)
20.22 s
[kilns] 0% ( 0 / 9) in 'Language.KellCalculus.LabeledTransitionSystem'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] Concretion (src/Language/KellCalculus/LabeledTransitionSystem.hs:57)
20.22 s
[kilns] SimpleAbstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:98)
20.22 s
[kilns] Abstraction (src/Language/KellCalculus/LabeledTransitionSystem.hs:103)
20.22 s
[kilns] Action (src/Language/KellCalculus/LabeledTransitionSystem.hs:142)
20.22 s
[kilns] Agent (src/Language/KellCalculus/LabeledTransitionSystem.hs:163)
20.22 s
[kilns] compose (src/Language/KellCalculus/LabeledTransitionSystem.hs:191)
20.22 s
[kilns] papp (src/Language/KellCalculus/LabeledTransitionSystem.hs:207)
20.22 s
[kilns] commit (src/Language/KellCalculus/LabeledTransitionSystem.hs:239)
20.22 s
[kilns] 0% ( 0 / 2) in 'Language.KellCalculus.ContextualEquivalence'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] ↓ (src/Language/KellCalculus/ContextualEquivalence.hs:15)
20.22 s
[kilns] 0% ( 0 / 2) in 'Language.KellCalculus.ContextBisimulation'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] isClosed (src/Language/KellCalculus/ContextBisimulation.hs:12)
20.22 s
[kilns] Warning: '==>' is out of scope.
20.22 s
[kilns] If you qualify the identifier, haddock can try to link it anyway.
20.22 s
[kilns] Warning: 'ter' is out of scope.
20.22 s
[kilns] If you qualify the identifier, haddock can try to link it anyway.
20.22 s
[kilns] Warning: 'eps' is out of scope.
20.22 s
[kilns] If you qualify the identifier, haddock can try to link it anyway.
20.22 s
[kilns] 55% ( 25 / 45) in 'Text.Derp.Unsafe'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] Token (src/Text/Derp.hs:80)
20.22 s
[kilns] terS (src/Text/Derp/Unsafe.hs:206)
20.22 s
[kilns] star1 (src/Text/Derp/Unsafe.hs:198)
20.22 s
[kilns] option (src/Text/Derp/Unsafe.hs:201)
20.22 s
[kilns] runParseStagesNum (src/Text/Derp/Unsafe.hs:371)
20.22 s
[kilns] runParseStages (src/Text/Derp/Unsafe.hs:378)
20.22 s
[kilns] runParseLongestMatchNum (src/Text/Derp/Unsafe.hs:386)
20.22 s
[kilns] runParseLongestMatch (src/Text/Derp/Unsafe.hs:396)
20.22 s
[kilns] xsR (src/Text/Derp/Unsafe.hs:594)
20.22 s
[kilns] xsL (src/Text/Derp/Unsafe.hs:599)
20.22 s
[kilns] xsIn (src/Text/Derp.hs:132)
20.22 s
[kilns] parens (src/Text/Derp/Unsafe.hs:604)
20.22 s
[kilns] parensIn (src/Text/Derp.hs:135)
20.22 s
[kilns] amb (src/Text/Derp/Unsafe.hs:611)
20.22 s
[kilns] ambIn (src/Text/Derp.hs:138)
20.22 s
[kilns] sexp (src/Text/Derp/Unsafe.hs:619)
20.22 s
[kilns] sexpIn (src/Text/Derp.hs:141)
20.22 s
[kilns] someStuff (src/Text/Derp.hs:155)
20.22 s
[kilns] someStuffG (src/Text/Derp/Unsafe.hs:627)
20.22 s
[kilns] 5% ( 1 / 20) in 'Language.KellCalculus.Parser'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] process (src/Language/KellCalculus/Parser.hs:242)
20.22 s
[kilns] name (src/Language/KellCalculus/Parser.hs:176)
20.22 s
[kilns] variable (src/Language/KellCalculus/Parser.hs:182)
20.22 s
[kilns] identifier (src/Language/KellCalculus/Parser.hs:158)
20.22 s
[kilns] startKellTok (src/Language/KellCalculus/Parser.hs:122)
20.22 s
[kilns] endKellTok (src/Language/KellCalculus/Parser.hs:125)
20.22 s
[kilns] startMessageTok (src/Language/KellCalculus/Parser.hs:128)
20.22 s
[kilns] endMessageTok (src/Language/KellCalculus/Parser.hs:131)
20.22 s
[kilns] startFormTok (src/Language/KellCalculus/Parser.hs:134)
20.22 s
[kilns] endFormTok (src/Language/KellCalculus/Parser.hs:137)
20.22 s
[kilns] parTok (src/Language/KellCalculus/Parser.hs:140)
20.22 s
[kilns] nullTok (src/Language/KellCalculus/Parser.hs:149)
20.22 s
[kilns] bindingTok (src/Language/KellCalculus/Parser.hs:155)
20.22 s
[kilns] >~< (src/Language/KellCalculus/Parser.hs:102)
20.22 s
[kilns] |~| (src/Language/KellCalculus/Parser.hs:106)
20.22 s
[kilns] starw (src/Language/KellCalculus/Parser.hs:116)
20.22 s
[kilns] star1w (src/Language/KellCalculus/Parser.hs:119)
20.22 s
[kilns] SexpSyntax (src/Language/KellCalculus/Parser.hs:167)
20.22 s
[kilns] 0% ( 0 / 1) in 'Language.KellCalculus.PnpJKCalculus'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] 0% ( 0 / 4) in 'Language.KellCalculus.JKCalculus'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] Module header
20.22 s
[kilns] JKPattern (src/Language/KellCalculus/JKCalculus.hs:105)
20.22 s
[kilns] J (src/Language/KellCalculus/JKCalculus.hs:60)
20.22 s
[kilns] KellMessage (src/Language/KellCalculus/JKCalculus.hs:93)
20.22 s
[kilns] 25% ( 1 / 4) in 'Language.KellCalculus.FraKtal'
20.22 s
[kilns] Missing documentation for:
20.22 s
[kilns] FraKtal (src/Language/KellCalculus/FraKtal.hs:201)
20.22 s
[kilns] J (src/Language/KellCalculus/FraKtal.hs:156)
20.22 s
[kilns] KellMessage (src/Language/KellCalculus/FraKtal.hs:189)
20.50 s
[kilns] Warning: Language.KellCalculus.Parser: could not find link destinations for:
20.50 s
[kilns] - Language.KellCalculus.Parser.parallelComposition
23.45 s
[kilns] Documentation created: dist/doc/html/kilns/, dist/doc/html/kilns/kilns.txt
23.50 s
[kilns] Preprocessing test suite 'doctests' for kilns-0.0.1.0..
23.50 s
[kilns] Preprocessing executable 'kilns' for kilns-0.0.1.0..
23.50 s
[kilns] Phase: installPhase
23.55 s
[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
23.69 s
[kilns] Installing executable kilns in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin
23.69 s
[kilns] Warning: The directory
23.69 s
[kilns] /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin is not in the
23.69 s
[kilns] system search path.
23.90 s
[kilns] Phase: fixupPhase
23.92 s
[kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0
23.92 s
[kilns] shrinking /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0/bin/kilns
23.93 s
[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
23.94 s
[kilns] checking for references to /build/ in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0...
23.96 s
[kilns] patching script interpreter paths in /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0
23.96 s
[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
24.09 s
[kilns] shrinking RPATHs of ELF executables and libraries in /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc
24.10 s
[kilns] checking for references to /build/ in /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc...
24.11 s
[kilns] patching script interpreter paths in /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc
24.22 s
[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
24.75 s
[kilns:post-build] Pushing 2 paths (78 are already present) using zstd to cache sellout ⏳
24.75 s
[kilns:post-build]
25.14 s
[kilns:post-build] Pushing /nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0 (14.31 MiB)
25.26 s
[kilns:post-build] Pushing /nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc (3.15 MiB)
26.42 s
[kilns:post-build]
26.42 s
[kilns:post-build] All done.
26.44 s
[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
26.48 s
[kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
26.50 s
[kilns:post-build] copying 2 paths...
26.50 s
[kilns:post-build] copying path '/nix/store/vbmld9fybkry3bq1cfhxw4vi2v1a4n3b-kilns-0.0.1.0-doc' to 'https://cache.nix-ci.com'...
26.98 s
[kilns:post-build] copying path '/nix/store/0rw6pi2xx86xp6446yj55py6ns7c7y5v-kilns-0.0.1.0' to 'https://cache.nix-ci.com'...
29.98 s
[kilns:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
30.17 s
[kilns:post-build] copying 1 paths...
30.17 s
[kilns:post-build] copying path '/nix/store/inl8qj3h7cz111bdaqarnc75gwhx8ywk-kilns-0.0.1.0.drv' to 'https://cache.nix-ci.com'...
30.32 s
Uploaded kilns in 6.1s
30.32 s
Progress: 1 of 5 built
30.32 s
Built kilns in 27.8s
30.35 s
Building /nix/store/vw9m2y57l59a774vpirzhcwf2r6gfsrm-ghc-9.8.1-with-packages.drv
30.40 s
[ghc-9.8.1-with-packages] /nix/store/c7r6ywrcc34sxmwpvjy9nash4raqq88a-charset-0.3.12/nix-support:
30.40 s
[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
30.40 s
[ghc-9.8.1-with-packages] /nix/store/c7r6ywrcc34sxmwpvjy9nash4raqq88a-charset-0.3.12/nix-support:
30.40 s
[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
30.40 s
[ghc-9.8.1-with-packages] /nix/store/ii7q25qp2jib75nrsyigvjhjrxr873w4-multiset-0.3.4.3/nix-support:
30.40 s
[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
30.40 s
[ghc-9.8.1-with-packages] /nix/store/ii7q25qp2jib75nrsyigvjhjrxr873w4-multiset-0.3.4.3/nix-support:
30.40 s
[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
30.41 s
[ghc-9.8.1-with-packages] /nix/store/9jh9yyaspsx3175xc0bv882ibd9h3k5b-unordered-containers-0.2.20/nix-support:
30.41 s
[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
30.41 s
[ghc-9.8.1-with-packages] /nix/store/9jh9yyaspsx3175xc0bv882ibd9h3k5b-unordered-containers-0.2.20/nix-support:
30.41 s
[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
30.41 s
[ghc-9.8.1-with-packages] /nix/store/xcphpq6p9nzaw7jfppn10cqi7vpg7min-hashable-1.4.7.0/nix-support:
30.41 s
[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
30.41 s
[ghc-9.8.1-with-packages] /nix/store/xcphpq6p9nzaw7jfppn10cqi7vpg7min-hashable-1.4.7.0/nix-support:
30.41 s
[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
30.41 s
[ghc-9.8.1-with-packages] /nix/store/1pdz8ayjwx6x3qqn2pbp4g83dzrv1v7a-os-string-2.0.7/nix-support:
30.41 s
[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
30.42 s
[ghc-9.8.1-with-packages] /nix/store/1pdz8ayjwx6x3qqn2pbp4g83dzrv1v7a-os-string-2.0.7/nix-support:
30.42 s
[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
30.96 s
[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
31.81 s
[ghc-9.8.1-with-packages:post-build] Uploading to cachix cache "sellout": /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages
32.37 s
[ghc-9.8.1-with-packages:post-build] Pushing 1 paths (80 are already present) using zstd to cache sellout ⏳
32.37 s
[ghc-9.8.1-with-packages:post-build]
32.82 s
[ghc-9.8.1-with-packages:post-build] Pushing /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages (3.92 MiB)
34.48 s
[ghc-9.8.1-with-packages:post-build]
34.48 s
[ghc-9.8.1-with-packages:post-build] All done.
34.50 s
[ghc-9.8.1-with-packages:post-build] Uploading to the NixCI cache: /nix/store/s2nf0syr87v1ih5j3qx942w3s5fncm7s-ghc-9.8.1-with-packages
34.55 s
[ghc-9.8.1-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
34.69 s
[ghc-9.8.1-with-packages:post-build] copying 1 paths...
34.69 s
[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'...
35.40 s
[ghc-9.8.1-with-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
35.62 s
[ghc-9.8.1-with-packages:post-build] copying 1 paths...
35.62 s
[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'...
35.76 s
Uploaded ghc-9.8.1-with-packages in 3.9s
35.76 s
Progress: 2 of 4 built
35.76 s
Built ghc-9.8.1-with-packages in 5.4s
35.80 s
Building /nix/store/88w927rbjn7skswph6c6l7fispy1caiw-all-packages.drv
35.86 s
[all-packages] created 3 symlinks in user environment
35.88 s
[all-packages:post-build] Uploading to cachix cache "sellout": /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages
36.44 s
[all-packages:post-build] Pushing 1 paths (81 are already present) using zstd to cache sellout ⏳
36.44 s
[all-packages:post-build]
36.84 s
[all-packages:post-build] Pushing /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages (872.00 B)
40.77 s
[all-packages:post-build]
40.77 s
[all-packages:post-build] All done.
40.78 s
[all-packages:post-build] Uploading to the NixCI cache: /nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages
40.82 s
[all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
40.96 s
[all-packages:post-build] copying 1 paths...
40.96 s
[all-packages:post-build] copying path '/nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages' to 'https://cache.nix-ci.com'...
41.14 s
[all-packages:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
41.32 s
[all-packages:post-build] copying 1 paths...
41.32 s
[all-packages:post-build] copying path '/nix/store/88w927rbjn7skswph6c6l7fispy1caiw-all-packages.drv' to 'https://cache.nix-ci.com'...
41.48 s
Uploaded all-packages in 5.6s
41.48 s
Progress: 3 of 4 built
41.48 s
Built all-packages in 5.6s
41.48 s
Progress: 4 of 4 built
41.48 s
/nix/store/7r6i91q60n64s0y6fyy81z49x68lqnbp-all-packages
41.53 s
Build succeeded.