Build #2 for flowlocks-framework-0.1.4
| Package | flowlocks-framework-0.1.4 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-11-29 11:33:18.422801218 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, containers-0.6.8, syb-0.7.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
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 )
Preprocessing library for syb-0.7.3..
Running Haddock on library for syb-0.7.3..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, nothing )
[ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, nothing )
[ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, nothing )
[ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, nothing )
[ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, nothing )
[ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, nothing )
[ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, nothing )
[ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, nothing )
[ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, nothing )
[10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, nothing )
[11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, nothing )
[12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, nothing )
[13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, nothing )
[14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, nothing )
[15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, nothing )
[16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, nothing )
Haddock coverage:
Warning: 'Generic'' is ambiguous. It is defined
* at src/Data/Generics/Aliases.hs:524:22
* at src/Data/Generics/Aliases.hs:524:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Generics/Aliases.hs:524:1
Warning: 'GenericR'' is ambiguous. It is defined
* at src/Data/Generics/Aliases.hs:509:23
* at src/Data/Generics/Aliases.hs:509:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Generics/Aliases.hs:509:1
Warning: 'GenericB'' is ambiguous. It is defined
* at src/Data/Generics/Aliases.hs:496:21
* at src/Data/Generics/Aliases.hs:496:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Generics/Aliases.hs:496:1
100% ( 62 / 62) in 'Data.Generics.Aliases'
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 17 / 17) in 'Data.Generics.Twins'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 1 / 1) in 'Generics.SYB.Instances'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 2 / 2) in 'Generics.SYB.Twins'
Documentation created: dist/doc/html/syb/, dist/doc/html/syb/syb.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/syb-0.7.3-3RSHlswStQQ1o1nIweGIxQ
Completed syb-0.7.3
Downloading flowlocks-framework-0.1.4
Downloaded flowlocks-framework-0.1.4
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, dist/build/Security/InfoFlow/Policy/FlowLocks/Actor.o, dist/build/Security/InfoFlow/Policy/FlowLocks/Actor.dyn_o )
[ 2 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Datalog ( src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs, dist/build/Security/InfoFlow/Policy/FlowLocks/Datalog.o, dist/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, dist/build/Security/InfoFlow/Policy/FlowLocks/Lattice.o, dist/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, dist/build/Security/InfoFlow/Policy/FlowLocks/ActorSet.o, dist/build/Security/InfoFlow/Policy/FlowLocks/ActorSet.dyn_o )
[ 5 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Lock ( src/Security/InfoFlow/Policy/FlowLocks/Lock.hs, dist/build/Security/InfoFlow/Policy/FlowLocks/Lock.o, dist/build/Security/InfoFlow/Policy/FlowLocks/Lock.dyn_o )
[ 6 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Policy ( src/Security/InfoFlow/Policy/FlowLocks/Policy.hs, dist/build/Security/InfoFlow/Policy/FlowLocks/Policy.o, dist/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, dist/build/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.o, dist/build/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.dyn_o )
[ 8 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.DatalogConvert ( src/Security/InfoFlow/Policy/FlowLocks/DatalogConvert.hs, dist/build/Security/InfoFlow/Policy/FlowLocks/DatalogConvert.o, dist/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, dist/build/Security/InfoFlow/Policy/FlowLocks/Constraint.o-boot, dist/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, dist/build/Security/InfoFlow/Policy/FlowLocks/Containment.o, dist/build/Security/InfoFlow/Policy/FlowLocks/Containment.dyn_o )
[11 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Constraint ( src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs, dist/build/Security/InfoFlow/Policy/FlowLocks/Constraint.o, dist/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, dist/build/Security/InfoFlow/Policy/FlowLocks.o, dist/build/Security/InfoFlow/Policy/FlowLocks.dyn_o )
[13 of 13] Compiling Security.InfoFlow.Policy.Paralocks ( src/Security/InfoFlow/Policy/Paralocks.hs, dist/build/Security/InfoFlow/Policy/Paralocks.o, dist/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 library for flowlocks-framework-0.1.4..
Running Haddock on library for flowlocks-framework-0.1.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Actor ( src/Security/InfoFlow/Policy/FlowLocks/Actor.hs, nothing )
[ 2 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Datalog ( src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs, nothing )
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, nothing )
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, nothing )
[ 5 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Lock ( src/Security/InfoFlow/Policy/FlowLocks/Lock.hs, nothing )
[ 6 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Policy ( src/Security/InfoFlow/Policy/FlowLocks/Policy.hs, nothing )
[ 7 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.GlobalPolicy ( src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs, nothing )
[ 8 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.DatalogConvert ( src/Security/InfoFlow/Policy/FlowLocks/DatalogConvert.hs, nothing )
[ 9 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Constraint[boot] ( src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs-boot, nothing )
[10 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Containment ( src/Security/InfoFlow/Policy/FlowLocks/Containment.hs, nothing )
[11 of 13] Compiling Security.InfoFlow.Policy.FlowLocks.Constraint ( src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs, nothing )
[12 of 13] Compiling Security.InfoFlow.Policy.FlowLocks ( src/Security/InfoFlow/Policy/FlowLocks.hs, nothing )
[13 of 13] Compiling Security.InfoFlow.Policy.Paralocks ( src/Security/InfoFlow/Policy/Paralocks.hs, nothing )
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
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
Haddock coverage:
100% ( 5 / 5) in 'Security.InfoFlow.Policy.FlowLocks.Actor'
60% ( 9 / 15) in 'Security.InfoFlow.Policy.FlowLocks.Datalog'
Missing documentation for:
debugDL (src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:24)
Constant (src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:26)
Argument (src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:29)
Atom (src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:32)
Fact (src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:35)
Clause (src/Security/InfoFlow/Policy/FlowLocks/Datalog.hs:38)
Warning: 'meet' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'bottom' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'top' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
85% ( 12 / 14) in 'Security.InfoFlow.Policy.FlowLocks.Lattice'
Missing documentation for:
PartialOrder (src/Security/InfoFlow/Policy/FlowLocks/Lattice.hs:33)
exists (src/Security/InfoFlow/Policy/FlowLocks/Lattice.hs:139)
50% ( 1 / 2) in 'Security.InfoFlow.Policy.FlowLocks.ActorSet'
Missing documentation for:
ActorSet (src/Security/InfoFlow/Policy/FlowLocks/ActorSet.hs:25)
Warning: 'LockDelta' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:62:7
* at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:61:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:61:1
Warning: 'LockSet' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:51:25
* at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:51:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:51:1
Warning: 'Lock' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:44:22
* at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:44:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:44:1
66% ( 12 / 18) in 'Security.InfoFlow.Policy.FlowLocks.Lock'
Missing documentation for:
emptyLockSet (src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:55)
noDelta (src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:67)
open (src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:70)
close (src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:76)
openAll (src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:73)
closeAll (src/Security/InfoFlow/Policy/FlowLocks/Lock.hs:79)
Warning: 'VarPolicy' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:616:7
* at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:309:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:309:1
Warning: 'Atom' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:81:18
* at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:81:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:81:1
72% ( 8 / 11) in 'Security.InfoFlow.Policy.FlowLocks.Policy'
Missing documentation for:
MetaPolicy (src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:615)
substVarPolicy (src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:344)
substVarPolicyM (src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:322)
Warning: 'Clause' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:70:7
* at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:69:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/Policy.hs:69:1
Warning: 'DatalogClause' is ambiguous. It is defined
* at src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs:32:7
* at src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs:31:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs:31:1
83% ( 5 / 6) in 'Security.InfoFlow.Policy.FlowLocks.GlobalPolicy'
Missing documentation for:
GlobalPolicy (src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs:25)
100% ( 5 / 5) in 'Security.InfoFlow.Policy.FlowLocks.DatalogConvert'
33% ( 2 / 6) in 'Security.InfoFlow.Policy.FlowLocks.Containment'
Missing documentation for:
Containment (src/Security/InfoFlow/Policy/FlowLocks/Containment.hs:35)
ConstraintContainment (src/Security/InfoFlow/Policy/FlowLocks/Containment.hs:50)
ActorSet (src/Security/InfoFlow/Policy/FlowLocks/ActorSet.hs:25)
GlobalPolicy (src/Security/InfoFlow/Policy/FlowLocks/GlobalPolicy.hs:25)
0% ( 0 / 11) in 'Security.InfoFlow.Policy.FlowLocks.Constraint'
Missing documentation for:
Module header
Constraint (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:13)
solve (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:25)
ConstraintNF (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:66)
ConstraintPol (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:76)
normalizeConstraints (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:94)
isConstraintForVar (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:156)
noVarLeft (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:164)
substitution (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:175)
substPol (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:194)
checkConstraint (src/Security/InfoFlow/Policy/FlowLocks/Constraint.hs:203)
87% ( 7 / 8) in 'Security.InfoFlow.Policy.FlowLocks'
Missing documentation for:
Module header
Warning: 'top' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 4 / 4) in 'Security.InfoFlow.Policy.Paralocks'
Documentation created: dist/doc/html/flowlocks-framework/,
dist/doc/html/flowlocks-framework/flowlocks-framework.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/flowlocks-framework-0.1.4-1AUGXeSMQOh9Xyrttm8ZLw
Completed flowlocks-framework-0.1.4
Test log
[view raw]
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)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^