Resolving dependencies... Build profile: -w ghc-9.8.4 -O0 In order, the following will be built (use -v for more details): - splitmix-0.1.3.1 (lib:splitmix) (requires build) - syb-0.7.3 (lib:syb) (requires build) - random-1.3.1 (lib:random) (requires build) - QuickCheck-2.17.1.0 (lib:QuickCheck) (requires build) - flowlocks-framework-0.1.4 (first run) Configuring splitmix-0.1.3.1... Preprocessing library for splitmix-0.1.3.1.. Building library for splitmix-0.1.3.1.. [1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o ) [2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o ) [3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o ) [4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-443563/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.1-288b12a0a41106e148ec05076951fd3c1649588ba20ba3678f267f4c1aba182b/lib Configuring syb-0.7.3... Preprocessing library for syb-0.7.3.. Building library for syb-0.7.3.. [ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o, dist/build/Data/Generics/Aliases.dyn_o ) [ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o, dist/build/Data/Generics/Basics.dyn_o ) [ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o, dist/build/Data/Generics/Builders.dyn_o ) [ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o, dist/build/Data/Generics/Instances.dyn_o ) [ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o, dist/build/Data/Generics/Schemes.dyn_o ) [ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o, dist/build/Data/Generics/Text.dyn_o ) [ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o, dist/build/Data/Generics/Twins.dyn_o ) [ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o, dist/build/Data/Generics.dyn_o ) [ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o, dist/build/Generics/SYB.dyn_o ) [10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o, dist/build/Generics/SYB/Aliases.dyn_o ) [11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o, dist/build/Generics/SYB/Basics.dyn_o ) [12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o, dist/build/Generics/SYB/Builders.dyn_o ) [13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o, dist/build/Generics/SYB/Instances.dyn_o ) [14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o, dist/build/Generics/SYB/Schemes.dyn_o ) [15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o, dist/build/Generics/SYB/Text.dyn_o ) [16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o, dist/build/Generics/SYB/Twins.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-443563/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/syb-0.7.3-91569291a6b6655ddb7860d21c8ae004348ada5c1942b294a18fcfc00df0ed3e/lib Configuring random-1.3.1... Preprocessing library for random-1.3.1.. Building library for random-1.3.1.. [1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o ) [2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o ) [3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o ) [4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o ) [5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o ) [6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-443563/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-53ff6fe118017105e81166d88d18b96f408abcf71eb151b207f576308ca5b779/lib Configuring QuickCheck-2.17.1.0... Preprocessing library for QuickCheck-2.17.1.0.. Building library for QuickCheck-2.17.1.0.. [ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o ) [ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o ) [ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o ) [ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o ) [ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o ) [ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o ) [ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o ) [ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o ) [ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o ) [10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o ) [11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o ) [12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o ) [13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o ) [14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o ) [15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o ) [16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o ) [17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-443563/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/QuickCheck-2.17.1.0-68d4c270cdd354bbf9cd447a1fe77dfbbde8709019e0681f0f73f9dd7e81b905/lib Configuring flowlocks-framework-0.1.4... Preprocessing library for flowlocks-framework-0.1.4.. Building library for flowlocks-framework-0.1.4.. [ 1 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Actor ( src/Security/InfoFlow/Policy/FlowLocks/Actor.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Actor.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Actor.dyn_o ) [ 2 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Datalog ( src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Datalog.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Datalog.dyn_o ) src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:24:9: warning: [GHC-40910] [-Wunused-matches] Defined but not used: s | 24 | debugDL s = id -- trace s -- replace with id to have no tracing | ^ [ 3 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Lattice ( src/Security/InfoFlow/Policy/FlowLocks/Lattice.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Lattice.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Lattice.dyn_o ) src/Security/InfoFlow/Policy/FlowLocks/Lattice.hs:31:1: warning: [GHC-66111] [-Wunused-imports] The import of Control.Applicative is redundant except perhaps to import instances from Control.Applicative To import instances alone, use: import Control.Applicative() | 31 | import Control.Applicative | ^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Security/InfoFlow/Policy/FlowLocks/Lattice.hs:136:1: warning: [GHC-64088] [-Wforall-identifier] The use of forall as an identifier will become an error in a future GHC release. Suggested fix: Consider using another name, such as forAll, for_all, or forall_. | 136 | forall xs mTest = liftM and $ mapM mTest xs | ^^^^^^ [ 4 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.ActorSet ( src/Security/InfoFlow/Policy/FlowLocks/ActorSet.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/ActorSet.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/ActorSet.dyn_o ) [ 5 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Lock ( src/Security/InfoFlow/Policy/FlowLocks/Lock.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Lock.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Lock.dyn_o ) [ 6 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Policy ( src/Security/InfoFlow/Policy/FlowLocks/Policy.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Policy.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Policy.dyn_o ) src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:172:27: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [a] not matched: [] | 172 | allEqual ~(x:xs) = all (==x) xs | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 7 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.GlobalPolicy ( src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.dyn_o ) [ 8 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.DatalogConvert ( src/Security/InfoFlow/Policy/FlowLocks/DatalogConvert.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/DatalogConvert.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/DatalogConvert.dyn_o ) [ 9 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Constraint[boot] ( src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs-boot, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Constraint.o-boot, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Constraint.dyn_o-boot ) [10 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Containment ( src/Security/InfoFlow/Policy/FlowLocks/Containment.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Containment.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Containment.dyn_o ) [11 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Constraint ( src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Constraint.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks/Constraint.dyn_o ) src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:57:10: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type ConstraintNF k var name actset aid not matched: LRTNF _ _ _ (CVarPolicy _) | 57 | linker ~(LRTNF _ ls p (CMetaVar x)) = | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:203:1: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type ConstraintNF mvar var name actset aid not matched: LRTNF _ _ (CMetaVar _) _ LRTNF _ _ (CVarPolicy _) (CMetaVar _) | 203 | checkConstraint ~(LRTNF g ls (CVarPolicy p) (CVarPolicy q)) = | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [12 of 13] Compiling Security.InfoFlow.Policy.FlowLocks ( src/Security/InfoFlow/Policy/FlowLocks.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/FlowLocks.dyn_o ) [13 of 13] Compiling Security.InfoFlow.Policy.Paralocks ( src/Security/InfoFlow/Policy/Paralocks.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/Paralocks.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/Security/InfoFlow/Policy/Paralocks.dyn_o ) src/Security/InfoFlow/Policy/Paralocks.hs:26:1: warning: [GHC-66111] [-Wunused-imports] The import of Control.Applicative is redundant except perhaps to import instances from Control.Applicative To import instances alone, use: import Control.Applicative() | 26 | import Control.Applicative | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing test suite 'test-flowlocks' for flowlocks-framework-0.1.4.. Building test suite 'test-flowlocks' for flowlocks-framework-0.1.4.. [1 of 1] Compiling Main ( tests/TestAll.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/flowlocks-framework-0.1.4/noopt/build/test-flowlocks/test-flowlocks-tmp/Main.o ) tests/TestAll.hs:22:1: error: [GHC-87110] Could not find module Datalog. Use -v to see a list of the files searched for. | 22 | import Datalog (datalogTests) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^