Build #1 for logic-classes-1.5.3
| Package | logic-classes-1.5.3 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-10-17 16:22:34.020954 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | template-haskell-2.10.0.0, syb-0.6, set-extra-1.3.2, safecopy-0.8.5, pretty-1.1.2.0, mtl-2.2.1, containers-0.5.6.2, base-4.8.1.0, applicative-extras-0.1.8, PropLogic-0.9.0.4, HUnit-1.3.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring HUnit-1.3.0.0...
Building HUnit-1.3.0.0...
Preprocessing library HUnit-1.3.0.0...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o )
In-place registering HUnit-1.3.0.0...
Running Haddock for HUnit-1.3.0.0...
Running hscolour for HUnit-1.3.0.0...
Preprocessing library HUnit-1.3.0.0...
Preprocessing library HUnit-1.3.0.0...
Haddock coverage:
100% ( 2 / 2) in 'Test.HUnit.Terminal'
56% ( 5 / 9) in 'Test.HUnit.Lang'
Missing documentation for:
Module header
Location (Test/HUnit/Lang.hs:38)
Result (Test/HUnit/Lang.hs:74)
HUnitFailure (Test/HUnit/Lang.hs:44)
97% ( 33 / 34) in 'Test.HUnit.Base'
Missing documentation for:
Location (Test/HUnit/Lang.hs:38)
100% ( 8 / 8) in 'Test.HUnit.Text'
100% ( 3 / 3) in 'Test.HUnit'
Documentation created: dist/doc/html/HUnit/index.html,
dist/doc/html/HUnit/HUnit.txt
Creating package registration file:
/tmp/pkgConf-HUnit-1.3.0278722862233665123.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/HUnit-1.3.0.0-DDLSMCRs3jyLBDbJPCH01j
Registering HUnit-1.3.0.0...
Installed HUnit-1.3.0.0
Configuring applicative-extras-0.1.8...
Building applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
[1 of 3] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[2 of 3] Compiling Control.Applicative.Error ( Control/Applicative/Error.hs, dist/build/Control/Applicative/Error.o )
[3 of 3] Compiling Control.Applicative.Compose ( Control/Applicative/Compose.hs, dist/build/Control/Applicative/Compose.o )
In-place registering applicative-extras-0.1.8...
Running Haddock for applicative-extras-0.1.8...
Running hscolour for applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
Preprocessing library applicative-extras-0.1.8...
Haddock coverage:
0% ( 0 / 6) in 'Control.Applicative.Backwards'
Missing documentation for:
Module header
Backwards (Control/Applicative/Backwards.hs:9)
(Control/Applicative/Backwards.hs:11)
(Control/Applicative/Backwards.hs:14)
(Control/Applicative/Backwards.hs:18)
(Control/Applicative/Backwards.hs:25)
40% ( 4 / 10) in 'Control.Applicative.Error'
Missing documentation for:
Module header
ErrorMsg (Control/Applicative/Error.hs:10)
(Control/Applicative/Error.hs:12)
(Control/Applicative/Error.hs:16)
(Control/Applicative/Error.hs:23)
maybeRead (Control/Applicative/Error.hs:29)
25% ( 1 / 4) in 'Control.Applicative.Compose'
Missing documentation for:
Module header
(Control/Applicative/Compose.hs:9)
(Control/Applicative/Compose.hs:13)
Documentation created: dist/doc/html/applicative-extras/index.html,
dist/doc/html/applicative-extras/applicative-extras.txt
Creating package registration file:
/tmp/pkgConf-applicative-extras-0.13524062191600028624.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/applicative-extras-0.1.8-GuDuiiwMTTVLsSgJqNym44
Registering applicative-extras-0.1.8...
Installed applicative-extras-0.1.8
Configuring cereal-0.4.1.1...
Building cereal-0.4.1.1...
Preprocessing library cereal-0.4.1.1...
[1 of 5] Compiling Data.Serialize.Builder ( src/Data/Serialize/Builder.hs, dist/build/Data/Serialize/Builder.o )
src/Data/Serialize/Builder.hs:59:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
src/Data/Serialize/Builder.hs:197:40: Warning:
In the use of ‘S.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
[2 of 5] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o )
src/Data/Serialize/Put.hs:70:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Serialize/Put.hs:72:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
src/Data/Serialize/Put.hs:73:1: Warning:
The import of ‘Data.Foldable’ is redundant
except perhaps to import instances from ‘Data.Foldable’
To import instances alone, use: import Data.Foldable()
[3 of 5] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o )
src/Data/Serialize/Get.hs:89:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Serialize/Get.hs:90:1: Warning:
The import of ‘MonadPlus, when, liftM2, ap’
from module ‘Control.Monad’ is redundant
src/Data/Serialize/Get.hs:456:13: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
[4 of 5] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o )
src/Data/Serialize/IEEE754.hs:24:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[5 of 5] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o )
src/Data/Serialize.hs:68:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
In-place registering cereal-0.4.1.1...
Running Haddock for cereal-0.4.1.1...
Running hscolour for cereal-0.4.1.1...
Preprocessing library cereal-0.4.1.1...
Preprocessing library cereal-0.4.1.1...
src/Data/Serialize/Builder.hs:59:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
src/Data/Serialize/Builder.hs:197:40: Warning:
In the use of ‘S.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
src/Data/Serialize/Put.hs:70:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Serialize/Put.hs:72:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
src/Data/Serialize/Put.hs:73:1: Warning:
The import of ‘Data.Foldable’ is redundant
except perhaps to import instances from ‘Data.Foldable’
To import instances alone, use: import Data.Foldable()
src/Data/Serialize/Get.hs:89:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Serialize/Get.hs:90:1: Warning:
The import of ‘ap, liftM2, when, MonadPlus’
from module ‘Control.Monad’ is redundant
src/Data/Serialize/Get.hs:456:13: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
src/Data/Serialize/IEEE754.hs:24:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Serialize.hs:68:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Haddock coverage:
96% ( 26 / 27) in 'Data.Serialize.Builder'
Missing documentation for:
toByteString (src/Data/Serialize/Builder.hs:161)
69% ( 29 / 42) in 'Data.Serialize.Put'
Missing documentation for:
Putter (src/Data/Serialize/Put.hs:99)
putBuilder (src/Data/Serialize/Put.hs:137)
putTwoOf (src/Data/Serialize/Put.hs:261)
putListOf (src/Data/Serialize/Put.hs:265)
putIArrayOf (src/Data/Serialize/Put.hs:269)
putSeqOf (src/Data/Serialize/Put.hs:275)
putTreeOf (src/Data/Serialize/Put.hs:281)
putMapOf (src/Data/Serialize/Put.hs:288)
putIntMapOf (src/Data/Serialize/Put.hs:292)
putSetOf (src/Data/Serialize/Put.hs:296)
putIntSetOf (src/Data/Serialize/Put.hs:300)
putMaybeOf (src/Data/Serialize/Put.hs:304)
putEitherOf (src/Data/Serialize/Put.hs:309)
94% ( 50 / 53) in 'Data.Serialize.Get'
Missing documentation for:
label (src/Data/Serialize/Get.hs:215)
getLazyByteString (src/Data/Serialize/Get.hs:424)
getTwoOf (src/Data/Serialize/Get.hs:577)
100% ( 11 / 11) in 'Data.Serialize.IEEE754'
Cannot find documentation for: $example
100% ( 12 / 12) in 'Data.Serialize'
Warning: Data.Serialize.Put: could not find link destinations for:
PairS
Warning: Data.Serialize.Get: could not find link destinations for:
get
Documentation created: dist/doc/html/cereal/index.html,
dist/doc/html/cereal/cereal.txt
Creating package registration file:
/tmp/pkgConf-cereal-0.4.110966897722086206725.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/cereal-0.4.1.1-LMaR4P6lFvNJtmY00msKYH
Registering cereal-0.4.1.1...
Installed cereal-0.4.1.1
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.2296864819774044599.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
[1 of 1] Compiling System.Locale ( System/Locale.hs, dist/build/System/Locale.o )
In-place registering old-locale-1.0.0.7...
Running Haddock for old-locale-1.0.0.7...
Running hscolour for old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Haddock coverage:
60% ( 3 / 5) in 'System.Locale'
Missing documentation for:
TimeLocale (System/Locale.hs:36)
defaultTimeLocale (System/Locale.hs:49)
Documentation created: dist/doc/html/old-locale/index.html,
dist/doc/html/old-locale/old-locale.txt
Creating package registration file:
/tmp/pkgConf-old-locale-1.0.01021784812586235379.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-locale-1.0.0.7-D6X1KPq5Sui5XjrHMwvFwK
Registering old-locale-1.0.0.7...
Installed old-locale-1.0.0.7
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )
Control/Monad/Primitive.hs:41:1: Warning:
Module ‘Control.Monad.Trans.Error’ is deprecated:
Use Control.Monad.Trans.Except instead
Control/Monad/Primitive.hs:100:11: Warning:
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:100:47: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:101:19: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
In-place registering primitive-0.6.1.0...
Running Haddock for primitive-0.6.1.0...
Running hscolour for primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Control/Monad/Primitive.hs:41:1: Warning:
Module ‘Control.Monad.Trans.Error’ is deprecated:
Use Control.Monad.Trans.Except instead
Control/Monad/Primitive.hs:100:11: Warning:
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:100:47: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:101:19: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
Missing documentation for:
sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19)
sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19)
sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19)
sIZEOF_PTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19)
Word64_# (Data/Primitive/MachDeps.hs:120)
Int64_# (Data/Primitive/MachDeps.hs:121)
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
Missing documentation for:
setWord8Array# (Data/Primitive/Internal/Operations.hs:33)
setWord16Array# (Data/Primitive/Internal/Operations.hs:35)
setWord32Array# (Data/Primitive/Internal/Operations.hs:37)
setWord64Array# (Data/Primitive/Internal/Operations.hs:39)
setWordArray# (Data/Primitive/Internal/Operations.hs:41)
setInt8Array# (Data/Primitive/Internal/Operations.hs:43)
setInt16Array# (Data/Primitive/Internal/Operations.hs:45)
setInt32Array# (Data/Primitive/Internal/Operations.hs:47)
setInt64Array# (Data/Primitive/Internal/Operations.hs:49)
setIntArray# (Data/Primitive/Internal/Operations.hs:51)
setAddrArray# (Data/Primitive/Internal/Operations.hs:53)
setFloatArray# (Data/Primitive/Internal/Operations.hs:55)
setDoubleArray# (Data/Primitive/Internal/Operations.hs:57)
setWideCharArray# (Data/Primitive/Internal/Operations.hs:59)
setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62)
setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64)
setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66)
setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68)
setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70)
setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72)
setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74)
setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76)
setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78)
setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80)
setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82)
setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84)
setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86)
setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88)
75% ( 12 / 16) in 'Control.Monad.Primitive'
Missing documentation for:
unsafeInlinePrim (Control/Monad/Primitive.hs:189)
unsafeInlineIO (Control/Monad/Primitive.hs:193)
unsafeInlineST (Control/Monad/Primitive.hs:197)
touch (Control/Monad/Primitive.hs:201)
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 15 / 15) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
Missing documentation for:
ByteArray#
MutableByteArray#
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 9 / 9) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.1524305153292423943.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/primitive-0.6.1.0-5Jnw7oEuYtM9dmKXelGXVb
Registering primitive-0.6.1.0...
Installed primitive-0.6.1.0
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
System/Random.hs:43:1: Warning: Tab character
System/Random.hs:45:1: Warning: Tab character
System/Random.hs:47:1: Warning: Tab character
System/Random.hs:53:1: Warning: Tab character
System/Random.hs:55:1: Warning: Tab character
System/Random.hs:56:1: Warning: Tab character
System/Random.hs:57:1: Warning: Tab character
System/Random.hs:59:1: Warning: Tab character
System/Random.hs:61:1: Warning: Tab character
System/Random.hs:63:1: Warning: Tab character
System/Random.hs:64:1: Warning: Tab character
System/Random.hs:65:1: Warning: Tab character
System/Random.hs:66:1: Warning: Tab character
System/Random.hs:68:1: Warning: Tab character
System/Random.hs:69:1: Warning: Tab character
System/Random.hs:70:1: Warning: Tab character
System/Random.hs:71:1: Warning: Tab character
System/Random.hs:73:1: Warning: Tab character
System/Random.hs:74:1: Warning: Tab character
System/Random.hs:76:1: Warning: Tab character
System/Random.hs:90:22: Warning: Tab character
System/Random.hs:91:17: Warning: Tab character
System/Random.hs:94:17: Warning: Tab character
System/Random.hs:102:15: Warning: Tab character
System/Random.hs:240:1: Warning: Tab character
System/Random.hs:241:1: Warning: Tab character
System/Random.hs:249:1: Warning: Tab character
System/Random.hs:269:1: Warning: Tab character
System/Random.hs:270:1: Warning: Tab character
System/Random.hs:271:1: Warning: Tab character
System/Random.hs:272:1: Warning: Tab character
System/Random.hs:273:1: Warning: Tab character
System/Random.hs:326:11: Warning: Tab character
System/Random.hs:343:11: Warning: Tab character
System/Random.hs:384:11: Warning: Tab character
System/Random.hs:395:1: Warning: Tab character
System/Random.hs:396:1: Warning: Tab character
System/Random.hs:396:20: Warning: Tab character
System/Random.hs:397:1: Warning: Tab character
System/Random.hs:397:20: Warning: Tab character
System/Random.hs:399:11: Warning: Tab character
System/Random.hs:406:1: Warning: Tab character
System/Random.hs:415:1: Warning: Tab character
System/Random.hs:428:1: Warning: Tab character
System/Random.hs:429:1: Warning: Tab character
System/Random.hs:430:1: Warning: Tab character
System/Random.hs:440:3: Warning: Tab character
System/Random.hs:502:1: Warning: Tab character
System/Random.hs:503:1: Warning: Tab character
System/Random.hs:504:1: Warning: Tab character
System/Random.hs:506:1: Warning: Tab character
System/Random.hs:507:1: Warning: Tab character
System/Random.hs:508:1: Warning: Tab character
System/Random.hs:519:1: Warning: Tab character
System/Random.hs:519:14: Warning: Tab character
System/Random.hs:520:1: Warning: Tab character
System/Random.hs:522:1: Warning: Tab character
System/Random.hs:523:1: Warning: Tab character
System/Random.hs:524:1: Warning: Tab character
System/Random.hs:526:1: Warning: Tab character
System/Random.hs:527:1: Warning: Tab character
System/Random.hs:528:1: Warning: Tab character
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
System/Random.hs:43:1: Warning: Tab character
System/Random.hs:45:1: Warning: Tab character
System/Random.hs:47:1: Warning: Tab character
System/Random.hs:53:1: Warning: Tab character
System/Random.hs:55:1: Warning: Tab character
System/Random.hs:56:1: Warning: Tab character
System/Random.hs:57:1: Warning: Tab character
System/Random.hs:59:1: Warning: Tab character
System/Random.hs:61:1: Warning: Tab character
System/Random.hs:63:1: Warning: Tab character
System/Random.hs:64:1: Warning: Tab character
System/Random.hs:65:1: Warning: Tab character
System/Random.hs:66:1: Warning: Tab character
System/Random.hs:68:1: Warning: Tab character
System/Random.hs:69:1: Warning: Tab character
System/Random.hs:70:1: Warning: Tab character
System/Random.hs:71:1: Warning: Tab character
System/Random.hs:73:1: Warning: Tab character
System/Random.hs:74:1: Warning: Tab character
System/Random.hs:76:1: Warning: Tab character
System/Random.hs:90:22: Warning: Tab character
System/Random.hs:91:17: Warning: Tab character
System/Random.hs:94:17: Warning: Tab character
System/Random.hs:102:15: Warning: Tab character
System/Random.hs:240:1: Warning: Tab character
System/Random.hs:241:1: Warning: Tab character
System/Random.hs:249:1: Warning: Tab character
System/Random.hs:269:1: Warning: Tab character
System/Random.hs:270:1: Warning: Tab character
System/Random.hs:271:1: Warning: Tab character
System/Random.hs:272:1: Warning: Tab character
System/Random.hs:273:1: Warning: Tab character
System/Random.hs:326:11: Warning: Tab character
System/Random.hs:343:11: Warning: Tab character
System/Random.hs:384:11: Warning: Tab character
System/Random.hs:395:1: Warning: Tab character
System/Random.hs:396:1: Warning: Tab character
System/Random.hs:396:20: Warning: Tab character
System/Random.hs:397:1: Warning: Tab character
System/Random.hs:397:20: Warning: Tab character
System/Random.hs:399:11: Warning: Tab character
System/Random.hs:406:1: Warning: Tab character
System/Random.hs:415:1: Warning: Tab character
System/Random.hs:428:1: Warning: Tab character
System/Random.hs:429:1: Warning: Tab character
System/Random.hs:430:1: Warning: Tab character
System/Random.hs:440:3: Warning: Tab character
System/Random.hs:502:1: Warning: Tab character
System/Random.hs:503:1: Warning: Tab character
System/Random.hs:504:1: Warning: Tab character
System/Random.hs:506:1: Warning: Tab character
System/Random.hs:507:1: Warning: Tab character
System/Random.hs:508:1: Warning: Tab character
System/Random.hs:519:1: Warning: Tab character
System/Random.hs:519:14: Warning: Tab character
System/Random.hs:520:1: Warning: Tab character
System/Random.hs:522:1: Warning: Tab character
System/Random.hs:523:1: Warning: Tab character
System/Random.hs:524:1: Warning: Tab character
System/Random.hs:526:1: Warning: Tab character
System/Random.hs:527:1: Warning: Tab character
System/Random.hs:528:1: Warning: Tab character
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-11131884850380390179.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/random-1.1-1z8Ujelqc6aKgvPnbRUKkP
Registering random-1.1...
Installed random-1.1
Configuring syb-0.6...
Building syb-0.6...
Preprocessing library syb-0.6...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.6...
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...
Haddock coverage:
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 1 / 1) in 'Generics.SYB.Instances'
96% ( 43 / 45) in 'Data.Generics.Aliases'
Missing documentation for:
GenericQ' (src/Data/Generics/Aliases.hs:268)
GenericM' (src/Data/Generics/Aliases.hs:269)
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 17 / 17) in 'Data.Generics.Twins'
100% ( 2 / 2) in 'Generics.SYB.Twins'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-017878975251745897490.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR
Registering syb-0.6...
Installed syb-0.6
Configuring text-1.2.1.3...
Building text-1.2.1.3...
Preprocessing library text-1.2.1.3...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
In-place registering text-1.2.1.3...
Running Haddock for text-1.2.1.3...
Running hscolour for text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
Missing documentation for:
IReader (Data/Text/Internal/Read.hs:26)
IParser (Data/Text/Internal/Read.hs:28)
T (Data/Text/Internal/Read.hs:48)
digitToInt (Data/Text/Internal/Read.hs:61)
hexDigitToInt (Data/Text/Internal/Read.hs:55)
perhaps (Data/Text/Internal/Read.hs:50)
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
Missing documentation for:
validate (Data/Text/Internal/Encoding/Utf32.hs:24)
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
Missing documentation for:
roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17)
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
Missing documentation for:
Module header
digits (Data/Text/Internal/Builder/Int/Digits.hs:21)
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
Missing documentation for:
chr2 (Data/Text/Internal/Encoding/Utf16.hs:29)
validate1 (Data/Text/Internal/Encoding/Utf16.hs:38)
validate2 (Data/Text/Internal/Encoding/Utf16.hs:42)
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
Missing documentation for:
ord (Data/Text/Internal/Unsafe/Char.hs:39)
unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43)
unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47)
unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51)
95% ( 19 / 20) in 'Data.Text.Internal'
Missing documentation for:
textP (Data/Text/Internal.hs:97)
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
Missing documentation for:
Size (Data/Text/Internal/Fusion/Size.hs:40)
exactly (Data/Text/Internal/Fusion/Size.hs:44)
exactSize (Data/Text/Internal/Fusion/Size.hs:49)
maxSize (Data/Text/Internal/Fusion/Size.hs:57)
betweenSize (Data/Text/Internal/Fusion/Size.hs:65)
unknownSize (Data/Text/Internal/Fusion/Size.hs:74)
compareSize (Data/Text/Internal/Fusion/Size.hs:143)
isEmpty (Data/Text/Internal/Fusion/Size.hs:151)
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
Missing documentation for:
Module header
upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13)
lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220)
titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225)
foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324)
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
Missing documentation for:
singleton (Data/Text/Internal/Fusion/Common.hs:119)
streamList (Data/Text/Internal/Fusion/Common.hs:125)
unstreamList (Data/Text/Internal/Fusion/Common.hs:131)
intercalate (Data/Text/Internal/Fusion/Common.hs:577)
justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479)
scanl (Data/Text/Internal/Fusion/Common.hs:656)
replicateCharI (Data/Text/Internal/Fusion/Common.hs:671)
replicateI (Data/Text/Internal/Fusion/Common.hs:682)
93% ( 13 / 14) in 'Data.Text.Unsafe'
Missing documentation for:
Iter (Data/Text/Unsafe.hs:62)
33% ( 1 / 3) in 'Data.Text.Internal.Private'
Missing documentation for:
runText (Data/Text/Internal/Private.hs:33)
span_ (Data/Text/Internal/Private.hs:23)
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
length (Data/Text/Internal/Fusion.hs:127)
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
Missing documentation for:
restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63)
restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39)
restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106)
restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87)
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
Missing documentation for:
ord2 (Data/Text/Internal/Encoding/Utf8.hs:58)
ord3 (Data/Text/Internal/Encoding/Utf8.hs:69)
ord4 (Data/Text/Internal/Encoding/Utf8.hs:81)
chr2 (Data/Text/Internal/Encoding/Utf8.hs:94)
chr3 (Data/Text/Internal/Encoding/Utf8.hs:103)
chr4 (Data/Text/Internal/Encoding/Utf8.hs:114)
validate1 (Data/Text/Internal/Encoding/Utf8.hs:128)
validate2 (Data/Text/Internal/Encoding/Utf8.hs:132)
validate3 (Data/Text/Internal/Encoding/Utf8.hs:136)
validate4 (Data/Text/Internal/Encoding/Utf8.hs:153)
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
Missing documentation for:
streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57)
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (126 /126) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
Missing documentation for:
encodeUtf8 (Data/Text/Lazy/Encoding.hs:148)
encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162)
encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167)
99% (127 /128) in 'Data.Text.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
Missing documentation for:
append' (Data/Text/Internal/Builder.hs:288)
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
Missing documentation for:
Module header
decimal (Data/Text/Lazy/Builder/Int.hs:52)
hexadecimal (Data/Text/Lazy/Builder/Int.hs:162)
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
Missing documentation for:
formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46)
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
bracket
Warning: Data.Text: could not find link destinations for:
replicateChar countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
replicateChar dropWords splitAtWord countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
empty append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file:
/tmp/pkgConf-text-1.2.11670372305278450030.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.1.3-1l1AN4I48k37RaQ6fm6CEh
Registering text-1.2.1.3...
Installed text-1.2.1.3
Configuring old-time-1.1.0.3...
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/timeb.h usability... yes
checking sys/timeb.h presence... yes
checking for sys/timeb.h... yes
checking time.h usability... yes
checking time.h presence... yes
checking for time.h... yes
checking for ftime... yes
checking for gmtime_r... yes
checking for localtime_r... yes
checking for gettimeofday... yes
checking whether struct tm is in sys/time.h or time.h... time.h
checking for struct tm.tm_zone... yes
checking whether time.h and sys/time.h may both be included... yes
checking for sys/time.h... (cached) yes
checking whether altzone is declared... no
configure: creating ./config.status
config.status: creating include/HsTimeConfig.h
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
Building old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
[1 of 1] Compiling System.Time ( dist/build/System/Time.hs, dist/build/System/Time.o )
In-place registering old-time-1.1.0.3...
Running Haddock for old-time-1.1.0.3...
Running hscolour for old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Haddock coverage:
95% ( 20 / 21) in 'System.Time'
Missing documentation for:
getClockTime (System/Time.hsc:232)
Documentation created: dist/doc/html/old-time/index.html,
dist/doc/html/old-time/old-time.txt
Creating package registration file:
/tmp/pkgConf-old-time-1.1.013123130431803602255.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-time-1.1.0.3-FBWJJDS5FKr7UKFScBcUW2
Registering old-time-1.1.0.3...
Installed old-time-1.1.0.3
Configuring vector-0.10.12.3...
Building vector-0.10.12.3...
Preprocessing library vector-0.10.12.3...
[ 1 of 19] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
[ 2 of 19] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 3 of 19] Compiling Data.Vector.Fusion.Stream.Size ( Data/Vector/Fusion/Stream/Size.hs, dist/build/Data/Vector/Fusion/Stream/Size.o )
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
[ 4 of 19] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
[ 6 of 19] Compiling Data.Vector.Fusion.Stream ( Data/Vector/Fusion/Stream.hs, dist/build/Data/Vector/Fusion/Stream.o )
[ 7 of 19] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[ 8 of 19] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 9 of 19] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[10 of 19] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
[11 of 19] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[12 of 19] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[13 of 19] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
Data/Vector/Storable/Mutable.hs:450:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[14 of 19] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
Data/Vector/Storable.hs:1398:1: Warning:
Rule "unsafeFromForeignPtr fp 0 n -> unsafeFromForeignPtr0 fp n " may never fire
because ‘unsafeFromForeignPtr’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘unsafeFromForeignPtr’
[15 of 19] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
[16 of 19] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
[17 of 19] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
[18 of 19] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[19 of 19] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
In-place registering vector-0.10.12.3...
Running Haddock for vector-0.10.12.3...
Running hscolour for vector-0.10.12.3...
Preprocessing library vector-0.10.12.3...
Preprocessing library vector-0.10.12.3...
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit implementation for
‘*’, ‘abs’, and ‘signum’
In the instance declaration for ‘Num Size’
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
Missing documentation for:
getPtr (Data/Vector/Storable/Internal.hs:26)
setPtr (Data/Vector/Storable/Internal.hs:30)
updPtr (Data/Vector/Storable/Internal.hs:34)
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 6 / 6) in 'Data.Vector.Fusion.Stream.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
Missing documentation for:
Checks (Data/Vector/Internal/Check.hs:49)
doChecks (Data/Vector/Internal/Check.hs:73)
error (Data/Vector/Internal/Check.hs:82)
internalError (Data/Vector/Internal/Check.hs:87)
check (Data/Vector/Internal/Check.hs:103)
checkIndex (Data/Vector/Internal/Check.hs:117)
checkLength (Data/Vector/Internal/Check.hs:131)
checkSlice (Data/Vector/Internal/Check.hs:145)
83% (104 /126) in 'Data.Vector.Fusion.Stream.Monadic'
Missing documentation for:
SPEC (Data/Vector/Fusion/Stream/Monadic.hs:102)
generate (Data/Vector/Fusion/Stream/Monadic.hs:179)
unbox (Data/Vector/Fusion/Stream/Monadic.hs:431)
concatMap (Data/Vector/Fusion/Stream/Monadic.hs:933)
zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:509)
zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:513)
zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:540)
zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:547)
zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:554)
zipWith (Data/Vector/Fusion/Stream/Monadic.hs:562)
zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:566)
zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:571)
zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:577)
zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:583)
zip (Data/Vector/Fusion/Stream/Monadic.hs:589)
zip3 (Data/Vector/Fusion/Stream/Monadic.hs:593)
zip4 (Data/Vector/Fusion/Stream/Monadic.hs:597)
zip5 (Data/Vector/Fusion/Stream/Monadic.hs:602)
zip6 (Data/Vector/Fusion/Stream/Monadic.hs:607)
and (Data/Vector/Fusion/Stream/Monadic.hs:907)
or (Data/Vector/Fusion/Stream/Monadic.hs:920)
concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:937)
85% ( 88 /104) in 'Data.Vector.Fusion.Stream'
Missing documentation for:
inplace (Data/Vector/Fusion/Stream.hs:107)
concatMap (Data/Vector/Fusion/Stream.hs:257)
unbox (Data/Vector/Fusion/Stream.hs:253)
zipWith4 (Data/Vector/Fusion/Stream.hs:285)
zipWith5 (Data/Vector/Fusion/Stream.hs:291)
zipWith6 (Data/Vector/Fusion/Stream.hs:297)
zip (Data/Vector/Fusion/Stream.hs:303)
zip3 (Data/Vector/Fusion/Stream.hs:307)
zip4 (Data/Vector/Fusion/Stream.hs:311)
zip5 (Data/Vector/Fusion/Stream.hs:316)
zip6 (Data/Vector/Fusion/Stream.hs:321)
and (Data/Vector/Fusion/Stream.hs:407)
or (Data/Vector/Fusion/Stream.hs:411)
unsafeFromList (Data/Vector/Fusion/Stream.hs:626)
zipWithM (Data/Vector/Fusion/Stream.hs:537)
zipWithM_ (Data/Vector/Fusion/Stream.hs:541)
64% ( 42 / 66) in 'Data.Vector.Generic.Mutable'
Missing documentation for:
init (Data/Vector/Generic/Mutable.hs:447)
tail (Data/Vector/Generic/Mutable.hs:451)
take (Data/Vector/Generic/Mutable.hs:426)
drop (Data/Vector/Generic/Mutable.hs:430)
splitAt (Data/Vector/Generic/Mutable.hs:438)
unsafeInit (Data/Vector/Generic/Mutable.hs:465)
unsafeTail (Data/Vector/Generic/Mutable.hs:469)
unsafeTake (Data/Vector/Generic/Mutable.hs:473)
unsafeDrop (Data/Vector/Generic/Mutable.hs:477)
overlaps (Data/Vector/Generic/Mutable.hs:485)
mstream (Data/Vector/Generic/Mutable.hs:237)
mstreamR (Data/Vector/Generic/Mutable.hs:266)
transform (Data/Vector/Generic/Mutable.hs:261)
transformR (Data/Vector/Generic/Mutable.hs:295)
fill (Data/Vector/Generic/Mutable.hs:248)
fillR (Data/Vector/Generic/Mutable.hs:279)
unsafeAccum (Data/Vector/Generic/Mutable.hs:736)
accum (Data/Vector/Generic/Mutable.hs:712)
unsafeUpdate (Data/Vector/Generic/Mutable.hs:749)
update (Data/Vector/Generic/Mutable.hs:725)
reverse (Data/Vector/Generic/Mutable.hs:760)
unstablePartition (Data/Vector/Generic/Mutable.hs:769)
unstablePartitionStream (Data/Vector/Generic/Mutable.hs:798)
partitionStream (Data/Vector/Generic/Mutable.hs:826)
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
5% ( 1 / 20) in 'Data.Vector.Generic.New'
Missing documentation for:
New (Data/Vector/Generic/New.hs:37)
create (Data/Vector/Generic/New.hs:39)
run (Data/Vector/Generic/New.hs:43)
runPrim (Data/Vector/Generic/New.hs:47)
apply (Data/Vector/Generic/New.hs:51)
modify (Data/Vector/Generic/New.hs:55)
modifyWithStream (Data/Vector/Generic/New.hs:59)
unstream (Data/Vector/Generic/New.hs:64)
transform (Data/Vector/Generic/New.hs:68)
unstreamR (Data/Vector/Generic/New.hs:89)
transformR (Data/Vector/Generic/New.hs:93)
slice (Data/Vector/Generic/New.hs:113)
init (Data/Vector/Generic/New.hs:117)
tail (Data/Vector/Generic/New.hs:121)
take (Data/Vector/Generic/New.hs:125)
drop (Data/Vector/Generic/New.hs:129)
unsafeSlice (Data/Vector/Generic/New.hs:133)
unsafeInit (Data/Vector/Generic/New.hs:137)
unsafeTail (Data/Vector/Generic/New.hs:141)
93% (215 /232) in 'Data.Vector.Generic'
Missing documentation for:
zipWith4 (Data/Vector/Generic.hs:1060)
zipWith5 (Data/Vector/Generic.hs:1069)
zipWith6 (Data/Vector/Generic.hs:1081)
izipWith3 (Data/Vector/Generic.hs:1103)
izipWith4 (Data/Vector/Generic.hs:1111)
izipWith5 (Data/Vector/Generic.hs:1120)
izipWith6 (Data/Vector/Generic.hs:1132)
zip3 (Data/Vector/Generic.hs:1150)
zip4 (Data/Vector/Generic.hs:1155)
zip5 (Data/Vector/Generic.hs:1160)
zip6 (Data/Vector/Generic.hs:1166)
unzip3 (Data/Vector/Generic.hs:1198)
unzip4 (Data/Vector/Generic.hs:1205)
unzip5 (Data/Vector/Generic.hs:1214)
unzip6 (Data/Vector/Generic.hs:1224)
dataCast (Data/Vector/Generic.hs:2029)
mkType (Data/Vector/Generic.hs:2024)
76% ( 38 / 50) in 'Data.Vector.Primitive.Mutable'
Missing documentation for:
IOVector (Data/Vector/Primitive/Mutable.hs:73)
STVector (Data/Vector/Primitive/Mutable.hs:74)
init (Data/Vector/Primitive/Mutable.hs:149)
tail (Data/Vector/Primitive/Mutable.hs:153)
take (Data/Vector/Primitive/Mutable.hs:137)
drop (Data/Vector/Primitive/Mutable.hs:141)
splitAt (Data/Vector/Primitive/Mutable.hs:145)
unsafeInit (Data/Vector/Primitive/Mutable.hs:175)
unsafeTail (Data/Vector/Primitive/Mutable.hs:179)
unsafeTake (Data/Vector/Primitive/Mutable.hs:167)
unsafeDrop (Data/Vector/Primitive/Mutable.hs:171)
overlaps (Data/Vector/Primitive/Mutable.hs:187)
97% (185 /191) in 'Data.Vector.Primitive'
Missing documentation for:
zipWith4 (Data/Vector/Primitive.hs:804)
zipWith5 (Data/Vector/Primitive.hs:810)
zipWith6 (Data/Vector/Primitive.hs:818)
izipWith4 (Data/Vector/Primitive.hs:840)
izipWith5 (Data/Vector/Primitive.hs:846)
izipWith6 (Data/Vector/Primitive.hs:854)
79% ( 46 / 58) in 'Data.Vector.Storable.Mutable'
Missing documentation for:
IOVector (Data/Vector/Storable/Mutable.hs:95)
STVector (Data/Vector/Storable/Mutable.hs:96)
init (Data/Vector/Storable/Mutable.hs:226)
tail (Data/Vector/Storable/Mutable.hs:230)
take (Data/Vector/Storable/Mutable.hs:214)
drop (Data/Vector/Storable/Mutable.hs:218)
splitAt (Data/Vector/Storable/Mutable.hs:222)
unsafeInit (Data/Vector/Storable/Mutable.hs:252)
unsafeTail (Data/Vector/Storable/Mutable.hs:256)
unsafeTake (Data/Vector/Storable/Mutable.hs:244)
unsafeDrop (Data/Vector/Storable/Mutable.hs:248)
overlaps (Data/Vector/Storable/Mutable.hs:264)
97% (194 /200) in 'Data.Vector.Storable'
Missing documentation for:
zipWith4 (Data/Vector/Storable.hs:812)
zipWith5 (Data/Vector/Storable.hs:818)
zipWith6 (Data/Vector/Storable.hs:826)
izipWith4 (Data/Vector/Storable.hs:848)
izipWith5 (Data/Vector/Storable.hs:854)
izipWith6 (Data/Vector/Storable.hs:862)
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
Missing documentation for:
MVector (Data/Vector/Unboxed/Base.hs:53)
IOVector (Data/Vector/Unboxed/Base.hs:56)
STVector (Data/Vector/Unboxed/Base.hs:57)
Vector (Data/Vector/Unboxed/Base.hs:54)
Unbox (Data/Vector/Unboxed/Base.hs:61)
96% (201 /210) in 'Data.Vector.Unboxed'
Missing documentation for:
Vector (Data/Vector/Unboxed/Base.hs:54)
MVector (Data/Vector/Unboxed/Base.hs:53)
Unbox (Data/Vector/Unboxed/Base.hs:61)
zipWith4 (Data/Vector/Unboxed.hs:835)
zipWith5 (Data/Vector/Unboxed.hs:841)
zipWith6 (Data/Vector/Unboxed.hs:848)
izipWith4 (Data/Vector/Unboxed.hs:869)
izipWith5 (Data/Vector/Unboxed.hs:875)
izipWith6 (Data/Vector/Unboxed.hs:882)
77% ( 47 / 61) in 'Data.Vector.Unboxed.Mutable'
Missing documentation for:
MVector (Data/Vector/Unboxed/Base.hs:53)
IOVector (Data/Vector/Unboxed/Base.hs:56)
STVector (Data/Vector/Unboxed/Base.hs:57)
Unbox (Data/Vector/Unboxed/Base.hs:61)
init (Data/Vector/Unboxed/Mutable.hs:98)
tail (Data/Vector/Unboxed/Mutable.hs:102)
take (Data/Vector/Unboxed/Mutable.hs:86)
drop (Data/Vector/Unboxed/Mutable.hs:90)
splitAt (Data/Vector/Unboxed/Mutable.hs:94)
unsafeInit (Data/Vector/Unboxed/Mutable.hs:124)
unsafeTail (Data/Vector/Unboxed/Mutable.hs:128)
unsafeTake (Data/Vector/Unboxed/Mutable.hs:116)
unsafeDrop (Data/Vector/Unboxed/Mutable.hs:120)
overlaps (Data/Vector/Unboxed/Mutable.hs:136)
76% ( 37 / 49) in 'Data.Vector.Mutable'
Missing documentation for:
IOVector (Data/Vector/Mutable.hs:73)
STVector (Data/Vector/Mutable.hs:74)
init (Data/Vector/Mutable.hs:221)
tail (Data/Vector/Mutable.hs:225)
take (Data/Vector/Mutable.hs:209)
drop (Data/Vector/Mutable.hs:213)
splitAt (Data/Vector/Mutable.hs:218)
unsafeInit (Data/Vector/Mutable.hs:246)
unsafeTail (Data/Vector/Mutable.hs:250)
unsafeTake (Data/Vector/Mutable.hs:238)
unsafeDrop (Data/Vector/Mutable.hs:242)
overlaps (Data/Vector/Mutable.hs:258)
94% (199 /212) in 'Data.Vector'
Missing documentation for:
zipWith4 (Data/Vector.hs:927)
zipWith5 (Data/Vector.hs:932)
zipWith6 (Data/Vector.hs:938)
izipWith4 (Data/Vector.hs:956)
izipWith5 (Data/Vector.hs:961)
izipWith6 (Data/Vector.hs:967)
zip4 (Data/Vector.hs:983)
zip5 (Data/Vector.hs:988)
zip6 (Data/Vector.hs:993)
unzip3 (Data/Vector.hs:1006)
unzip4 (Data/Vector.hs:1010)
unzip5 (Data/Vector.hs:1014)
unzip6 (Data/Vector.hs:1019)
Warning: Data.Vector.Unboxed: could not find link destinations for:
TFCo:R:VectorBool V_Bool TFCo:R:VectorChar V_Char TFCo:R:VectorDouble V_Double TFCo:R:VectorFloat V_Float TFCo:R:VectorInt V_Int TFCo:R:VectorInt8 V_Int8 TFCo:R:VectorInt16 V_Int16 TFCo:R:VectorInt32 V_Int32 TFCo:R:VectorInt64 V_Int64 TFCo:R:VectorWord V_Word TFCo:R:VectorWord8 V_Word8 TFCo:R:VectorWord16 V_Word16 TFCo:R:VectorWord32 V_Word32 TFCo:R:VectorWord64 V_Word64 TFCo:R:Vector() V_Unit TFCo:R:VectorComplex V_Complex TFCo:R:Vector(,) V_2 TFCo:R:Vector(,,) V_3 TFCo:R:Vector(,,,) V_4 TFCo:R:Vector(,,,,) V_5 TFCo:R:Vector(,,,,,) V_6 TFCo:R:MVectorsBool MV_Bool TFCo:R:MVectorsChar MV_Char TFCo:R:MVectorsDouble MV_Double TFCo:R:MVectorsFloat MV_Float TFCo:R:MVectorsWord64 MV_Word64 TFCo:R:MVectorsWord32 MV_Word32 TFCo:R:MVectorsWord16 MV_Word16 TFCo:R:MVectorsWord8 MV_Word8 TFCo:R:MVectorsWord MV_Word TFCo:R:MVectorsInt64 MV_Int64 TFCo:R:MVectorsInt32 MV_Int32 TFCo:R:MVectorsInt16 MV_Int16 TFCo:R:MVectorsInt8 MV_Int8 TFCo:R:MVectorsInt MV_Int TFCo:R:MVectors() MV_Unit TFCo:R:MVectorsComplex MV_Complex TFCo:R:MVectors(,) MV_2 TFCo:R:MVectors(,,) MV_3 TFCo:R:MVectors(,,,) MV_4 TFCo:R:MVectors(,,,,) MV_5 TFCo:R:MVectors(,,,,,) MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
TFCo:R:MVectorsBool MV_Bool TFCo:R:MVectorsChar MV_Char TFCo:R:MVectorsDouble MV_Double TFCo:R:MVectorsFloat MV_Float TFCo:R:MVectorsWord64 MV_Word64 TFCo:R:MVectorsWord32 MV_Word32 TFCo:R:MVectorsWord16 MV_Word16 TFCo:R:MVectorsWord8 MV_Word8 TFCo:R:MVectorsWord MV_Word TFCo:R:MVectorsInt64 MV_Int64 TFCo:R:MVectorsInt32 MV_Int32 TFCo:R:MVectorsInt16 MV_Int16 TFCo:R:MVectorsInt8 MV_Int8 TFCo:R:MVectorsInt MV_Int TFCo:R:MVectors() MV_Unit TFCo:R:MVectorsComplex MV_Complex TFCo:R:MVectors(,) MV_2 TFCo:R:MVectors(,,) MV_3 TFCo:R:MVectors(,,,) MV_4 TFCo:R:MVectors(,,,,) MV_5 TFCo:R:MVectors(,,,,,) MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file:
/tmp/pkgConf-vector-0.10.12162403134612203759.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/vector-0.10.12.3-JrQt7SYKOQF2foH4Ugm8MQ
Registering vector-0.10.12.3...
Installed vector-0.10.12.3
Configuring set-extra-1.3.2...
Building set-extra-1.3.2...
Preprocessing library set-extra-1.3.2...
[1 of 2] Compiling Data.Set.ExtraG ( Data/Set/ExtraG.hs, dist/build/Data/Set/ExtraG.o )
[2 of 2] Compiling Data.Set.Extra ( Data/Set/Extra.hs, dist/build/Data/Set/Extra.o )
In-place registering set-extra-1.3.2...
Running Haddock for set-extra-1.3.2...
Running hscolour for set-extra-1.3.2...
Preprocessing library set-extra-1.3.2...
Preprocessing library set-extra-1.3.2...
Haddock coverage:
0% ( 0 / 2) in 'Data.Set.ExtraG'
Missing documentation for:
Module header
gFind (Data/Set/ExtraG.hs:10)
Warning: Data.Set.Extra: Could not find documentation for exported module: Set
13% ( 3 / 23) in 'Data.Set.Extra'
Missing documentation for:
Module header
mapM (Data/Set/Extra.hs:38)
mapM_ (Data/Set/Extra.hs:41)
filterM (Data/Set/Extra.hs:44)
catMaybes (Data/Set/Extra.hs:47)
mapMaybe (Data/Set/Extra.hs:50)
flatten (Data/Set/Extra.hs:53)
concatMap (Data/Set/Extra.hs:57)
concatMapM (Data/Set/Extra.hs:60)
any (Data/Set/Extra.hs:63)
all (Data/Set/Extra.hs:74)
or (Data/Set/Extra.hs:77)
and (Data/Set/Extra.hs:80)
fromSS (Data/Set/Extra.hs:91)
ssMapM (Data/Set/Extra.hs:94)
cartesianProduct (Data/Set/Extra.hs:101)
groupBy (Data/Set/Extra.hs:104)
partitionM (Data/Set/Extra.hs:107)
unzip (Data/Set/Extra.hs:112)
gFind (Data/Set/ExtraG.hs:10)
Documentation created: dist/doc/html/set-extra/index.html,
dist/doc/html/set-extra/set-extra.txt
Creating package registration file:
/tmp/pkgConf-set-extra-1.3107230151909197235.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/set-extra-1.3.2-5BrcQgn42kp2VL93LMxjDH
Registering set-extra-1.3.2...
Installed set-extra-1.3.2
Configuring PropLogic-0.9.0.4...
Building PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
[1 of 8] Compiling Costack ( Costack.hs, dist/build/Costack.o )
[2 of 8] Compiling Olist ( Olist.hs, dist/build/Olist.o )
[3 of 8] Compiling TextDisplay ( TextDisplay.hs, dist/build/TextDisplay.o )
[4 of 8] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/PropLogicCore.o )
[5 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o )
[6 of 8] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/FastPropLogic.o )
[7 of 8] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/PropLogicTest.o )
[8 of 8] Compiling PropLogic ( PropLogic.hs, dist/build/PropLogic.o )
In-place registering PropLogic-0.9.0.4...
Preprocessing executable 'program' for PropLogic-0.9.0.4...
[1 of 9] Compiling Olist ( Olist.hs, dist/build/program/program-tmp/Olist.o )
[2 of 9] Compiling Costack ( Costack.hs, dist/build/program/program-tmp/Costack.o )
[3 of 9] Compiling TextDisplay ( TextDisplay.hs, dist/build/program/program-tmp/TextDisplay.o )
[4 of 9] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/program/program-tmp/PropLogicCore.o )
[5 of 9] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/program/program-tmp/DefaultPropLogic.o )
[6 of 9] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/program/program-tmp/FastPropLogic.o )
[7 of 9] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/program/program-tmp/PropLogicTest.o )
[8 of 9] Compiling PropLogic ( PropLogic.hs, dist/build/program/program-tmp/PropLogic.o )
[9 of 9] Compiling Main ( Main.hs, dist/build/program/program-tmp/Main.o )
Linking dist/build/program/program ...
Running Haddock for PropLogic-0.9.0.4...
Running hscolour for PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
Preprocessing executable 'program' for PropLogic-0.9.0.4...
Preprocessing library PropLogic-0.9.0.4...
Haddock coverage:
0% ( 0 / 23) in 'Costack'
Missing documentation for:
Module header
Costack (Costack.hs:16)
fromList (Costack.hs:19)
toList (Costack.hs:22)
cons (Costack.hs:25)
cocons (Costack.hs:28)
head (Costack.hs:31)
tail (Costack.hs:35)
isEmpty (Costack.hs:39)
empty (Costack.hs:42)
singleton (Costack.hs:45)
append (Costack.hs:48)
concat (Costack.hs:51)
merge (Costack.hs:54)
length (Costack.hs:57)
map (Costack.hs:60)
foldr (Costack.hs:63)
take (Costack.hs:67)
filter (Costack.hs:70)
sort (Costack.hs:73)
strictSort (Costack.hs:82)
sorted (Costack.hs:76)
strictSorted (Costack.hs:85)
57% ( 25 / 44) in 'Olist'
Missing documentation for:
Olist (Olist.hs:149)
olist (Olist.hs:153)
isOlist (Olist.hs:157)
empty (Olist.hs:164)
isEmpty (Olist.hs:167)
member (Olist.hs:172)
insert (Olist.hs:179)
delete (Olist.hs:186)
included (Olist.hs:195)
properlyIncluded (Olist.hs:203)
disjunct (Olist.hs:212)
properlyDisjunct (Olist.hs:220)
equal (Olist.hs:228)
union (Olist.hs:231)
intersection (Olist.hs:239)
difference (Olist.hs:247)
opposition (Olist.hs:255)
unionList (Olist.hs:263)
intersectionList (Olist.hs:266)
47% ( 21 / 45) in 'TextDisplay'
Missing documentation for:
TextFrame (TextDisplay.hs:165)
isNonSpaceWhite (TextDisplay.hs:167)
findTextFrameError (TextDisplay.hs:170)
correctTextFrame (TextDisplay.hs:182)
width (TextDisplay.hs:189)
height (TextDisplay.hs:193)
printTextFrame (TextDisplay.hs:196)
textFrameBox (TextDisplay.hs:199)
textFrameBracket (TextDisplay.hs:204)
defaultTextFrame (TextDisplay.hs:210)
Display (TextDisplay.hs:215)
TextFrameTable (TextDisplay.hs:246)
columnWidthList (TextDisplay.hs:248)
rowHeightList (TextDisplay.hs:256)
correctTextFrameTable (TextDisplay.hs:259)
bottomAlign (TextDisplay.hs:280)
topAlign (TextDisplay.hs:286)
centerAlign (TextDisplay.hs:292)
leftAlign (TextDisplay.hs:302)
rightAlign (TextDisplay.hs:308)
middleAlign (TextDisplay.hs:314)
normalTextFrameTable (TextDisplay.hs:323)
plainMerge (TextDisplay.hs:326)
gridMerge (TextDisplay.hs:330)
70% ( 7 / 10) in 'PropLogicCore'
Missing documentation for:
PropForm (PropLogicCore.hs:106)
stringToProp (PropLogicCore.hs:310)
PropAlg (PropLogicCore.hs:119)
59% (118 /201) in 'DefaultPropLogic'
Missing documentation for:
juncDeg (DefaultPropLogic.hs:911)
juncArgs (DefaultPropLogic.hs:921)
juncCons (DefaultPropLogic.hs:931)
atomSize (DefaultPropLogic.hs:943)
juncSize (DefaultPropLogic.hs:953)
size (DefaultPropLogic.hs:963)
LiteralPair (DefaultPropLogic.hs:968)
Valuator (DefaultPropLogic.hs:970)
correctValuator (DefaultPropLogic.hs:978)
valuate (DefaultPropLogic.hs:1124)
boolEval (DefaultPropLogic.hs:1137)
boolApply (DefaultPropLogic.hs:1151)
allValuators (DefaultPropLogic.hs:1110)
zeroValuators (DefaultPropLogic.hs:1119)
unitValuators (DefaultPropLogic.hs:1116)
TruthTable (DefaultPropLogic.hs:972)
correctTruthTable (DefaultPropLogic.hs:986)
truthTable (DefaultPropLogic.hs:1156)
plainTruthTable (DefaultPropLogic.hs:1163)
truthTableBy (DefaultPropLogic.hs:1170)
MultiTruthTable (DefaultPropLogic.hs:974)
correctMultiTruthTable (DefaultPropLogic.hs:1005)
multiTruthTable (DefaultPropLogic.hs:1177)
valuatorToNLC (DefaultPropLogic.hs:1067)
valuatorToNLD (DefaultPropLogic.hs:1072)
valuatorListToCNF (DefaultPropLogic.hs:1078)
valuatorListToDNF (DefaultPropLogic.hs:1081)
nlcToValuator (DefaultPropLogic.hs:1084)
nldToValuator (DefaultPropLogic.hs:1089)
cnfToValuatorList (DefaultPropLogic.hs:1094)
dnfToValuatorList (DefaultPropLogic.hs:1097)
truthTableZeroValuators (DefaultPropLogic.hs:1100)
truthTableUnitValuators (DefaultPropLogic.hs:1104)
truthTableToDNF (DefaultPropLogic.hs:1184)
truthTableToCNF (DefaultPropLogic.hs:1187)
OrdPropForm (DefaultPropLogic.hs:1230)
isOrdPropForm (DefaultPropLogic.hs:1232)
ordPropForm (DefaultPropLogic.hs:1242)
EvalNF (DefaultPropLogic.hs:1254)
isEvalNF (DefaultPropLogic.hs:1276)
eval (DefaultPropLogic.hs:1283)
apply (DefaultPropLogic.hs:1332)
LitForm (DefaultPropLogic.hs:1337)
isLitForm (DefaultPropLogic.hs:1339)
litFormAtom (DefaultPropLogic.hs:1345)
litFormValue (DefaultPropLogic.hs:1350)
NegNormForm (DefaultPropLogic.hs:1357)
isNegNormForm (DefaultPropLogic.hs:1359)
negNormForm (DefaultPropLogic.hs:1370)
NLC (DefaultPropLogic.hs:1395)
isNLC (DefaultPropLogic.hs:1403)
NLD (DefaultPropLogic.hs:1397)
isNLD (DefaultPropLogic.hs:1407)
CNF (DefaultPropLogic.hs:1399)
isCNF (DefaultPropLogic.hs:1411)
DNF (DefaultPropLogic.hs:1401)
isDNF (DefaultPropLogic.hs:1415)
NaturalDNF (DefaultPropLogic.hs:1423)
NaturalCNF (DefaultPropLogic.hs:1421)
isNaturalDNF (DefaultPropLogic.hs:1425)
isNaturalCNF (DefaultPropLogic.hs:1430)
naturalDNF (DefaultPropLogic.hs:1435)
naturalCNF (DefaultPropLogic.hs:1438)
PDNF (DefaultPropLogic.hs:1443)
PCNF (DefaultPropLogic.hs:1445)
primeDNF (DefaultPropLogic.hs:1480)
primeCNF (DefaultPropLogic.hs:1483)
validates (DefaultPropLogic.hs:1447)
falsifies (DefaultPropLogic.hs:1450)
directSubvaluators (DefaultPropLogic.hs:1453)
allDirectSubvalidators (DefaultPropLogic.hs:1458)
allDirectSubfalsifiers (DefaultPropLogic.hs:1461)
primeValuators (DefaultPropLogic.hs:1464)
coprimeValuators (DefaultPropLogic.hs:1472)
MDNF (DefaultPropLogic.hs:1488)
MCNF (DefaultPropLogic.hs:1490)
minimalDNFs (DefaultPropLogic.hs:1522)
minimalCNFs (DefaultPropLogic.hs:1525)
SimpleDNF (DefaultPropLogic.hs:1530)
SimpleCNF (DefaultPropLogic.hs:1532)
simpleDNF (DefaultPropLogic.hs:1534)
simpleCNF (DefaultPropLogic.hs:1539)
ext' (DefaultPropLogic.hs:1599)
21% ( 28 /133) in 'FastPropLogic'
Missing documentation for:
IAtom (FastPropLogic.hs:280)
ILit (FastPropLogic.hs:285)
ILine (FastPropLogic.hs:286)
IForm (FastPropLogic.hs:287)
XLit (FastPropLogic.hs:288)
XLine (FastPropLogic.hs:289)
XForm (FastPropLogic.hs:290)
XPDNF (FastPropLogic.hs:292)
XPCNF (FastPropLogic.hs:294)
MixForm (FastPropLogic.hs:297)
IdxPropForm (FastPropLogic.hs:282)
tr (FastPropLogic.hs:447)
iTr (FastPropLogic.hs:457)
idx (FastPropLogic.hs:467)
nth (FastPropLogic.hs:474)
itr (FastPropLogic.hs:483)
iUni (FastPropLogic.hs:492)
unifyIdxPropForms (FastPropLogic.hs:496)
unifyXForms (FastPropLogic.hs:503)
fromIdxPropForm (FastPropLogic.hs:538)
toIdxPropForm (FastPropLogic.hs:541)
newAtomsXForm (FastPropLogic.hs:510)
iLIT (FastPropLogic.hs:558)
iNLC (FastPropLogic.hs:563)
iNLD (FastPropLogic.hs:566)
iCNF (FastPropLogic.hs:569)
iDNF (FastPropLogic.hs:572)
xLIT (FastPropLogic.hs:577)
xNLC (FastPropLogic.hs:580)
xNLD (FastPropLogic.hs:583)
xCNF (FastPropLogic.hs:586)
xDNF (FastPropLogic.hs:589)
toXPDNF (FastPropLogic.hs:391)
toXPCNF (FastPropLogic.hs:402)
toM2DNF (FastPropLogic.hs:419)
toM2CNF (FastPropLogic.hs:429)
fromXPDNF (FastPropLogic.hs:413)
fromXPCNF (FastPropLogic.hs:416)
fromMixForm (FastPropLogic.hs:439)
isIAtom (FastPropLogic.hs:594)
isILit (FastPropLogic.hs:597)
isILine (FastPropLogic.hs:600)
isIForm (FastPropLogic.hs:606)
iLine (FastPropLogic.hs:611)
iForm (FastPropLogic.hs:624)
iAtom (FastPropLogic.hs:629)
iBool (FastPropLogic.hs:632)
negLit (FastPropLogic.hs:637)
lineIndices (FastPropLogic.hs:642)
formIndices (FastPropLogic.hs:645)
lineLength (FastPropLogic.hs:650)
formLength (FastPropLogic.hs:653)
volume (FastPropLogic.hs:656)
isOrderedForm (FastPropLogic.hs:661)
orderForm (FastPropLogic.hs:664)
atomForm (FastPropLogic.hs:669)
botForm (FastPropLogic.hs:672)
topForm (FastPropLogic.hs:675)
formJoinForm (FastPropLogic.hs:678)
formListJoin (FastPropLogic.hs:681)
lineMeetLine (FastPropLogic.hs:684)
lineMeetForm (FastPropLogic.hs:698)
formMeetForm (FastPropLogic.hs:701)
formListMeet (FastPropLogic.hs:704)
dualLine (FastPropLogic.hs:709)
dualForm (FastPropLogic.hs:712)
invertLine (FastPropLogic.hs:715)
invertForm (FastPropLogic.hs:718)
negLine (FastPropLogic.hs:721)
negForm (FastPropLogic.hs:724)
formCojoinLine (FastPropLogic.hs:727)
formCojoinForm (FastPropLogic.hs:730)
formAntijoinLine (FastPropLogic.hs:733)
formAntijoinForm (FastPropLogic.hs:736)
elimLine (FastPropLogic.hs:739)
elimForm (FastPropLogic.hs:747)
lineCovLine (FastPropLogic.hs:750)
lineCovForm (FastPropLogic.hs:760)
formCovForm (FastPropLogic.hs:767)
pairPartition (FastPropLogic.hs:776)
CaseSymbol (FastPropLogic.hs:791)
caseSymbol (FastPropLogic.hs:794)
pairPrim' (FastPropLogic.hs:810)
pairMin' (FastPropLogic.hs:829)
xprim' (FastPropLogic.hs:832)
xmin' (FastPropLogic.hs:835)
xprim (FastPropLogic.hs:840)
xmin (FastPropLogic.hs:947)
pairPrim (FastPropLogic.hs:952)
pairMin (FastPropLogic.hs:955)
isMinimalPair (FastPropLogic.hs:960)
allPairs (FastPropLogic.hs:963)
isPairwiseMinimal (FastPropLogic.hs:970)
cPrime (FastPropLogic.hs:976)
cPrimes (FastPropLogic.hs:981)
mrec (FastPropLogic.hs:989)
m2form (FastPropLogic.hs:1006)
iformJoinM2form (FastPropLogic.hs:1009)
primForm (FastPropLogic.hs:1021)
iformJoinPrimForm (FastPropLogic.hs:1024)
xformAtoms (FastPropLogic.hs:1090)
xformRedAtoms (FastPropLogic.hs:1093)
xformIrrAtoms (FastPropLogic.hs:1096)
mixToPDNF (FastPropLogic.hs:1268)
mixToPCNF (FastPropLogic.hs:1274)
42% ( 41 / 97) in 'PropLogicTest'
Missing documentation for:
Module header
pdnf' (PropLogicTest.hs:262)
pcnf' (PropLogicTest.hs:265)
spdnf' (PropLogicTest.hs:268)
spcnf' (PropLogicTest.hs:271)
xpdnf' (PropLogicTest.hs:274)
xpcnf' (PropLogicTest.hs:277)
pdnf (PropLogicTest.hs:280)
pcnf (PropLogicTest.hs:283)
spdnf (PropLogicTest.hs:286)
spcnf (PropLogicTest.hs:289)
xpdnf (PropLogicTest.hs:292)
xpcnf (PropLogicTest.hs:295)
randomListMember (PropLogicTest.hs:300)
randomChoice (PropLogicTest.hs:304)
shuffle (PropLogicTest.hs:318)
randomSublist (PropLogicTest.hs:325)
nRandomRIO (PropLogicTest.hs:337)
weightedRandomMember (PropLogicTest.hs:340)
appleBasketDistribution (PropLogicTest.hs:347)
averageLineLength (PropLogicTest.hs:361)
randomILine (PropLogicTest.hs:366)
randomIForm (PropLogicTest.hs:379)
randomXForm (PropLogicTest.hs:393)
randomDNF (PropLogicTest.hs:402)
randomCNF (PropLogicTest.hs:406)
randomCharDNF (PropLogicTest.hs:410)
randomCharCNF (PropLogicTest.hs:413)
randomIntDNF (PropLogicTest.hs:416)
randomIntCNF (PropLogicTest.hs:419)
SizeTriple (PropLogicTest.hs:424)
sizeTriple (PropLogicTest.hs:426)
JunctorSymbol (PropLogicTest.hs:431)
JunctorWeighting (PropLogicTest.hs:434)
defaultJunctorWeighting (PropLogicTest.hs:436)
weightedRandomPropForm (PropLogicTest.hs:439)
randomPropForm (PropLogicTest.hs:496)
randomCharProp (PropLogicTest.hs:507)
randomIntProp (PropLogicTest.hs:516)
axiom_reflexivity_of_subvalence (PropLogicTest.hs:545)
axiom_transitivity_of_subvalence (PropLogicTest.hs:548)
axiom_criterion_for_equivalence (PropLogicTest.hs:551)
test_prop_alg (PropLogicTest.hs:582)
total_test (PropLogicTest.hs:606)
Msec (PropLogicTest.hs:611)
CanonPerformance (PropLogicTest.hs:626)
Verbose (PropLogicTest.hs:628)
pnfCorrect (PropLogicTest.hs:632)
pnfCorrectRepeat (PropLogicTest.hs:662)
pnfPerform (PropLogicTest.hs:674)
pnfPerformRandom (PropLogicTest.hs:689)
pnfPerformRepeat (PropLogicTest.hs:695)
Seconds (PropLogicTest.hs:787)
meanValue (PropLogicTest.hs:845)
standDeviation (PropLogicTest.hs:848)
normSeconds (PropLogicTest.hs:852)
100% ( 29 / 29) in 'PropLogic'
Documentation created: dist/doc/html/PropLogic/index.html,
dist/doc/html/PropLogic/PropLogic.txt
Preprocessing executable 'program' for PropLogic-0.9.0.4...
Creating package registration file:
/tmp/pkgConf-PropLogic-0.9.01129709433574690958.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/PropLogic-0.9.0.4-BGyD7XjR8Dj32eY9gyh6OK
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering PropLogic-0.9.0.4...
Installed PropLogic-0.9.0.4
Configuring safecopy-0.8.5...
Building safecopy-0.8.5...
Preprocessing library safecopy-0.8.5...
[1 of 4] Compiling Data.SafeCopy.SafeCopy ( src/Data/SafeCopy/SafeCopy.hs, dist/build/Data/SafeCopy/SafeCopy.o )
[2 of 4] Compiling Data.SafeCopy.Derive ( src/Data/SafeCopy/Derive.hs, dist/build/Data/SafeCopy/Derive.o )
src/Data/SafeCopy/Derive.hs:26:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[3 of 4] Compiling Data.SafeCopy.Instances ( src/Data/SafeCopy/Instances.hs, dist/build/Data/SafeCopy/Instances.o )
src/Data/SafeCopy/Instances.hs:8:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/SafeCopy/Instances.hs:381:15: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
src/Data/SafeCopy/Instances.hs:384:15: Warning:
In the use of type constructor or class ‘Typeable2’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
[4 of 4] Compiling Data.SafeCopy ( src/Data/SafeCopy.hs, dist/build/Data/SafeCopy.o )
In-place registering safecopy-0.8.5...
Running Haddock for safecopy-0.8.5...
Running hscolour for safecopy-0.8.5...
Preprocessing library safecopy-0.8.5...
Preprocessing library safecopy-0.8.5...
src/Data/SafeCopy/Derive.hs:26:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/SafeCopy/Instances.hs:8:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/SafeCopy/Instances.hs:381:15: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
src/Data/SafeCopy/Instances.hs:384:15: Warning:
In the use of type constructor or class ‘Typeable2’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
Haddock coverage:
43% ( 18 / 42) in 'Data.SafeCopy.SafeCopy'
Missing documentation for:
isPrimitive (src/Data/SafeCopy/SafeCopy.hs:64)
constructGetterFromVersion (src/Data/SafeCopy/SafeCopy.hs:137)
castVersion (src/Data/SafeCopy/SafeCopy.hs:250)
(src/Data/SafeCopy/SafeCopy.hs:253)
(src/Data/SafeCopy/SafeCopy.hs:262)
Profile (src/Data/SafeCopy/SafeCopy.hs:283)
mkProfile (src/Data/SafeCopy/SafeCopy.hs:291)
Consistency (src/Data/SafeCopy/SafeCopy.hs:301)
availableVersions (src/Data/SafeCopy/SafeCopy.hs:303)
getForwardKind (src/Data/SafeCopy/SafeCopy.hs:316)
validChain (src/Data/SafeCopy/SafeCopy.hs:320)
checkConsistency (src/Data/SafeCopy/SafeCopy.hs:337)
computeConsistency (src/Data/SafeCopy/SafeCopy.hs:344)
isObviouslyConsistent (src/Data/SafeCopy/SafeCopy.hs:358)
proxyFromConsistency (src/Data/SafeCopy/SafeCopy.hs:367)
proxyFromKind (src/Data/SafeCopy/SafeCopy.hs:370)
consistentFromProxy (src/Data/SafeCopy/SafeCopy.hs:373)
versionFromProxy (src/Data/SafeCopy/SafeCopy.hs:376)
versionFromKind (src/Data/SafeCopy/SafeCopy.hs:379)
versionFromReverseKind (src/Data/SafeCopy/SafeCopy.hs:382)
kindFromProxy (src/Data/SafeCopy/SafeCopy.hs:385)
Proxy (src/Data/SafeCopy/SafeCopy.hs:391)
mkProxy (src/Data/SafeCopy/SafeCopy.hs:393)
asProxyType (src/Data/SafeCopy/SafeCopy.hs:396)
43% ( 3 / 7) in 'Data.SafeCopy.Derive'
Missing documentation for:
Module header
deriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:121)
deriveSafeCopySimpleIndexedType (src/Data/SafeCopy/Derive.hs:176)
deriveSafeCopyHappstackDataIndexedType (src/Data/SafeCopy/Derive.hs:226)
0% ( 0 / 67) in 'Data.SafeCopy.Instances'
Missing documentation for:
Module header
(src/Data/SafeCopy/Instances.hs:49)
(src/Data/SafeCopy/Instances.hs:57)
(src/Data/SafeCopy/Instances.hs:68)
(src/Data/SafeCopy/Instances.hs:76)
(src/Data/SafeCopy/Instances.hs:81)
(src/Data/SafeCopy/Instances.hs:86)
(src/Data/SafeCopy/Instances.hs:91)
(src/Data/SafeCopy/Instances.hs:96)
(src/Data/SafeCopy/Instances.hs:101)
iarray_getCopy (src/Data/SafeCopy/Instances.hs:106)
iarray_putCopy (src/Data/SafeCopy/Instances.hs:113)
(src/Data/SafeCopy/Instances.hs:120)
(src/Data/SafeCopy/Instances.hs:125)
(src/Data/SafeCopy/Instances.hs:130)
(src/Data/SafeCopy/Instances.hs:134)
(src/Data/SafeCopy/Instances.hs:137)
(src/Data/SafeCopy/Instances.hs:140)
(src/Data/SafeCopy/Instances.hs:144)
(src/Data/SafeCopy/Instances.hs:149)
(src/Data/SafeCopy/Instances.hs:157)
(src/Data/SafeCopy/Instances.hs:159)
(src/Data/SafeCopy/Instances.hs:161)
(src/Data/SafeCopy/Instances.hs:163)
(src/Data/SafeCopy/Instances.hs:165)
(src/Data/SafeCopy/Instances.hs:167)
(src/Data/SafeCopy/Instances.hs:169)
(src/Data/SafeCopy/Instances.hs:171)
(src/Data/SafeCopy/Instances.hs:173)
(src/Data/SafeCopy/Instances.hs:175)
(src/Data/SafeCopy/Instances.hs:177)
(src/Data/SafeCopy/Instances.hs:179)
(src/Data/SafeCopy/Instances.hs:181)
(src/Data/SafeCopy/Instances.hs:183)
(src/Data/SafeCopy/Instances.hs:185)
(src/Data/SafeCopy/Instances.hs:187)
(src/Data/SafeCopy/Instances.hs:189)
(src/Data/SafeCopy/Instances.hs:196)
(src/Data/SafeCopy/Instances.hs:201)
(src/Data/SafeCopy/Instances.hs:203)
(src/Data/SafeCopy/Instances.hs:205)
(src/Data/SafeCopy/Instances.hs:216)
(src/Data/SafeCopy/Instances.hs:222)
(src/Data/SafeCopy/Instances.hs:230)
(src/Data/SafeCopy/Instances.hs:236)
(src/Data/SafeCopy/Instances.hs:242)
(src/Data/SafeCopy/Instances.hs:248)
(src/Data/SafeCopy/Instances.hs:257)
(src/Data/SafeCopy/Instances.hs:263)
(src/Data/SafeCopy/Instances.hs:274)
(src/Data/SafeCopy/Instances.hs:285)
(src/Data/SafeCopy/Instances.hs:294)
(src/Data/SafeCopy/Instances.hs:303)
(src/Data/SafeCopy/Instances.hs:316)
(src/Data/SafeCopy/Instances.hs:325)
(src/Data/SafeCopy/Instances.hs:343)
(src/Data/SafeCopy/Instances.hs:346)
(src/Data/SafeCopy/Instances.hs:350)
typeName (src/Data/SafeCopy/Instances.hs:378)
typeName1 (src/Data/SafeCopy/Instances.hs:381)
typeName2 (src/Data/SafeCopy/Instances.hs:384)
getGenericVector (src/Data/SafeCopy/Instances.hs:387)
putGenericVector (src/Data/SafeCopy/Instances.hs:391)
(src/Data/SafeCopy/Instances.hs:395)
(src/Data/SafeCopy/Instances.hs:399)
(src/Data/SafeCopy/Instances.hs:403)
(src/Data/SafeCopy/Instances.hs:407)
85% ( 23 / 27) in 'Data.SafeCopy'
Missing documentation for:
Profile (src/Data/SafeCopy/SafeCopy.hs:283)
deriveSafeCopyIndexedType (src/Data/SafeCopy/Derive.hs:121)
deriveSafeCopySimpleIndexedType (src/Data/SafeCopy/Derive.hs:176)
deriveSafeCopyHappstackDataIndexedType (src/Data/SafeCopy/Derive.hs:226)
Warning: Data.SafeCopy: could not find link destinations for:
Proxy
Documentation created: dist/doc/html/safecopy/index.html,
dist/doc/html/safecopy/safecopy.txt
Creating package registration file:
/tmp/pkgConf-safecopy-0.811212413021402505904.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/safecopy-0.8.5-I3d6jG03VHsEgKw3cETQbu
Registering safecopy-0.8.5...
Installed safecopy-0.8.5
Downloading logic-classes-1.5.3...
Configuring logic-classes-1.5.3...
Building logic-classes-1.5.3...
Preprocessing library logic-classes-1.5.3...
[ 1 of 54] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/Data/Boolean.o )
[ 2 of 54] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o )
[ 3 of 54] Compiling Data.Logic.Failing ( Data/Logic/Failing.hs, dist/build/Data/Logic/Failing.o )
Data/Logic/Failing.hs:23:19: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Generics, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
[ 4 of 54] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o )
[ 5 of 54] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o )
[ 6 of 54] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o )
[ 7 of 54] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o )
[ 8 of 54] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o )
[ 9 of 54] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o )
[10 of 54] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o )
[11 of 54] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o )
[12 of 54] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o )
[13 of 54] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o )
[14 of 54] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/Data/Logic/Types/Common.o )
Data/Logic/Types/Common.hs:8:10: Warning:
Orphan instance: instance Variable String
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
[15 of 54] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o )
[16 of 54] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/Data/Logic/Classes/Constants.o )
Data/Logic/Classes/Constants.hs:39:10: Warning:
Orphan instance: instance Pretty Bool
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
[17 of 54] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/Data/Logic/Classes/Propositional.o )
[18 of 54] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o )
[19 of 54] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o )
[20 of 54] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o )
[21 of 54] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o )
[22 of 54] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o )
[23 of 54] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o )
[24 of 54] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o )
Data/Logic/Harrison/PropExamples.hs:55:22: Warning:
This binding for ‘n’ shadows the existing binding
bound at Data/Logic/Harrison/PropExamples.hs:51:12
Data/Logic/Harrison/PropExamples.hs:178:1: Warning:
Defined but not used: ‘halfcarry’
Data/Logic/Harrison/PropExamples.hs:181:1: Warning:
Defined but not used: ‘ha’
Data/Logic/Harrison/PropExamples.hs:225:1: Warning:
Top-level binding with no type signature: test02 :: Test
Data/Logic/Harrison/PropExamples.hs:261:1: Warning:
Defined but not used: ‘ripplecarry1’
Data/Logic/Harrison/PropExamples.hs:266:1: Warning:
Defined but not used: ‘mux’
Data/Logic/Harrison/PropExamples.hs:269:1: Warning:
Defined but not used: ‘offset’
Data/Logic/Harrison/PropExamples.hs:281:1: Warning:
Defined but not used: ‘carryselect’
Data/Logic/Harrison/PropExamples.hs:299:1: Warning:
Defined but not used: ‘mk_adder_test’
[25 of 54] Compiling Data.Logic.Harrison.DefCNF ( Data/Logic/Harrison/DefCNF.hs, dist/build/Data/Logic/Harrison/DefCNF.o )
[26 of 54] Compiling Data.Logic.Types.Harrison.Formulas.FirstOrder ( Data/Logic/Types/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.o )
[27 of 54] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o )
[28 of 54] Compiling Data.Logic.Types.Harrison.Prop ( Data/Logic/Types/Harrison/Prop.hs, dist/build/Data/Logic/Types/Harrison/Prop.o )
Data/Logic/Types/Harrison/Prop.hs:27:10: Warning:
Orphan instance: instance HasFixity String
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
Data/Logic/Types/Harrison/Prop.hs:36:10: Warning:
Orphan instance: instance Show (Formula String)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
[29 of 54] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o )
[30 of 54] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/Data/Logic/Classes/Apply.o )
[31 of 54] Compiling Data.Logic.Classes.Equals ( Data/Logic/Classes/Equals.hs, dist/build/Data/Logic/Classes/Equals.o )
Data/Logic/Classes/Equals.hs:139:7: Warning:
This binding for ‘parens’ shadows the existing binding
imported from ‘Text.PrettyPrint’ at Data/Logic/Classes/Equals.hs:34:57-62
(and originally defined in ‘Text.PrettyPrint.HughesPJ’)
[32 of 54] Compiling Data.Logic.Harrison.Equal ( Data/Logic/Harrison/Equal.hs, dist/build/Data/Logic/Harrison/Equal.o )
[33 of 54] Compiling Data.Logic.Harrison.FOL ( Data/Logic/Harrison/FOL.hs, dist/build/Data/Logic/Harrison/FOL.o )
Data/Logic/Harrison/FOL.hs:62:1: Warning:
Defined but not used: ‘mkLits’
Data/Logic/Harrison/FOL.hs:69:1: Warning:
Defined but not used: ‘on_formula’
Data/Logic/Harrison/FOL.hs:232:1: Warning:
Defined but not used: ‘fv'’
Data/Logic/Harrison/FOL.hs:272:1: Warning:
Defined but not used: ‘subst'’
[34 of 54] Compiling Data.Logic.Harrison.Skolem ( Data/Logic/Harrison/Skolem.hs, dist/build/Data/Logic/Harrison/Skolem.o )
[35 of 54] Compiling Data.Logic.Harrison.Normal ( Data/Logic/Harrison/Normal.hs, dist/build/Data/Logic/Harrison/Normal.o )
[36 of 54] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o )
[37 of 54] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/Data/Logic/Instances/PropLogic.o )
Data/Logic/Instances/PropLogic.hs:41:29: Warning:
This binding for ‘at’ shadows the existing binding
imported from ‘PropLogic’ at Data/Logic/Instances/PropLogic.hs:22:1-16
(and originally defined in ‘PropLogicCore’)
[38 of 54] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o )
[39 of 54] Compiling Data.Logic.Instances.SatSolver ( Data/Logic/Instances/SatSolver.hs, dist/build/Data/Logic/Instances/SatSolver.o )
[40 of 54] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o )
[41 of 54] Compiling Data.Logic.Harrison.Prolog ( Data/Logic/Harrison/Prolog.hs, dist/build/Data/Logic/Harrison/Prolog.o )
[42 of 54] Compiling Data.Logic.Types.Harrison.FOL ( Data/Logic/Types/Harrison/FOL.hs, dist/build/Data/Logic/Types/Harrison/FOL.o )
[43 of 54] Compiling Data.Logic.HUnit ( Data/Logic/HUnit.hs, dist/build/Data/Logic/HUnit.o )
Data/Logic/HUnit.hs:15:1: Warning:
The import of ‘Data.Logic.Types.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Types.Harrison.FOL’
To import instances alone, use: import Data.Logic.Types.Harrison.FOL()
Data/Logic/HUnit.hs:16:1: Warning:
The import of ‘fromString’ from module ‘Data.String’ is redundant
[44 of 54] Compiling Data.Logic.Harrison.DP ( Data/Logic/Harrison/DP.hs, dist/build/Data/Logic/Harrison/DP.o )
Data/Logic/Harrison/DP.hs:13:1: Warning:
The import of ‘tautology, cnf’
from module ‘Data.Logic.Harrison.Prop’ is redundant
Data/Logic/Harrison/DP.hs:20:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Data/Logic/Harrison/DP.hs:26:1: Warning:
Top-level binding with no type signature:
tests :: Test.HUnit.Base.Test
Data/Logic/Harrison/DP.hs:54:7: Warning:
This binding for ‘pure’ shadows the existing binding
imported from ‘Prelude’ at Data/Logic/Harrison/DP.hs:2:8-29
(and originally defined in ‘GHC.Base’)
Data/Logic/Harrison/DP.hs:116:1: Warning:
Top-level binding with no type signature:
test01 :: forall t. Test t
Data/Logic/Harrison/DP.hs:164:1: Warning:
Top-level binding with no type signature:
test02 :: forall t. Test t
Data/Logic/Harrison/DP.hs:200:13: Warning:
Defined but not used: ‘fn'’
Data/Logic/Harrison/DP.hs:205:12: Warning:
Defined but not used: ‘p’
Data/Logic/Harrison/DP.hs:239:12: Warning:
Defined but not used: ‘q’
Data/Logic/Harrison/DP.hs:240:19: Warning:
Defined but not used: ‘trail'’
Data/Logic/Harrison/DP.hs:275:1: Warning:
Top-level binding with no type signature:
test03 :: forall t. Test t
Data/Logic/Harrison/DP.hs:22:10: Warning:
Orphan instance: instance NumAtom (Atom N)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
[45 of 54] Compiling Data.Logic.Harrison.Herbrand ( Data/Logic/Harrison/Herbrand.hs, dist/build/Data/Logic/Harrison/Herbrand.o )
[46 of 54] Compiling Data.Logic.Harrison.Tableaux ( Data/Logic/Harrison/Tableaux.hs, dist/build/Data/Logic/Harrison/Tableaux.o )
Data/Logic/Harrison/Tableaux.hs:15:1: Warning:
The import of ‘Data.Logic.Classes.FirstOrder’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.FirstOrder’
To import instances alone, use: import Data.Logic.Classes.FirstOrder()
Data/Logic/Harrison/Tableaux.hs:19:1: Warning:
The import of ‘Data.Logic.Classes.Propositional’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.Propositional’
To import instances alone, use: import Data.Logic.Classes.Propositional()
Data/Logic/Harrison/Tableaux.hs:21:1: Warning:
The import of ‘Data.Logic.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.FOL’
To import instances alone, use: import Data.Logic.Harrison.FOL()
Data/Logic/Harrison/Tableaux.hs:22:1: Warning:
The import of ‘Data.Logic.Harrison.Herbrand’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Herbrand’
To import instances alone, use: import Data.Logic.Harrison.Herbrand()
Data/Logic/Harrison/Tableaux.hs:24:1: Warning:
The import of ‘Data.Logic.Harrison.Prop’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Prop’
To import instances alone, use: import Data.Logic.Harrison.Prop()
Data/Logic/Harrison/Tableaux.hs:25:1: Warning:
The import of ‘Data.Logic.Harrison.Skolem’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Skolem’
To import instances alone, use: import Data.Logic.Harrison.Skolem()
Data/Logic/Harrison/Tableaux.hs:80:1: Warning:
Defined but not used: ‘unify_complements’
Data/Logic/Harrison/Tableaux.hs:87:1: Warning:
Defined but not used: ‘unify_refute’
Data/Logic/Harrison/Tableaux.hs:102:1: Warning:
Defined but not used: ‘prawitz_loop’
[47 of 54] Compiling Data.Logic.Harrison.Meson ( Data/Logic/Harrison/Meson.hs, dist/build/Data/Logic/Harrison/Meson.o )
Data/Logic/Harrison/Meson.hs:9:1: Warning:
The import of ‘Constants’
from module ‘Data.Logic.Classes.Constants’ is redundant
[48 of 54] Compiling Data.Logic.Harrison.Resolution ( Data/Logic/Harrison/Resolution.hs, dist/build/Data/Logic/Harrison/Resolution.o )
[49 of 54] Compiling Data.Logic.Instances.Chiou ( Data/Logic/Instances/Chiou.hs, dist/build/Data/Logic/Instances/Chiou.o )
[50 of 54] Compiling Data.Logic.Resolution ( Data/Logic/Resolution.hs, dist/build/Data/Logic/Resolution.o )
[51 of 54] Compiling Data.Logic.KnowledgeBase ( Data/Logic/KnowledgeBase.hs, dist/build/Data/Logic/KnowledgeBase.o )
[52 of 54] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/Data/Logic/Types/FirstOrder.o )
Data/Logic/Types/FirstOrder.hs:18:1: Warning:
The import of ‘pApp, .=.’
from module ‘Data.Logic.Classes.Equals’ is redundant
[53 of 54] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o )
[54 of 54] Compiling Data.Logic.Types.Harrison.Equal ( Data/Logic/Types/Harrison/Equal.hs, dist/build/Data/Logic/Types/Harrison/Equal.o )
Data/Logic/Types/Harrison/Equal.hs:19:1: Warning:
The import of ‘mapAtomsFirstOrder, foldAtomsFirstOrder’
from module ‘Data.Logic.Classes.FirstOrder’ is redundant
In-place registering logic-classes-1.5.3...
Running Haddock for logic-classes-1.5.3...
Running hscolour for logic-classes-1.5.3...
Preprocessing library logic-classes-1.5.3...
Preprocessing library logic-classes-1.5.3...
Data/Logic/Failing.hs:23:19: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Generics, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
Data/Logic/Types/Common.hs:8:10: Warning:
Orphan instance: instance Variable String
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
Data/Logic/Classes/Constants.hs:39:10: Warning:
Orphan instance: instance Pretty Bool
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
Haddock coverage:
89% ( 8 / 9) in 'Data.Boolean'
Missing documentation for:
Clause (Data/Boolean.hs:75)
89% ( 17 / 19) in 'Data.Boolean.SatSolver'
Missing documentation for:
Clause (Data/Boolean.hs:75)
assertTrue' (Data/Boolean/SatSolver.hs:71)
33% ( 1 / 3) in 'Data.Logic.Failing'
Missing documentation for:
Module header
failing (Data/Logic/Failing.hs:11)
0% ( 0 / 29) in 'Data.Logic.Harrison.Lib'
Missing documentation for:
Module header
tests (Data/Logic/Harrison/Lib.hs:46)
setAny (Data/Logic/Harrison/Lib.hs:49)
setAll (Data/Logic/Harrison/Lib.hs:52)
tryfind (Data/Logic/Harrison/Lib.hs:339)
settryfind (Data/Logic/Harrison/Lib.hs:346)
|=> (Data/Logic/Harrison/Lib.hs:770)
|-> (Data/Logic/Harrison/Lib.hs:777)
fpf (Data/Logic/Harrison/Lib.hs:780)
defined (Data/Logic/Harrison/Lib.hs:631)
apply (Data/Logic/Harrison/Lib.hs:609)
exists (Data/Logic/Harrison/Lib.hs:161)
tryApplyD (Data/Logic/Harrison/Lib.hs:612)
allpairs (Data/Logic/Harrison/Lib.hs:202)
distrib' (Data/Logic/Harrison/Lib.hs:206)
image (Data/Logic/Harrison/Lib.hs:452)
optimize (Data/Logic/Harrison/Lib.hs:363)
minimize (Data/Logic/Harrison/Lib.hs:370)
maximize (Data/Logic/Harrison/Lib.hs:367)
optimize' (Data/Logic/Harrison/Lib.hs:373)
minimize' (Data/Logic/Harrison/Lib.hs:379)
maximize' (Data/Logic/Harrison/Lib.hs:376)
can (Data/Logic/Harrison/Lib.hs:94)
allsets (Data/Logic/Harrison/Lib.hs:477)
allsubsets (Data/Logic/Harrison/Lib.hs:484)
allnonemptysubsets (Data/Logic/Harrison/Lib.hs:493)
mapfilter (Data/Logic/Harrison/Lib.hs:352)
setmapfilter (Data/Logic/Harrison/Lib.hs:356)
∅ (Data/Logic/Harrison/Lib.hs:43)
43% ( 3 / 7) in 'Data.Logic.Classes.Negate'
Missing documentation for:
Module header
¬ (Data/Logic/Classes/Negate.hs:29)
negative (Data/Logic/Classes/Negate.hs:38)
positive (Data/Logic/Classes/Negate.hs:41)
50% ( 1 / 2) in 'Data.Logic.Classes.ClauseNormalForm'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Data.Logic.Classes.Atom'
Missing documentation for:
Atom (Data/Logic/Classes/Atom.hs:28)
57% ( 4 / 7) in 'Data.Logic.Classes.Pretty'
Missing documentation for:
Module header
Fixity
FixityDirection
53% ( 8 / 15) in 'Data.Logic.Classes.Combine'
Missing documentation for:
binop (Data/Logic/Classes/Combine.hs:95)
∧ (Data/Logic/Classes/Combine.hs:101)
∨ (Data/Logic/Classes/Combine.hs:103)
⇔ (Data/Logic/Classes/Combine.hs:108)
==> (Data/Logic/Classes/Combine.hs:111)
<=> (Data/Logic/Classes/Combine.hs:113)
prettyBinOp (Data/Logic/Classes/Combine.hs:116)
25% ( 1 / 4) in 'Data.Logic.Classes.Variable'
Missing documentation for:
Module header
Variable (Data/Logic/Classes/Variable.hs:13)
showVariable (Data/Logic/Classes/Variable.hs:31)
50% ( 1 / 2) in 'Data.Logic.Classes.Skolem'
Missing documentation for:
Module header
0% ( 0 / 9) in 'Data.Logic.Classes.Term'
Missing documentation for:
Module header
Term (Data/Logic/Classes/Term.hs:25)
Function (Data/Logic/Classes/Term.hs:23)
convertTerm (Data/Logic/Classes/Term.hs:40)
showTerm (Data/Logic/Classes/Term.hs:51)
prettyTerm (Data/Logic/Classes/Term.hs:61)
fvt (Data/Logic/Classes/Term.hs:68)
tsubst (Data/Logic/Classes/Term.hs:75)
funcs (Data/Logic/Classes/Term.hs:78)
0% ( 0 / 5) in 'Data.Logic.Harrison.Unif'
Missing documentation for:
Module header
unify (Data/Logic/Harrison/Unif.hs:59)
solve (Data/Logic/Harrison/Unif.hs:82)
fullUnify (Data/Logic/Harrison/Unif.hs:94)
unifyAndApply (Data/Logic/Harrison/Unif.hs:107)
0% ( 0 / 2) in 'Data.Logic.Types.Common'
Missing documentation for:
Module header
(Data/Logic/Types/Common.hs:8)
0% ( 0 / 2) in 'Data.Logic.Classes.Formula'
Missing documentation for:
Module header
Formula (Data/Logic/Classes/Formula.hs:6)
12% ( 1 / 8) in 'Data.Logic.Classes.Constants'
Missing documentation for:
Module header
ifElse (Data/Logic/Classes/Constants.hs:26)
true (Data/Logic/Classes/Constants.hs:20)
⊨ (Data/Logic/Classes/Constants.hs:30)
false (Data/Logic/Classes/Constants.hs:23)
⊭ (Data/Logic/Classes/Constants.hs:32)
prettyBool (Data/Logic/Classes/Constants.hs:35)
59% ( 10 / 17) in 'Data.Logic.Classes.Propositional'
Missing documentation for:
fixityPropositional (Data/Logic/Classes/Propositional.hs:102)
clauseNormalForm (Data/Logic/Classes/Propositional.hs:226)
clauseNormalForm' (Data/Logic/Classes/Propositional.hs:223)
clauseNormalFormAlt (Data/Logic/Classes/Propositional.hs:240)
disjunctiveNormalForm (Data/Logic/Classes/Propositional.hs:250)
disjunctiveNormalForm' (Data/Logic/Classes/Propositional.hs:260)
mapAtomsPropositional (Data/Logic/Classes/Propositional.hs:323)
17% ( 1 / 6) in 'Data.Logic.Classes.Literal'
Missing documentation for:
Module header
zipLiterals (Data/Logic/Classes/Literal.hs:23)
toPropositional (Data/Logic/Classes/Literal.hs:45)
prettyLit (Data/Logic/Classes/Literal.hs:72)
foldAtomsLiteral (Data/Logic/Classes/Literal.hs:97)
56% ( 14 / 25) in 'Data.Logic.Classes.FirstOrder'
Missing documentation for:
Module header
zipFirstOrder (Data/Logic/Classes/FirstOrder.hs:75)
? (Data/Logic/Classes/FirstOrder.hs:107)
∃ (Data/Logic/Classes/FirstOrder.hs:116)
convertFOF (Data/Logic/Classes/FirstOrder.hs:133)
prettyFirstOrder (Data/Logic/Classes/FirstOrder.hs:179)
fixityFirstOrder (Data/Logic/Classes/FirstOrder.hs:204)
foldAtomsFirstOrder (Data/Logic/Classes/FirstOrder.hs:256)
mapAtomsFirstOrder (Data/Logic/Classes/FirstOrder.hs:238)
atom_union (Data/Logic/Classes/FirstOrder.hs:273)
fromLiteral (Data/Logic/Classes/FirstOrder.hs:290)
0% ( 0 / 6) in 'Data.Logic.Harrison.Formulas.FirstOrder'
Missing documentation for:
Module header
antecedent (Data/Logic/Harrison/Formulas/FirstOrder.hs:162)
consequent (Data/Logic/Harrison/Formulas/FirstOrder.hs:170)
on_atoms (Data/Logic/Harrison/Formulas/FirstOrder.hs:182)
over_atoms (Data/Logic/Harrison/Formulas/FirstOrder.hs:196)
atom_union (Data/Logic/Harrison/Formulas/FirstOrder.hs:210)
0% ( 0 / 6) in 'Data.Logic.Harrison.Formulas.Propositional'
Missing documentation for:
Module header
antecedent (Data/Logic/Harrison/Formulas/Propositional.hs:163)
consequent (Data/Logic/Harrison/Formulas/Propositional.hs:170)
on_atoms (Data/Logic/Harrison/Formulas/Propositional.hs:181)
over_atoms (Data/Logic/Harrison/Formulas/Propositional.hs:194)
atom_union (Data/Logic/Harrison/Formulas/Propositional.hs:207)
0% ( 0 / 33) in 'Data.Logic.Harrison.Prop'
Missing documentation for:
Module header
eval (Data/Logic/Harrison/Prop.hs:95)
atoms (Data/Logic/Harrison/Prop.hs:120)
onAllValuations (Data/Logic/Harrison/Prop.hs:127)
TruthTable (Data/Logic/Harrison/Prop.hs:144)
TruthTableRow (Data/Logic/Harrison/Prop.hs:143)
truthTable (Data/Logic/Harrison/Prop.hs:146)
tautology (Data/Logic/Harrison/Prop.hs:161)
unsatisfiable (Data/Logic/Harrison/Prop.hs:169)
satisfiable (Data/Logic/Harrison/Prop.hs:172)
rawdnf (Data/Logic/Harrison/Prop.hs:369)
purednf (Data/Logic/Harrison/Prop.hs:383)
dnf (Data/Logic/Harrison/Prop.hs:422)
dnf' (Data/Logic/Harrison/Prop.hs:425)
trivial (Data/Logic/Harrison/Prop.hs:398)
psimplify (Data/Logic/Harrison/Prop.hs:229)
nnf (Data/Logic/Harrison/Prop.hs:283)
simpdnf (Data/Logic/Harrison/Prop.hs:407)
simpcnf (Data/Logic/Harrison/Prop.hs:435)
positive (Data/Logic/Harrison/Prop.hs:249)
negative (Data/Logic/Harrison/Prop.hs:241)
negate (Data/Logic/Harrison/Prop.hs:252)
distrib (Data/Logic/Harrison/Prop.hs:354)
list_disj (Data/Logic/Harrison/Prop.hs:329)
list_conj (Data/Logic/Harrison/Prop.hs:326)
pSubst (Data/Logic/Harrison/Prop.hs:180)
dual (Data/Logic/Harrison/Prop.hs:187)
nenf (Data/L
Data/Logic/Harrison/PropExamples.hs:55:22: Warning:
This binding for ‘n’ shadows the existing binding
bound at Data/Logic/Harrison/PropExamples.hs:51:12
Data/Logic/Harrison/PropExamples.hs:178:1: Warning:
Defined but not used: ‘halfcarry’
Data/Logic/Harrison/PropExamples.hs:181:1: Warning:
Defined but not used: ‘ha’
Data/Logic/Harrison/PropExamples.hs:225:1: Warning:
Top-level binding with no type signature: test02 :: Test
Data/Logic/Harrison/PropExamples.hs:261:1: Warning:
Defined but not used: ‘ripplecarry1’
Data/Logic/Harrison/PropExamples.hs:266:1: Warning:
Defined but not used: ‘mux’
Data/Logic/Harrison/PropExamples.hs:269:1: Warning:
Defined but not used: ‘offset’
Data/Logic/Harrison/PropExamples.hs:281:1: Warning:
Defined but not used: ‘carryselect’
Data/Logic/Harrison/PropExamples.hs:299:1: Warning:
Defined but not used: ‘mk_adder_test’
Data/Logic/Types/Harrison/Prop.hs:27:10: Warning:
Orphan instance: instance HasFixity String
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
Data/Logic/Types/Harrison/Prop.hs:36:10: Warning:
Orphan instance: instance Show (Formula String)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
Data/Logic/Classes/Equals.hs:139:7: Warning:
This binding for ‘parens’ shadows the existing binding
imported from ‘Text.PrettyPrint’ at Data/Logic/Classes/Equals.hs:34:57-62
(and originally defined in ‘Text.PrettyPrint.HughesPJ’)
Data/Logic/Harrison/FOL.hs:62:1: Warning:
Defined but not used: ‘mkLits’
Data/Logic/Harrison/FOL.hs:69:1: Warning:
Defined but not used: ‘on_formula’
Data/Logic/Harrison/FOL.hs:232:1: Warning:
Defined but not used: ‘fv'’
Data/Logic/Harrison/FOL.hs:272:1: Warning:
Defined but not used: ‘subst'’
Data/Logic/Instances/PropLogic.hs:41:29: Warning:
This binding for ‘at’ shadows the existing binding
imported from ‘PropLogic’ at Data/Logic/Instances/PropLogic.hs:22:1-16
(and originally defined in ‘PropLogicCore’)
Data/Logic/HUnit.hs:15:1: Warning:
The import of ‘Data.Logic.Types.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Types.Harrison.FOL’
To import instances alone, use: import Data.Logic.Types.Harrison.FOL()
Data/Logic/HUnit.hs:16:1: Warning:
The import of ‘fromString’ from module ‘Data.String’ is redundant
Data/Logic/Harrison/DP.hs:13:1: Warning:
The import of ‘tautology, cnf’
from module ‘Data.Logic.Harrison.Prop’ is redundant
Data/Logic/Harrison/DP.hs:20:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Data/Logic/Harrison/DP.hs:26:1: Warning:
Top-level binding with no type signature:
tests :: Test.HUnit.Base.Test
Data/Logic/Harrison/DP.hs:54:7: Warning:
This binding for ‘pure’ shadows the existing binding
imported from ‘Prelude’ at Data/Logic/Harrison/DP.hs:2:8-29
(and originally defined in ‘GHC.Base’)
Data/Logic/Harrison/DP.hs:116:1: Warning:
Top-level binding with no type signature:
test01 :: forall t. Test t
Data/Logic/Harrison/DP.hs:164:1: Warning:
Top-level binding with no type signature:
test02 :: forall t. Test t
Data/Logic/Harrison/DP.hs:200:13: Warning:
Defined but not used: ‘fn'’
Data/Logic/Harrison/DP.hs:205:12: Warning:
Defined but not used: ‘p’
Data/Logic/Harrison/DP.hs:239:12: Warning:
Defined but not used: ‘q’
Data/Logic/Harrison/DP.hs:240:19: Warning:
Defined but not used: ‘trail'’
Data/Logic/Harrison/DP.hs:275:1: Warning:
Top-level binding with no type signature:
test03 :: forall t. Test t
Data/Logic/Harrison/DP.hs:22:10: Warning:
Orphan instance: instance NumAtom (Atom N)
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
ogic/Harrison/Prop.hs:305)
mkLits (Data/Logic/Harrison/Prop.hs:332)
allSatValuations (Data/Logic/Harrison/Prop.hs:336)
dnf0 (Data/Logic/Harrison/Prop.hs:343)
cnf (Data/Logic/Harrison/Prop.hs:446)
cnf' (Data/Logic/Harrison/Prop.hs:449)
10% ( 1 / 10) in 'Data.Logic.Types.Propositional'
Missing documentation for:
Module header
(Data/Logic/Types/Propositional.hs:23)
(Data/Logic/Types/Propositional.hs:28)
(Data/Logic/Types/Propositional.hs:35)
(Data/Logic/Types/Propositional.hs:42)
(Data/Logic/Types/Propositional.hs:47)
(Data/Logic/Types/Propositional.hs:56)
(Data/Logic/Types/Propositional.hs:64)
(Data/Logic/Types/Propositional.hs:67)
0% ( 0 / 6) in 'Data.Logic.Harrison.PropExamples'
Missing documentation for:
Module header
Atom (Data/Logic/Harrison/PropExamples.hs:38)
N (Data/Logic/Harrison/PropExamples.hs:46)
prime (Data/Logic/Harrison/PropExamples.hs:367)
ramsey (Data/Logic/Harrison/PropExamples.hs:48)
tests (Data/Logic/Harrison/PropExamples.hs:25)
0% ( 0 / 17) in 'Data.Logic.Harrison.DefCNF'
Missing documentation for:
Module header
Atom (Data/Logic/Harrison/DefCNF.hs:34)
NumAtom (Data/Logic/Harrison/DefCNF.hs:36)
(Data/Logic/Harrison/DefCNF.hs:40)
mkprop (Data/Logic/Harrison/DefCNF.hs:44)
maincnf (Data/Logic/Harrison/DefCNF.hs:51)
defstep (Data/Logic/Harrison/DefCNF.hs:63)
max_varindex (Data/Logic/Harrison/DefCNF.hs:76)
mk_defcnf (Data/Logic/Harrison/DefCNF.hs:83)
defcnf1 (Data/Logic/Harrison/DefCNF.hs:92)
subcnf (Data/Logic/Harrison/DefCNF.hs:108)
orcnf (Data/Logic/Harrison/DefCNF.hs:120)
andcnf (Data/Logic/Harrison/DefCNF.hs:127)
defcnfs (Data/Logic/Harrison/DefCNF.hs:134)
defcnf2 (Data/Logic/Harrison/DefCNF.hs:137)
andcnf3 (Data/Logic/Harrison/DefCNF.hs:152)
defcnf3 (Data/Logic/Harrison/DefCNF.hs:159)
0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Formulas.FirstOrder'
Missing documentation for:
Module header
Formula (Data/Logic/Types/Harrison/Formulas/FirstOrder.hs:18)
0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Formulas.Propositional'
Missing documentation for:
Module header
Formula (Data/Logic/Types/Harrison/Formulas/Propositional.hs:15)
0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Prop'
Missing documentation for:
Module header
Prop (Data/Logic/Types/Harrison/Prop.hs:19)
50% ( 1 / 2) in 'Data.Logic.Classes.Arity'
Missing documentation for:
Module header
15% ( 4 / 26) in 'Data.Logic.Classes.Apply'
Missing documentation for:
Apply (Data/Logic/Classes/Apply.hs:32)
Predicate (Data/Logic/Classes/Apply.hs:30)
zipApplys (Data/Logic/Classes/Apply.hs:43)
apply0 (Data/Logic/Classes/Apply.hs:53)
apply1 (Data/Logic/Classes/Apply.hs:54)
apply2 (Data/Logic/Classes/Apply.hs:55)
apply3 (Data/Logic/Classes/Apply.hs:56)
apply4 (Data/Logic/Classes/Apply.hs:57)
apply5 (Data/Logic/Classes/Apply.hs:58)
apply6 (Data/Logic/Classes/Apply.hs:59)
apply7 (Data/Logic/Classes/Apply.hs:60)
showApply (Data/Logic/Classes/Apply.hs:62)
prettyApply (Data/Logic/Classes/Apply.hs:67)
substApply (Data/Logic/Classes/Apply.hs:80)
pApp (Data/Logic/Classes/Apply.hs:90)
pApp1 (Data/Logic/Classes/Apply.hs:96)
pApp2 (Data/Logic/Classes/Apply.hs:98)
pApp3 (Data/Logic/Classes/Apply.hs:100)
pApp4 (Data/Logic/Classes/Apply.hs:102)
pApp5 (Data/Logic/Classes/Apply.hs:104)
pApp6 (Data/Logic/Classes/Apply.hs:106)
pApp7 (Data/Logic/Classes/Apply.hs:108)
18% ( 6 / 33) in 'Data.Logic.Classes.Equals'
Missing documentation for:
zipAtomsEq (Data/Logic/Classes/Equals.hs:58)
apply0 (Data/Logic/Classes/Equals.hs:70)
apply1 (Data/Logic/Classes/Equals.hs:72)
apply2 (Data/Logic/Classes/Equals.hs:74)
apply3 (Data/Logic/Classes/Equals.hs:76)
apply4 (Data/Logic/Classes/Equals.hs:78)
apply5 (Data/Logic/Classes/Equals.hs:80)
apply6 (Data/Logic/Classes/Equals.hs:82)
apply7 (Data/Logic/Classes/Equals.hs:84)
pApp (Data/Logic/Classes/Equals.hs:92)
pApp1 (Data/Logic/Classes/Equals.hs:98)
pApp2 (Data/Logic/Classes/Equals.hs:100)
pApp3 (Data/Logic/Classes/Equals.hs:102)
pApp4 (Data/Logic/Classes/Equals.hs:104)
pApp5 (Data/Logic/Classes/Equals.hs:106)
pApp6 (Data/Logic/Classes/Equals.hs:108)
pApp7 (Data/Logic/Classes/Equals.hs:110)
showFirstOrderFormulaEq (Data/Logic/Classes/Equals.hs:113)
.=. (Data/Logic/Classes/Equals.hs:143)
≡ (Data/Logic/Classes/Equals.hs:149)
.!=. (Data/Logic/Classes/Equals.hs:146)
≢ (Data/Logic/Classes/Equals.hs:152)
fromAtomEq (Data/Logic/Classes/Equals.hs:162)
showAtomEq (Data/Logic/Classes/Equals.hs:173)
prettyAtomEq (Data/Logic/Classes/Equals.hs:182)
substAtomEq (Data/Logic/Classes/Equals.hs:198)
funcsAtomEq (Data/Logic/Classes/Equals.hs:202)
0% ( 0 / 7) in 'Data.Logic.Harrison.Equal'
Missing documentation for:
Module header
predicates (Data/Logic/Harrison/Equal.hs:49)
function_congruence (Data/Logic/Harrison/Equal.hs:81)
predicate_congruence (Data/Logic/Harrison/Equal.hs:100)
equivalence_axioms (Data/Logic/Harrison/Equal.hs:118)
equalitize (Data/Logic/Harrison/Equal.hs:131)
functions' (Data/Logic/Harrison/Equal.hs:144)
25% ( 2 / 8) in 'Data.Logic.Harrison.FOL'
Missing documentation for:
Module header
eval (Data/Logic/Harrison/FOL.hs:42)
list_disj (Data/Logic/Harrison/FOL.hs:57)
list_conj (Data/Logic/Harrison/FOL.hs:54)
subst (Data/Logic/Harrison/FOL.hs:250)
generalize (Data/Logic/Harrison/FOL.hs:243)
73% ( 11 / 15) in 'Data.Logic.Harrison.Skolem'
Missing documentation for:
Module header
simplify (Data/Logic/Harrison/Skolem.hs:91)
nnf (Data/Logic/Harrison/Skolem.hs:115)
functions (Data/Logic/Harrison/Skolem.hs:198)
17% ( 1 / 6) in 'Data.Logic.Harrison.Normal'
Missing documentation for:
trivial (Data/Logic/Harrison/Normal.hs:35)
simpdnf (Data/Logic/Harrison/Normal.hs:44)
simpdnf' (Data/Logic/Harrison/Normal.hs:69)
simpcnf (Data/Logic/Harrison/Normal.hs:104)
simpcnf' (Data/Logic/Harrison/Normal.hs:124)
67% ( 2 / 3) in 'Data.Logic.Normal.Clause'
Missing documentation for:
cnfTrace (Data/Logic/Normal/Clause.hs:66)
0% ( 0 / 4) in 'Data.Logic.Instances.PropLogic'
Missing documentation for:
Module header
flatten (Data/Logic/Instances/PropLogic.hs:81)
plSat0 (Data/Logic/Instances/PropLogic.hs:97)
plSat (Data/Logic/Instances/PropLogic.hs:103)
40% ( 4 / 10) in 'Data.Logic.Normal.Implicative'
Missing documentation for:
Module header
LiteralMapT (Data/Logic/Normal/Implicative.hs:43)
runNormal (Data/Logic/Normal/Implicative.hs:39)
runNormalT (Data/Logic/Normal/Implicative.hs:36)
prettyINF (Data/Logic/Normal/Implicative.hs:64)
prettyProof (Data/Logic/Normal/Implicative.hs:68)
17% ( 1 / 6) in 'Data.Logic.Instances.SatSolver'
Missing documentation for:
Module header
(Data/Logic/Instances/SatSolver.hs:22)
(Data/Logic/Instances/SatSolver.hs:28)
(Data/Logic/Instances/SatSolver.hs:37)
toCNF (Data/Logic/Instances/SatSolver.hs:42)
100% ( 5 / 5) in 'Data.Logic.Satisfiable'
0% ( 0 / 2) in 'Data.Logic.Harrison.Prolog'
Missing documentation for:
Module header
renamerule (Data/Logic/Harrison/Prolog.hs:21)
25% ( 1 / 4) in 'Data.Logic.Types.Harrison.FOL'
Missing documentation for:
Module header
TermType (Data/Logic/Types/Harrison/FOL.hs:32)
FOL (Data/Logic/Types/Harrison/FOL.hs:37)
29% ( 2 / 7) in 'Data.Logic.HUnit'
Missing documentation for:
Module header
Assertion (Data/Logic/HUnit.hs:19)
convert (Data/Logic/HUnit.hs:35)
TestFormula (Data/Logic/HUnit.hs:41)
TestFormulaEq (Data/Logic/HUnit.hs:50)
0% ( 0 / 3) in 'Data.Logic.Harrison.DP'
Missing documentation for:
Module header
tests (Data/Logic/Harrison/DP.hs:26)
dpll (Data/Logic/Harrison/DP.hs:129)
0% ( 0 / 15) in 'Data.Logic.Harrison.Herbrand'
Missing documentat
Data/Logic/Harrison/Tableaux.hs:15:1: Warning:
The import of ‘Data.Logic.Classes.FirstOrder’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.FirstOrder’
To import instances alone, use: import Data.Logic.Classes.FirstOrder()
Data/Logic/Harrison/Tableaux.hs:19:1: Warning:
The import of ‘Data.Logic.Classes.Propositional’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.Propositional’
To import instances alone, use: import Data.Logic.Classes.Propositional()
Data/Logic/Harrison/Tableaux.hs:21:1: Warning:
The import of ‘Data.Logic.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.FOL’
To import instances alone, use: import Data.Logic.Harrison.FOL()
Data/Logic/Harrison/Tableaux.hs:22:1: Warning:
The import of ‘Data.Logic.Harrison.Herbrand’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Herbrand’
To import instances alone, use: import Data.Logic.Harrison.Herbrand()
Data/Logic/Harrison/Tableaux.hs:24:1: Warning:
The import of ‘Data.Logic.Harrison.Prop’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Prop’
To import instances alone, use: import Data.Logic.Harrison.Prop()
Data/Logic/Harrison/Tableaux.hs:25:1: Warning:
The import of ‘Data.Logic.Harrison.Skolem’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Skolem’
To import instances alone, use: import Data.Logic.Harrison.Skolem()
Data/Logic/Harrison/Tableaux.hs:80:1: Warning:
Defined but not used: ‘unify_complements’
Data/Logic/Harrison/Tableaux.hs:87:1: Warning:
Defined but not used: ‘unify_refute’
Data/Logic/Harrison/Tableaux.hs:102:1: Warning:
Defined but not used: ‘prawitz_loop’
Data/Logic/Harrison/Meson.hs:9:1: Warning:
The import of ‘Constants’
from module ‘Data.Logic.Classes.Constants’ is redundant
Data/Logic/Types/FirstOrder.hs:18:1: Warning:
The import of ‘pApp, .=.’
from module ‘Data.Logic.Classes.Equals’ is redundant
Data/Logic/Types/Harrison/Equal.hs:19:1: Warning:
The import of ‘mapAtomsFirstOrder, foldAtomsFirstOrder’
from module ‘Data.Logic.Classes.FirstOrder’ is redundant
ion for:
Module header
pholds (Data/Logic/Harrison/Herbrand.hs:32)
herbfuns (Data/Logic/Harrison/Herbrand.hs:39)
groundterms (Data/Logic/Harrison/Herbrand.hs:51)
groundtuples (Data/Logic/Harrison/Herbrand.hs:59)
herbloop (Data/Logic/Harrison/Herbrand.hs:72)
subst' (Data/Logic/Harrison/Herbrand.hs:104)
gilmore_loop (Data/Logic/Harrison/Herbrand.hs:114)
gilmore (Data/Logic/Harrison/Herbrand.hs:129)
dp_mfn (Data/Logic/Harrison/Herbrand.hs:200)
dp_loop (Data/Logic/Harrison/Herbrand.hs:207)
davisputnam (Data/Logic/Harrison/Herbrand.hs:219)
dp_refine (Data/Logic/Harrison/Herbrand.hs:251)
dp_refine_loop (Data/Logic/Harrison/Herbrand.hs:262)
davisputnam' (Data/Logic/Harrison/Herbrand.hs:280)
25% ( 1 / 4) in 'Data.Logic.Harrison.Tableaux'
Missing documentation for:
Module header
unify_literals (Data/Logic/Harrison/Tableaux.hs:42)
unifyAtomsEq (Data/Logic/Harrison/Tableaux.hs:57)
0% ( 0 / 5) in 'Data.Logic.Harrison.Meson'
Missing documentation for:
Module header
contrapositives (Data/Logic/Harrison/Meson.hs:53)
mexpand (Data/Logic/Harrison/Meson.hs:62)
puremeson (Data/Logic/Harrison/Meson.hs:89)
meson (Data/Logic/Harrison/Meson.hs:98)
0% ( 0 / 6) in 'Data.Logic.Harrison.Resolution'
Missing documentation for:
Module header
resolution1 (Data/Logic/Harrison/Resolution.hs:118)
resolution2 (Data/Logic/Harrison/Resolution.hs:255)
resolution3 (Data/Logic/Harrison/Resolution.hs:304)
presolution (Data/Logic/Harrison/Resolution.hs:289)
matchAtomsEq (Data/Logic/Harrison/Resolution.hs:175)
0% ( 0 / 10) in 'Data.Logic.Instances.Chiou'
Missing documentation for:
Module header
Sentence (Data/Logic/Instances/Chiou.hs:32)
CTerm (Data/Logic/Instances/Chiou.hs:40)
Connective (Data/Logic/Instances/Chiou.hs:45)
Quantifier (Data/Logic/Instances/Chiou.hs:52)
ConjunctiveNormalForm (Data/Logic/Instances/Chiou.hs:192)
NormalSentence (Data/Logic/Instances/Chiou.hs:196)
NormalTerm (Data/Logic/Instances/Chiou.hs:204)
toSentence (Data/Logic/Instances/Chiou.hs:281)
fromSentence (Data/Logic/Instances/Chiou.hs:291)
14% ( 1 / 7) in 'Data.Logic.Resolution'
Missing documentation for:
Module header
prove (Data/Logic/Resolution.hs:33)
SetOfSupport (Data/Logic/Resolution.hs:29)
Unification (Data/Logic/Resolution.hs:31)
isRenameOfAtomEq (Data/Logic/Resolution.hs:158)
getSubstAtomEq (Data/Logic/Resolution.hs:121)
56% ( 9 / 16) in 'Data.Logic.KnowledgeBase'
Missing documentation for:
Module header
WithId (Data/Logic/KnowledgeBase.hs:47)
runProver' (Data/Logic/KnowledgeBase.hs:89)
runProverT' (Data/Logic/KnowledgeBase.hs:85)
ProofResult (Data/Logic/KnowledgeBase.hs:96)
Proof (Data/Logic/KnowledgeBase.hs:107)
loadKB (Data/Logic/KnowledgeBase.hs:179)
100% ( 4 / 4) in 'Data.Logic.Types.FirstOrder'
100% ( 3 / 3) in 'Data.Logic.Types.FirstOrderPublic'
6% ( 1 / 18) in 'Data.Logic.Types.Harrison.Equal'
Missing documentation for:
Module header
FOLEQ (Data/Logic/Types/Harrison/Equal.hs:32)
PredName (Data/Logic/Types/Harrison/Equal.hs:33)
(Data/Logic/Types/Harrison/Equal.hs:35)
(Data/Logic/Types/Harrison/Equal.hs:39)
(Data/Logic/Types/Harrison/Equal.hs:42)
(Data/Logic/Types/Harrison/Equal.hs:46)
(Data/Logic/Types/Harrison/Equal.hs:50)
(Data/Logic/Types/Harrison/Equal.hs:58)
(Data/Logic/Types/Harrison/Equal.hs:66)
(Data/Logic/Types/Harrison/Equal.hs:68)
(Data/Logic/Types/Harrison/Equal.hs:101)
(Data/Logic/Types/Harrison/Equal.hs:115)
(Data/Logic/Types/Harrison/Equal.hs:119)
(Data/Logic/Types/Harrison/Equal.hs:122)
(Data/Logic/Types/Harrison/Equal.hs:134)
(Data/Logic/Types/Harrison/Equal.hs:142)
Warning: Data.Logic.Classes.Pretty: could not find link destinations for:
D1Fixity C1_0Fixity D1FixityDirection C1_0FixityDirection C1_1FixityDirection C1_2FixityDirection
Warning: Data.Logic.Harrison.Skolem: could not find link destinations for:
SkolemState
Warning: Data.Logic.KnowledgeBase: could not find link destinations for:
ProverState ProverT' SentenceCount KnowledgeBase
Documentation created: dist/doc/html/logic-classes/index.html,
dist/doc/html/logic-classes/logic-classes.txt
Creating package registration file:
/tmp/pkgConf-logic-classes-1.55079465501429841549.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/logic-classes-1.5.3-GsiOmGXXUZ13GMbWqGwUMS
Registering logic-classes-1.5.3...
Installed logic-classes-1.5.3
Test log
No test log was submitted for this report.