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