Build #2 for Boolean-0.2.4

[all reports]

Package Boolean-0.2.4
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2025-11-15 10:36:22.00869129 UTC
Compiler ghc-9.8.4
OS linux
Arch x86_64
Dependencies base-4.19.2.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring Boolean-0.2.4...
Preprocessing library for Boolean-0.2.4..
Building library for Boolean-0.2.4..
[1 of 3] Compiling Data.Boolean     ( src/Data/Boolean.hs, dist/build/Data/Boolean.o, dist/build/Data/Boolean.dyn_o )

src/Data/Boolean.hs:74:17: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
74 |   ifB  :: (bool ~ BooleanOf a) => bool -> a -> a -> a
   |                 ^

src/Data/Boolean.hs:77:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
77 | boolean :: (IfB a, bool ~ BooleanOf a) => a -> a -> bool -> a
   |                         ^

src/Data/Boolean.hs:81:37: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
81 | cond :: (Applicative f, IfB a, bool ~ BooleanOf a) => f bool -> f a -> f a -> f a
   |                                     ^

src/Data/Boolean.hs:85:51: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
85 | crop :: (Applicative f, Monoid (f a), IfB a, bool ~ BooleanOf a) => f bool -> f a -> f a
   |                                                   ^

src/Data/Boolean.hs:89:26: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
89 | guardedB :: (IfB b, bool ~ BooleanOf b) => bool -> [(bool,b)] -> b -> b
   |                          ^

src/Data/Boolean.hs:94:23: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
94 | caseB :: (IfB b, bool ~ BooleanOf b) => a -> [(a -> bool, b)] -> b -> b
   |                       ^

src/Data/Boolean.hs:102:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
102 |   (==*), (/=*) :: (bool ~ BooleanOf a) => a -> a -> bool
    |                         ^

src/Data/Boolean.hs:109:37: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
109 |   (<*), (<=*), (>*), (>=*) :: (bool ~ BooleanOf a) => a -> a -> bool
    |                                     ^

src/Data/Boolean.hs:178:45: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
178 | instance (Boolean (BooleanOf a),BooleanOf a ~ Bool) => IfB [a] where { ifB = ife }
    |                                             ^

src/Data/Boolean.hs:180:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
180 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q
    |                ^

src/Data/Boolean.hs:180:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
180 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q
    |                                    ^

src/Data/Boolean.hs:184:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
184 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r
    |                ^

src/Data/Boolean.hs:184:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
184 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r
    |                                    ^

src/Data/Boolean.hs:184:56: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
184 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r
    |                                                        ^

src/Data/Boolean.hs:189:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                ^

src/Data/Boolean.hs:189:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                                    ^

src/Data/Boolean.hs:189:56: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                                                        ^

src/Data/Boolean.hs:189:76: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                                                                            ^
[2 of 3] Compiling Data.Boolean.Numbers ( src/Data/Boolean/Numbers.hs, dist/build/Data/Boolean/Numbers.o, dist/build/Data/Boolean/Numbers.dyn_o )

src/Data/Boolean/Numbers.hs:119:34: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
119 |   properFraction :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> (b, a)
    |                                  ^

src/Data/Boolean/Numbers.hs:121:28: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
121 |   truncate :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                            ^

src/Data/Boolean/Numbers.hs:125:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
125 |   round :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                         ^

src/Data/Boolean/Numbers.hs:127:27: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
127 |   ceiling :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                           ^

src/Data/Boolean/Numbers.hs:129:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
129 |   floor :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                         ^

src/Data/Boolean/Numbers.hs:167:31: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
167 | fromIntegralB :: (IntegerOf a ~ IntegerOf b, IntegralB a, NumB b) => a -> b
    |                               ^

src/Data/Boolean/Numbers.hs:175:26: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
175 | fromInteger' :: (Integer ~ IntegerOf b, NumB b) => Integer -> b
    |                          ^
[3 of 3] Compiling Data.Boolean.Overload ( src/Data/Boolean/Overload.hs, dist/build/Data/Boolean/Overload.o, dist/build/Data/Boolean/Overload.dyn_o )
Preprocessing library for Boolean-0.2.4..
Running Haddock on library for Boolean-0.2.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling Data.Boolean     ( src/Data/Boolean.hs, nothing )

src/Data/Boolean.hs:74:17: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
74 |   ifB  :: (bool ~ BooleanOf a) => bool -> a -> a -> a
   |                 ^

src/Data/Boolean.hs:77:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
77 | boolean :: (IfB a, bool ~ BooleanOf a) => a -> a -> bool -> a
   |                         ^

src/Data/Boolean.hs:81:37: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
81 | cond :: (Applicative f, IfB a, bool ~ BooleanOf a) => f bool -> f a -> f a -> f a
   |                                     ^

src/Data/Boolean.hs:85:51: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
85 | crop :: (Applicative f, Monoid (f a), IfB a, bool ~ BooleanOf a) => f bool -> f a -> f a
   |                                                   ^

src/Data/Boolean.hs:89:26: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
89 | guardedB :: (IfB b, bool ~ BooleanOf b) => bool -> [(bool,b)] -> b -> b
   |                          ^

src/Data/Boolean.hs:94:23: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
   |
94 | caseB :: (IfB b, bool ~ BooleanOf b) => a -> [(a -> bool, b)] -> b -> b
   |                       ^

src/Data/Boolean.hs:102:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
102 |   (==*), (/=*) :: (bool ~ BooleanOf a) => a -> a -> bool
    |                         ^

src/Data/Boolean.hs:109:37: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
109 |   (<*), (<=*), (>*), (>=*) :: (bool ~ BooleanOf a) => a -> a -> bool
    |                                     ^

src/Data/Boolean.hs:178:45: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
178 | instance (Boolean (BooleanOf a),BooleanOf a ~ Bool) => IfB [a] where { ifB = ife }
    |                                             ^

src/Data/Boolean.hs:180:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
180 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q
    |                ^

src/Data/Boolean.hs:180:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
180 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q
    |                                    ^

src/Data/Boolean.hs:184:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
184 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r
    |                ^

src/Data/Boolean.hs:184:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
184 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r
    |                                    ^

src/Data/Boolean.hs:184:56: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
184 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r
    |                                                        ^

src/Data/Boolean.hs:189:16: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                ^

src/Data/Boolean.hs:189:36: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                                    ^

src/Data/Boolean.hs:189:56: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                                                        ^

src/Data/Boolean.hs:189:76: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
189 | instance (bool ~ BooleanOf p, bool ~ BooleanOf q, bool ~ BooleanOf r, bool ~ BooleanOf s
    |                                                                            ^
[2 of 3] Compiling Data.Boolean.Numbers ( src/Data/Boolean/Numbers.hs, nothing )

src/Data/Boolean/Numbers.hs:119:34: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
119 |   properFraction :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> (b, a)
    |                                  ^

src/Data/Boolean/Numbers.hs:121:28: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
121 |   truncate :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                            ^

src/Data/Boolean/Numbers.hs:125:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
125 |   round :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                         ^

src/Data/Boolean/Numbers.hs:127:27: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
127 |   ceiling :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                           ^

src/Data/Boolean/Numbers.hs:129:25: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
129 |   floor :: (IntegerOf a ~ IntegerOf b, IntegralB b) => a -> b
    |                         ^

src/Data/Boolean/Numbers.hs:167:31: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
167 | fromIntegralB :: (IntegerOf a ~ IntegerOf b, IntegralB a, NumB b) => a -> b
    |                               ^

src/Data/Boolean/Numbers.hs:175:26: warning: [GHC-58520] [-Wtype-equality-requires-operators]
    The use of ~ without TypeOperators
    will become an error in a future GHC release.
    Suggested fix: Perhaps you intended to use TypeOperators
    |
175 | fromInteger' :: (Integer ~ IntegerOf b, NumB b) => Integer -> b
    |                          ^
[3 of 3] Compiling Data.Boolean.Overload ( src/Data/Boolean/Overload.hs, nothing )
Haddock coverage:
 100% ( 14 / 14) in 'Data.Boolean'
Warning: 'Prelude' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'atan2' is ambiguous. It is defined
    * at src/Data/Boolean/Numbers.hs:152:3
    * in GHC.Float
    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/Boolean/Numbers.hs:152:3
Warning: 'round' is ambiguous. It is defined
    * at src/Data/Boolean/Numbers.hs:125:3
    * in GHC.Real
    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/Boolean/Numbers.hs:125:3
Warning: 'floor' is ambiguous. It is defined
    * at src/Data/Boolean/Numbers.hs:129:3
    * in GHC.Real
    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/Boolean/Numbers.hs:129:3
Warning: 'ceiling' is ambiguous. It is defined
    * at src/Data/Boolean/Numbers.hs:127:3
    * in GHC.Real
    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/Boolean/Numbers.hs:127:3
Warning: 'truncate' is ambiguous. It is defined
    * at src/Data/Boolean/Numbers.hs:121:3
    * in GHC.Real
    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/Boolean/Numbers.hs:121:3
 100% (  8 /  8) in 'Data.Boolean.Numbers'
  14% (  2 / 14) in 'Data.Boolean.Overload'
  Missing documentation for:
    && (src/Data/Boolean/Overload.hs:46)
    || (src/Data/Boolean/Overload.hs:49)
    not (src/Data/Boolean/Overload.hs:52)
    ifThenElse (src/Data/Boolean/Overload.hs:57)
    == (src/Data/Boolean/Overload.hs:61)
    /= (src/Data/Boolean/Overload.hs:63)
    < (src/Data/Boolean/Overload.hs:67)
    > (src/Data/Boolean/Overload.hs:69)
    <= (src/Data/Boolean/Overload.hs:71)
    >= (src/Data/Boolean/Overload.hs:73)
    min (src/Data/Boolean/Overload.hs:76)
    max (src/Data/Boolean/Overload.hs:78)
Warning: Data.Boolean.Numbers: could not find link destinations for: 
	- Data.Boolean.Numbers.D:R:IntegerOfDouble
	- Data.Boolean.Numbers.D:R:IntegerOfFloat
	- Data.Boolean.Numbers.D:R:IntegerOfInteger
	- Data.Boolean.Numbers.D:R:IntegerOfInt
Documentation created: dist/doc/html/Boolean/,
dist/doc/html/Boolean/Boolean.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/Boolean-0.2.4-ZSnWeZn0pUBvEW1I9xenU
Completed    Boolean-0.2.4

Test log

[view raw]

Resolving dependencies...
No tests to run for all the packages in the project