Build #1 for hylolib-1.5.3
| Package | hylolib-1.5.3 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-10-14 16:00:12.983327 UTC |
|---|---|
| Compiler | ghc-8.0.1.20160701 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, pretty-1.1.3.3, random-1.1, uniplate-1.6.12 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-22172/mtl-2.2.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 )
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.22145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-22172/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-22172/random-1.1'
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: [-Wtabs]
Tab character found here, and in 74 further locations.
Please use spaces instead.
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: [-Wtabs]
Tab character found here, and in 74 further locations.
Please use spaces instead.
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-11253207672570073850.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-22172/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-22172/syb-0.6'
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 )
src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extM :: (Monad m, Typeable a, Typeable b) =>
(a -> m a) -> (b -> m b) -> a -> m a
src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a
src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall f. Data f => t f -> m (t f)) -> d -> m d
src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1R :: (Monad m, Data d, Typeable t) =>
m d -> (forall e. Data e => m (t e)) -> m d
src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
-> d
-> m d
src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2R :: (Monad m, Data d, Typeable t) =>
m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d
[ 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 )
src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
• Redundant constraint: Data a
• In the type signature for:
general :: Data a => a
In an equation for ‘empty’:
empty
= general `extB` char `extB` int `extB` integer `extB` float
`extB` double
where
general :: Data a => a
general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
char = '\NUL'
int = 0 :: Int
....
[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 )
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...
src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extM :: (Monad m, Typeable a, Typeable b) =>
(a -> m a) -> (b -> m b) -> a -> m a
src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a
src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall f. Data f => t f -> m (t f)) -> d -> m d
src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext1R :: (Monad m, Data d, Typeable t) =>
m d -> (forall e. Data e => m (t e)) -> m d
src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2M :: (Monad m, Data d, Typeable t) =>
(forall e. Data e => e -> m e)
-> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
-> d
-> m d
src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
• Redundant constraint: Monad m
• In the type signature for:
ext2R :: (Monad m, Data d, Typeable t) =>
m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d
src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
• Redundant constraint: Data a
• In the type signature for:
general :: Data a => a
In an equation for ‘empty’:
empty
= general `extB` char `extB` int `extB` integer `extB` float
`extB` double
where
general :: Data a => a
general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
char = '\NUL'
int = 0 :: Int
....
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-0150517567212251746.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/syb-0.6-C65vWCsht6A8uLstpQIXyj
Registering syb-0.6...
cabal: Leaving directory '/tmp/cabal-tmp-22172/syb-0.6'
Installed syb-0.6
cabal: Entering directory '/tmp/cabal-tmp-22172/text-1.2.2.1'
Configuring text-1.2.2.1...
Building text-1.2.2.1...
Preprocessing library text-1.2.2.1...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 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 )
[ 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 )
Data/Text.hs:587:1: warning: [-Winline-rule-shadowing]
Rule "TEXT compareN/length -> compareLength" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
Data/Text.hs:592:1: warning: [-Winline-rule-shadowing]
Rule "TEXT ==N/length -> compareLength/==EQ" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
Data/Text.hs:597:1: warning: [-Winline-rule-shadowing]
Rule "TEXT /=N/length -> compareLength//=EQ" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
Data/Text.hs:602:1: warning: [-Winline-rule-shadowing]
Rule "TEXT <N/length -> compareLength/==LT" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
Data/Text.hs:607:1: warning: [-Winline-rule-shadowing]
Rule "TEXT <=N/length -> compareLength//=GT" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
Data/Text.hs:612:1: warning: [-Winline-rule-shadowing]
Rule "TEXT >N/length -> compareLength/==GT" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
Data/Text.hs:617:1: warning: [-Winline-rule-shadowing]
Rule "TEXT >=N/length -> compareLength//=LT" may never fire
because ‘length’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
[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 )
[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:324:1: warning: [-Winline-rule-shadowing]
Rule "flush/flush" may never fire
because ‘flush’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘flush’
[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 )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[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 )
[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 )
Running Haddock for text-1.2.2.1...
Running hscolour for text-1.2.2.1...
Preprocessing library text-1.2.2.1...
Preprocessing library text-1.2.2.1...
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% (127 /127) 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% (128 /129) 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:301)
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: 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.21965421244216588711.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/text-1.2.2.1-9Yh8rJoh8fO2JMLWffT3Qs
Registering text-1.2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-22172/text-1.2.2.1'
Installed text-1.2.2.1
cabal: Entering directory '/tmp/cabal-tmp-22172/hashable-1.2.4.0'
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Preprocessing library hashable-1.2.4.0...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:460:28: warning: [-Wdeprecations]
In the use of ‘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 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
Running Haddock for hashable-1.2.4.0...
Running hscolour for hashable-1.2.4.0...
Preprocessing library hashable-1.2.4.0...
Preprocessing library hashable-1.2.4.0...
Data/Hashable/Class.hs:460:28: warning: [-Wdeprecations]
In the use of ‘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'."
Haddock coverage:
100% ( 11 / 11) in 'Data.Hashable.Class'
100% ( 1 / 1) in 'Data.Hashable.Generic'
100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file:
/tmp/pkgConf-hashable-1.2.418558430241146137088.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/hashable-1.2.4.0-Ctl752zbguF6QanxurLOm2
Registering hashable-1.2.4.0...
cabal: Leaving directory '/tmp/cabal-tmp-22172/hashable-1.2.4.0'
Installed hashable-1.2.4.0
cabal: Entering directory '/tmp/cabal-tmp-22172/unordered-containers-0.2.7.1'
Configuring unordered-containers-0.2.7.1...
Building unordered-containers-0.2.7.1...
Preprocessing library unordered-containers-0.2.7.1...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o )
Running Haddock for unordered-containers-0.2.7.1...
Running hscolour for unordered-containers-0.2.7.1...
Preprocessing library unordered-containers-0.2.7.1...
Preprocessing library unordered-containers-0.2.7.1...
Haddock coverage:
0% ( 0 / 3) in 'Data.HashMap.UnsafeShift'
Missing documentation for:
Module header
unsafeShiftL (Data/HashMap/UnsafeShift.hs:10)
unsafeShiftR (Data/HashMap/UnsafeShift.hs:14)
50% ( 1 / 2) in 'Data.HashMap.PopCount'
Missing documentation for:
Module header
100% ( 2 / 2) in 'Data.HashMap.Unsafe'
38% ( 14 / 37) in 'Data.HashMap.Array'
Missing documentation for:
Array (Data/HashMap/Array.hs:101)
MArray (Data/HashMap/Array.hs:126)
new_ (Data/HashMap/Array.hs:173)
singleton (Data/HashMap/Array.hs:176)
singletonM (Data/HashMap/Array.hs:180)
pair (Data/HashMap/Array.hs:184)
length (Data/HashMap/Array.hs:112)
lengthM (Data/HashMap/Array.hs:134)
read (Data/HashMap/Array.hs:191)
write (Data/HashMap/Array.hs:197)
index (Data/HashMap/Array.hs:204)
indexM (Data/HashMap/Array.hs:210)
unsafeFreeze (Data/HashMap/Array.hs:216)
unsafeThaw (Data/HashMap/Array.hs:222)
run (Data/HashMap/Array.hs:228)
run2 (Data/HashMap/Array.hs:232)
foldl' (Data/HashMap/Array.hs:334)
foldr (Data/HashMap/Array.hs:342)
thaw (Data/HashMap/Array.hs:354)
map (Data/HashMap/Array.hs:387)
traverse (Data/HashMap/Array.hs:430)
filter (Data/HashMap/Array.hs:435)
toList (Data/HashMap/Array.hs:427)
87% ( 61 / 70) in 'Data.HashMap.Base'
Missing documentation for:
Module header
Leaf (Data/HashMap/Base.hs:135)
Hash (Data/HashMap/Base.hs:202)
Bitmap (Data/HashMap/Base.hs:203)
mask (Data/HashMap/Base.hs:1226)
bitsPerSubkey (Data/HashMap/Base.hs:1214)
sparseIndex (Data/HashMap/Base.hs:1223)
updateOrConcatWith (Data/HashMap/Base.hs:1131)
updateOrConcatWithKey (Data/HashMap/Base.hs:1135)
100% ( 52 / 52) in 'Data.HashMap.Strict'
100% ( 52 / 52) in 'Data.HashMap.Lazy'
100% ( 31 / 31) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Creating package registration file:
/tmp/pkgConf-unordered-containers-0.2.7529302443418646579.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/unordered-containers-0.2.7.1-5INwdG7O5Jdakf1CqKoOB
Registering unordered-containers-0.2.7.1...
cabal: Leaving directory '/tmp/cabal-tmp-22172/unordered-containers-0.2.7.1'
Installed unordered-containers-0.2.7.1
cabal: Entering directory '/tmp/cabal-tmp-22172/uniplate-1.6.12'
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
[ 1 of 21] Compiling Data.Generics.Uniplate.Data.Instances ( Data/Generics/Uniplate/Data/Instances.hs, dist/build/Data/Generics/Uniplate/Data/Instances.o )
[ 2 of 21] Compiling Data.Generics.Uniplate.Internal.Utils ( Data/Generics/Uniplate/Internal/Utils.hs, dist/build/Data/Generics/Uniplate/Internal/Utils.o )
[ 3 of 21] Compiling Data.Generics.Uniplate ( Data/Generics/Uniplate.hs, dist/build/Data/Generics/Uniplate.o )
[ 4 of 21] Compiling Data.Generics.UniplateOn ( Data/Generics/UniplateOn.hs, dist/build/Data/Generics/UniplateOn.o )
[ 5 of 21] Compiling Data.Generics.Str ( Data/Generics/Str.hs, dist/build/Data/Generics/Str.o )
[ 6 of 21] Compiling Data.Generics.Uniplate.Operations ( Data/Generics/Uniplate/Operations.hs, dist/build/Data/Generics/Uniplate/Operations.o )
[ 7 of 21] Compiling Data.Generics.Compos ( Data/Generics/Compos.hs, dist/build/Data/Generics/Compos.o )
[ 8 of 21] Compiling Data.Generics.SYB ( Data/Generics/SYB.hs, dist/build/Data/Generics/SYB.o )
[ 9 of 21] Compiling Data.Generics.Uniplate.Internal.Data ( Data/Generics/Uniplate/Internal/Data.hs, dist/build/Data/Generics/Uniplate/Internal/Data.o )
[10 of 21] Compiling Data.Generics.Uniplate.Data ( Data/Generics/Uniplate/Data.hs, dist/build/Data/Generics/Uniplate/Data.o )
[11 of 21] Compiling Data.Generics.Uniplate.Internal.DataOnlyOperations ( Data/Generics/Uniplate/Internal/DataOnlyOperations.hs, dist/build/Data/Generics/Uniplate/Internal/DataOnlyOperations.o )
[12 of 21] Compiling Data.Generics.Uniplate.DataOnly ( Data/Generics/Uniplate/DataOnly.hs, dist/build/Data/Generics/Uniplate/DataOnly.o )
[13 of 21] Compiling Data.Generics.Uniplate.Direct ( Data/Generics/Uniplate/Direct.hs, dist/build/Data/Generics/Uniplate/Direct.o )
[14 of 21] Compiling Data.Generics.Uniplate.Typeable ( Data/Generics/Uniplate/Typeable.hs, dist/build/Data/Generics/Uniplate/Typeable.o )
[15 of 21] Compiling Data.Generics.Uniplate.Zipper ( Data/Generics/Uniplate/Zipper.hs, dist/build/Data/Generics/Uniplate/Zipper.o )
[16 of 21] Compiling Data.Generics.UniplateStr ( Data/Generics/UniplateStr.hs, dist/build/Data/Generics/UniplateStr.o )
[17 of 21] Compiling Data.Generics.UniplateStrOn ( Data/Generics/UniplateStrOn.hs, dist/build/Data/Generics/UniplateStrOn.o )
[18 of 21] Compiling Data.Generics.Biplate ( Data/Generics/Biplate.hs, dist/build/Data/Generics/Biplate.o )
[19 of 21] Compiling Data.Generics.PlateDirect ( Data/Generics/PlateDirect.hs, dist/build/Data/Generics/PlateDirect.o )
[20 of 21] Compiling Data.Generics.PlateTypeable ( Data/Generics/PlateTypeable.hs, dist/build/Data/Generics/PlateTypeable.o )
[21 of 21] Compiling Data.Generics.PlateData ( Data/Generics/PlateData.hs, dist/build/Data/Generics/PlateData.o )
Running Haddock for uniplate-1.6.12...
Running hscolour for uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Haddock coverage:
100% ( 16 / 16) in 'Data.Generics.Uniplate.Data.Instances'
86% ( 6 / 7) in 'Data.Generics.Uniplate.Internal.Utils'
Missing documentation for:
unsafeCoerce
100% ( 19 / 19) in 'Data.Generics.Uniplate'
55% ( 11 / 20) in 'Data.Generics.UniplateOn'
Missing documentation for:
universeOn (Data/Generics/UniplateOn.hs:38)
transformOn (Data/Generics/UniplateOn.hs:50)
transformOnM (Data/Generics/UniplateOn.hs:55)
rewriteOn (Data/Generics/UniplateOn.hs:60)
rewriteOnM (Data/Generics/UniplateOn.hs:65)
descendOn (Data/Generics/UniplateOn.hs:70)
descendOnM (Data/Generics/UniplateOn.hs:75)
holesOn (Data/Generics/UniplateOn.hs:83)
contextsOn (Data/Generics/UniplateOn.hs:90)
46% ( 6 / 13) in 'Data.Generics.Str'
Missing documentation for:
Str (Data/Generics/Str.hs:21)
(Data/Generics/Str.hs:24)
strMap (Data/Generics/Str.hs:32)
strMapM (Data/Generics/Str.hs:42)
(Data/Generics/Str.hs:50)
(Data/Generics/Str.hs:57)
(Data/Generics/Str.hs:63)
76% ( 22 / 29) in 'Data.Generics.Uniplate.Operations'
Missing documentation for:
universeBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:189)
transformBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:212)
transformBiM (Data/Generics/Uniplate/Internal/OperationsInc.hs:218)
rewriteBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:223)
rewriteBiM (Data/Generics/Uniplate/Internal/OperationsInc.hs:228)
contextsBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:235)
holesBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:243)
100% ( 8 / 8) in 'Data.Generics.Compos'
100% ( 13 / 13) in 'Data.Generics.SYB'
8% ( 4 / 49) in 'Data.Generics.Uniplate.Internal.Data'
Missing documentation for:
TypeSet (Data/Generics/Uniplate/Internal/Data.hs:59)
TypeMap (Data/Generics/Uniplate/Internal/Data.hs:60)
TypeKey (Data/Generics/Uniplate/Internal/Data.hs:62)
typeKey (Data/Generics/Uniplate/Internal/Data.hs:64)
! (Data/Generics/Uniplate/Internal/Data.hs:89)
map_findWithDefault (Data/Generics/Uniplate/Internal/Data.hs:90)
map_fromAscList (Data/Generics/Uniplate/Internal/Data.hs:91)
map_keysSet (Data/Generics/Uniplate/Internal/Data.hs:92)
map_member (Data/Generics/Uniplate/Internal/Data.hs:93)
set_partition (Data/Generics/Uniplate/Internal/Data.hs:94)
set_toAscList (Data/Generics/Uniplate/Internal/Data.hs:95)
set_unions (Data/Generics/Uniplate/Internal/Data.hs:96)
uniplateVerbose (Data/Generics/Uniplate/Internal/Data.hs:102)
Answer (Data/Generics/Uniplate/Internal/Data.hs:111)
Oracle (Data/Generics/Uniplate/Internal/Data.hs:115)
hitTest (Data/Generics/Uniplate/Internal/Data.hs:118)
Cache (Data/Generics/Uniplate/Internal/Data.hs:134)
cache (Data/Generics/Uniplate/Internal/Data.hs:139)
readCacheFollower (Data/Generics/Uniplate/Internal/Data.hs:143)
readCacheHitMap (Data/Generics/Uniplate/Internal/Data.hs:166)
TypeMap2 (Data/Generics/Uniplate/Internal/Data.hs:183)
lookup2 (Data/Generics/Uniplate/Internal/Data.hs:185)
insert2 (Data/Generics/Uniplate/Internal/Data.hs:188)
IntMap2 (Data/Generics/Uniplate/Internal/Data.hs:192)
intLookup2 (Data/Generics/Uniplate/Internal/Data.hs:194)
intInsert2 (Data/Generics/Uniplate/Internal/Data.hs:197)
Follower (Data/Generics/Uniplate/Internal/Data.hs:205)
follower (Data/Generics/Uniplate/Internal/Data.hs:209)
dataBox (Data/Generics/Uniplate/Internal/Data.hs:227)
sybChildren (Data/Generics/Uniplate/Internal/Data.hs:232)
HitMap (Data/Generics/Uniplate/Internal/Data.hs:251)
emptyHitMap (Data/Generics/Uniplate/Internal/Data.hs:253)
insertHitMap (Data/Generics/Uniplate/Internal/Data.hs:261)
fixEq (Data/Generics/Uniplate/Internal/Data.hs:285)
C (Data/Generics/Uniplate/Internal/Data.hs:293)
CC (Data/Generics/Uniplate/Internal/Data.hs:295)
biplateData (Data/Generics/Uniplate/Internal/Data.hs:298)
uniplateData (Data/Generics/Uniplate/Internal/Data.hs:305)
descendData (Data/Generics/Uniplate/Internal/Data.hs:316)
descendBiData (Data/Generics/Uniplate/Internal/Data.hs:319)
descendDataM (Data/Generics/Uniplate/Internal/Data.hs:325)
descendBiDataM (Data/Generics/Uniplate/Internal/Data.hs:328)
Transformer (Data/Generics/Uniplate/Internal/Data.hs:338)
transformer_ (Data/Generics/Uniplate/Internal/Data.hs:347)
transformBis_ (Data/Generics/Uniplate/Internal/Data.hs:366)
80% ( 4 / 5) in 'Data.Generics.Uniplate.Data'
Missing documentation for:
Transformer (Data/Generics/Uniplate/Internal/Data.hs:338)
72% ( 21 / 29) in 'Data.Generics.Uniplate.Internal.DataOnlyOperations'
Missing documentation for:
Module header
universeBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:189)
transformBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:212)
transformBiM (Data/Generics/Uniplate/Internal/OperationsInc.hs:218)
rewriteBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:223)
rewriteBiM (Data/Generics/Uniplate/Internal/OperationsInc.hs:228)
contextsBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:235)
holesBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:243)
75% ( 24 / 32) in 'Data.Generics.Uniplate.DataOnly'
Missing documentation for:
universeBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:189)
transformBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:212)
transformBiM (Data/Generics/Uniplate/Internal/OperationsInc.hs:218)
rewriteBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:223)
rewriteBiM (Data/Generics/Uniplate/Internal/OperationsInc.hs:228)
contextsBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:235)
holesBi (Data/Generics/Uniplate/Internal/OperationsInc.hs:243)
Transformer (Data/Generics/Uniplate/Internal/Data.hs:338)
100% ( 11 / 11) in 'Data.Generics.Uniplate.Direct'
100% ( 10 / 10) in 'Data.Generics.Uniplate.Typeable'
100% ( 14 / 14) in 'Data.Generics.Uniplate.Zipper'
100% ( 21 / 21) in 'Data.Generics.UniplateStr'
55% ( 11 / 20) in 'Data.Generics.UniplateStrOn'
Missing documentation for:
universeOn (Data/Generics/UniplateStrOn.hs:42)
transformOn (Data/Generics/UniplateStrOn.hs:64)
transformOnM (Data/Generics/UniplateStrOn.hs:69)
rewriteOn (Data/Generics/UniplateStrOn.hs:74)
rewriteOnM (Data/Generics/UniplateStrOn.hs:79)
descendOn (Data/Generics/UniplateStrOn.hs:84)
descendOnM (Data/Generics/UniplateStrOn.hs:89)
holesOn (Data/Generics/UniplateStrOn.hs:95)
contextsOn (Data/Generics/UniplateStrOn.hs:102)
47% ( 9 / 19) in 'Data.Generics.Biplate'
Missing documentation for:
universeBi (Data/Generics/Biplate.hs:53)
childrenBi (Data/Generics/Biplate.hs:57)
transformBi (Data/Generics/Biplate.hs:63)
transformBiM (Data/Generics/Biplate.hs:67)
rewriteBi (Data/Generics/Biplate.hs:71)
rewriteBiM (Data/Generics/Biplate.hs:75)
descendBi (Data/Generics/Biplate.hs:79)
descendBiM (Data/Generics/Biplate.hs:83)
contextsBi (Data/Generics/Biplate.hs:89)
holesBi (Data/Generics/Biplate.hs:93)
100% ( 10 / 10) in 'Data.Generics.PlateDirect'
100% ( 10 / 10) in 'Data.Generics.PlateTypeable'
100% ( 2 / 2) in 'Data.Generics.PlateData'
Warning: Data.Generics.Uniplate.Direct: could not find link destinations for:
Type
Warning: Data.Generics.Uniplate.Typeable: could not find link destinations for:
Type
Warning: Data.Generics.PlateDirect: could not find link destinations for:
Type
Warning: Data.Generics.PlateTypeable: could not find link destinations for:
Type
Documentation created: dist/doc/html/uniplate/index.html,
dist/doc/html/uniplate/uniplate.txt
Creating package registration file:
/tmp/pkgConf-uniplate-1.612093791742037335344.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/uniplate-1.6.12-Cortj3mo21G3qeBbCR8j1p
Registering uniplate-1.6.12...
cabal: Leaving directory '/tmp/cabal-tmp-22172/uniplate-1.6.12'
Installed uniplate-1.6.12
Downloading hylolib-1.5.3...
cabal: Entering directory '/tmp/cabal-tmp-22172/hylolib-1.5.3'
Configuring hylolib-1.5.3...
Building hylolib-1.5.3...
Preprocessing library hylolib-1.5.3...
shift/reduce conflicts: 16
[ 1 of 16] Compiling Data.EnumMap ( src/Data/EnumMap.hs, dist/build/Data/EnumMap.o )
src/Data/EnumMap.hs:24:1: warning: [-Wredundant-constraints]
• Redundant constraint: Enum a
• In the type signature for:
empty :: Enum a => EnumMap a b
src/Data/EnumMap.hs:69:10: warning: [-Wredundant-constraints]
• Redundant constraint: Show a
• In the instance declaration for ‘Show (EnumMap a b)’
src/Data/EnumMap.hs:72:10: warning: [-Wredundant-constraints]
• Redundant constraint: Read a
• In the instance declaration for ‘Read (EnumMap a b)’
[ 2 of 16] Compiling Data.EnumSet ( src/Data/EnumSet.hs, dist/build/Data/EnumSet.o )
src/Data/EnumSet.hs:22:1: warning: [-Wredundant-constraints]
• Redundant constraint: Enum a
• In the type signature for:
empty :: Enum a => EnumSet a
src/Data/EnumSet.hs:54:1: warning: [-Wredundant-constraints]
• Redundant constraint: Enum a
• In the type signature for:
liftS :: Enum a =>
(IntSet -> IntSet -> IntSet) -> EnumSet a -> EnumSet a -> EnumSet a
src/Data/EnumSet.hs:66:10: warning: [-Wredundant-constraints]
• Redundant constraint: Show a
• In the instance declaration for ‘Show (EnumSet a)’
src/Data/EnumSet.hs:69:10: warning: [-Wredundant-constraints]
• Redundant constraint: Read a
• In the instance declaration for ‘Read (EnumSet a)’
[ 3 of 16] Compiling HyLo.Util ( src/HyLo/Util.hs, dist/build/HyLo/Util.o )
[ 4 of 16] Compiling HyLo.Signature ( src/HyLo/Signature.hs, dist/build/HyLo/Signature.o )
[ 5 of 16] Compiling HyLo.Signature.Simple ( src/HyLo/Signature/Simple.hs, dist/build/HyLo/Signature/Simple.o )
[ 6 of 16] Compiling HyLo.InputFile.OldLexer ( dist/build/HyLo/InputFile/OldLexer.hs, dist/build/HyLo/InputFile/OldLexer.o )
[ 7 of 16] Compiling HyLo.Signature.String ( src/HyLo/Signature/String.hs, dist/build/HyLo/Signature/String.o )
[ 8 of 16] Compiling HyLo.InputFile.Lexer ( dist/build/HyLo/InputFile/Lexer.hs, dist/build/HyLo/InputFile/Lexer.o )
[ 9 of 16] Compiling HyLo.Formula ( src/HyLo/Formula.hs, dist/build/HyLo/Formula.o )
src/HyLo/Formula.hs:427:1: warning: [-Wredundant-constraints]
• Redundant constraint: Functor m
• In the type signature for:
composeMapM :: (Monad m, Functor m) =>
(Formula n p r -> m (Formula n p r))
-> (Formula n p r -> m (Formula n p r))
-> Formula n p r
-> m (Formula n p r)
src/HyLo/Formula.hs:493:1: warning: [-Wredundant-constraints]
• Redundant constraint: Eq n
• In the type signature for:
boundVars :: Eq n => Formula n p r -> [n]
[10 of 16] Compiling HyLo.Formula.Rewrite ( src/HyLo/Formula/Rewrite.hs, dist/build/HyLo/Formula/Rewrite.o )
[11 of 16] Compiling HyLo.InputFile.OldParser ( dist/build/HyLo/InputFile/OldParser.hs, dist/build/HyLo/InputFile/OldParser.o )
[12 of 16] Compiling HyLo.InputFile.Parser ( dist/build/HyLo/InputFile/Parser.hs, dist/build/HyLo/InputFile/Parser.o )
[13 of 16] Compiling HyLo.InputFile ( src/HyLo/InputFile.hs, dist/build/HyLo/InputFile.o )
[14 of 16] Compiling HyLo.Model ( src/HyLo/Model.hs, dist/build/HyLo/Model.o )
src/HyLo/Model.hs:105:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Ord n, Ord p, Ord r)
• In the type signature for:
setSignature :: (Ord n, Ord p, Ord r) =>
Signature n p r -> Model w n p r -> Model w n p r
src/HyLo/Model.hs:221:10: warning: [-Wredundant-constraints]
• Redundant constraint: Ord w
• In the instance declaration for ‘ValRepr (Map p (Set w)) p w’
[15 of 16] Compiling HyLo.Model.Herbrand ( src/HyLo/Model/Herbrand.hs, dist/build/HyLo/Model/Herbrand.o )
[16 of 16] Compiling HyLo.Model.PrettyPrint ( src/HyLo/Model/PrettyPrint.hs, dist/build/HyLo/Model/PrettyPrint.o )
src/HyLo/Model/PrettyPrint.hs:91:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Show n, Show p, Ord w)
• In the type signature for:
toDotFrame :: (Show w, Show n, Show p, Show r, Ord w) =>
Model w n p r -> String
Running Haddock for hylolib-1.5.3...
Running hscolour for hylolib-1.5.3...
Preprocessing library hylolib-1.5.3...
shift/reduce conflicts: 16
Preprocessing library hylolib-1.5.3...
shift/reduce conflicts: 16
src/Data/EnumMap.hs:24:1: warning: [-Wredundant-constraints]
• Redundant constraint: Enum a
• In the type signature for:
empty :: Enum a => EnumMap a b
src/Data/EnumMap.hs:69:10: warning: [-Wredundant-constraints]
• Redundant constraint: Show a
• In the instance declaration for ‘Show (EnumMap a b)’
src/Data/EnumMap.hs:72:10: warning: [-Wredundant-constraints]
• Redundant constraint: Read a
• In the instance declaration for ‘Read (EnumMap a b)’
src/Data/EnumSet.hs:22:1: warning: [-Wredundant-constraints]
• Redundant constraint: Enum a
• In the type signature for:
empty :: Enum a => EnumSet a
src/Data/EnumSet.hs:54:1: warning: [-Wredundant-constraints]
• Redundant constraint: Enum a
• In the type signature for:
liftS :: Enum a =>
(IntSet -> IntSet -> IntSet) -> EnumSet a -> EnumSet a -> EnumSet a
src/Data/EnumSet.hs:66:10: warning: [-Wredundant-constraints]
• Redundant constraint: Show a
• In the instance declaration for ‘Show (EnumSet a)’
src/Data/EnumSet.hs:69:10: warning: [-Wredundant-constraints]
• Redundant constraint: Read a
• In the instance declaration for ‘Read (EnumSet a)’
src/HyLo/Formula.hs:427:1: warning: [-Wredundant-constraints]
• Redundant constraint: Functor m
• In the type signature for:
composeMapM :: (Monad m, Functor m) =>
(Formula n p r -> m (Formula n p r))
-> (Formula n p r -> m (Formula n p r))
-> Formula n p r
-> m (Formula n p r)
src/HyLo/Formula.hs:493:1: warning: [-Wredundant-constraints]
• Redundant constraint: Eq n
• In the type signature for:
boundVars :: Eq n => Formula n p r -> [n]
src/HyLo/Model.hs:105:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Ord n, Ord p, Ord r)
• In the type signature for:
setSignature :: (Ord n, Ord p, Ord r) =>
Signature n p r -> Model w n p r -> Model w n p r
src/HyLo/Model.hs:221:10: warning: [-Wredundant-constraints]
• Redundant constraint: Ord w
• In the instance declaration for ‘ValRepr (Map p (Set w)) p w’
src/HyLo/Model/PrettyPrint.hs:91:1: warning: [-Wredundant-constraints]
• Redundant constraints: (Show n, Show p, Ord w)
• In the type signature for:
toDotFrame :: (Show w, Show n, Show p, Show r, Ord w) =>
Model w n p r -> String
Haddock coverage:
0% ( 0 / 14) in 'Data.EnumMap'
Missing documentation for:
Module header
EnumMap (src/Data/EnumMap.hs:17)
empty (src/Data/EnumMap.hs:24)
insert (src/Data/EnumMap.hs:27)
insertWith (src/Data/EnumMap.hs:30)
insertLookupWithKey (src/Data/EnumMap.hs:33)
delete (src/Data/EnumMap.hs:41)
update (src/Data/EnumMap.hs:44)
lookup (src/Data/EnumMap.hs:47)
! (src/Data/EnumMap.hs:50)
member (src/Data/EnumMap.hs:53)
null (src/Data/EnumMap.hs:56)
size (src/Data/EnumMap.hs:59)
elems (src/Data/EnumMap.hs:62)
0% ( 0 / 11) in 'Data.EnumSet'
Missing documentation for:
Module header
EnumSet (src/Data/EnumSet.hs:16)
empty (src/Data/EnumSet.hs:22)
singleton (src/Data/EnumSet.hs:25)
insert (src/Data/EnumSet.hs:28)
delete (src/Data/EnumSet.hs:31)
intersection (src/Data/EnumSet.hs:34)
union (src/Data/EnumSet.hs:37)
size (src/Data/EnumSet.hs:40)
null (src/Data/EnumSet.hs:43)
toList (src/Data/EnumSet.hs:46)
0% ( 0 / 2) in 'HyLo.Util'
Missing documentation for:
Module header
sequenceUntil (src/HyLo/Util.hs:5)
0% ( 0 / 20) in 'HyLo.Signature'
Missing documentation for:
Module header
Signature (src/HyLo/Signature.hs:17)
emptySignature (src/HyLo/Signature.hs:22)
buildSignature (src/HyLo/Signature.hs:25)
addNomToSig (src/HyLo/Signature.hs:28)
delNomFromSig (src/HyLo/Signature.hs:31)
addPropToSig (src/HyLo/Signature.hs:34)
delPropFromSig (src/HyLo/Signature.hs:37)
addRelToSig (src/HyLo/Signature.hs:40)
delRelFromSig (src/HyLo/Signature.hs:43)
isNomInSig (src/HyLo/Signature.hs:46)
isPropInSig (src/HyLo/Signature.hs:49)
isRelInSig (src/HyLo/Signature.hs:52)
merge (src/HyLo/Signature.hs:55)
commonSig (src/HyLo/Signature.hs:63)
relSymbols (src/HyLo/Signature.hs:19)
propSymbols (src/HyLo/Signature.hs:18)
nomSymbols (src/HyLo/Signature.hs:17)
isSubsignatureOf (src/HyLo/Signature.hs:71)
HasSignature (src/HyLo/Signature.hs:79)
0% ( 0 / 5) in 'HyLo.Signature.Simple'
Missing documentation for:
Module header
SimpleSignature (src/HyLo/Signature/Simple.hs:48)
PropSymbol (src/HyLo/Signature/Simple.hs:17)
NomSymbol (src/HyLo/Signature/Simple.hs:28)
RelSymbol (src/HyLo/Signature/Simple.hs:40)
0% ( 0 / 6) in 'HyLo.InputFile.OldLexer'
Missing documentation for:
Module header
alexScanTokens (templates/wrappers.hs:446)
Token (src/HyLo/InputFile/OldLexer.x:73)
FilePos (src/HyLo/InputFile/OldLexer.x:87)
line (src/HyLo/InputFile/OldLexer.x:87)
col (src/HyLo/InputFile/OldLexer.x:87)
0% ( 0 / 5) in 'HyLo.Signature.String'
Missing documentation for:
Module header
StringSignature (src/HyLo/Signature/String.hs:17)
PropSymbol (src/HyLo/Signature/String.hs:11)
NomSymbol (src/HyLo/Signature/String.hs:13)
RelSymbol (src/HyLo/Signature/String.hs:15)
0% ( 0 / 6) in 'HyLo.InputFile.Lexer'
Missing documentation for:
Module header
alexScanTokens (templates/wrappers.hs:446)
Token (src/HyLo/InputFile/Lexer.x:121)
FilePos (src/HyLo/InputFile/Lexer.x:156)
line (src/HyLo/InputFile/Lexer.x:156)
col (src/HyLo/InputFile/Lexer.x:156)
0% ( 0 / 16) in 'HyLo.Formula'
Missing documentation for:
Module header
Formula (src/HyLo/Formula.hs:27)
Where (src/HyLo/Formula.hs:59)
CountOp (src/HyLo/Formula.hs:61)
negCount (src/HyLo/Formula.hs:88)
nnf (src/HyLo/Formula.hs:192)
composeFold (src/HyLo/Formula.hs:357)
composeFoldM (src/HyLo/Formula.hs:380)
composeMap (src/HyLo/Formula.hs:405)
composeMapM (src/HyLo/Formula.hs:427)
onShape (src/HyLo/Formula.hs:451)
mapSig (src/HyLo/Formula.hs:480)
freeVars (src/HyLo/Formula.hs:487)
boundVars (src/HyLo/Formula.hs:493)
compareWith (src/HyLo/Formula.hs:96)
cmpListLen (src/HyLo/Formula.hs:104)
0% ( 0 / 4) in 'HyLo.Formula.Rewrite'
Missing documentation for:
Module header
Rewr (src/HyLo/Formula/Rewrite.hs:17)
pnf (src/HyLo/Formula/Rewrite.hs:54)
simplify (src/HyLo/Formula/Rewrite.hs:284)
0% ( 0 / 2) in 'HyLo.InputFile.OldParser'
Missing documentation for:
Module header
parse (dist/build/HyLo/InputFile/OldParser.hs:437)
Warning: HyLo.InputFile.Parser: relations is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
Warning: HyLo.InputFile.Parser: provers is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
Warning: HyLo.InputFile.Parser: theory is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
Warning: HyLo.InputFile.Parser: tasks is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
0% ( 0 / 10) in 'HyLo.InputFile.Parser'
Missing documentation for:
Module header
parse (dist/build/HyLo/InputFile/Parser.hs:1347)
initParseState (dist/build/HyLo/InputFile/Parser.hs:1387)
ParseState (dist/build/HyLo/InputFile/Parser.hs:1385)
QueryType (dist/build/HyLo/InputFile/Parser.hs:1380)
RelProperty (dist/build/HyLo/InputFile/Parser.hs:1365)
ParseOutput (dist/build/HyLo/InputFile/Parser.hs:1353)
RelInfo (dist/build/HyLo/InputFile/Parser.hs:1359)
ProverInfo (dist/build/HyLo/InputFile/Parser.hs:1360)
InferenceTask (dist/build/HyLo/InputFile/Parser.hs:1361)
0% ( 0 / 7) in 'HyLo.InputFile'
Missing documentation for:
Module header
InputFile (src/HyLo/InputFile.hs:26)
parse (src/HyLo/InputFile.hs:31)
myparse (src/HyLo/InputFile.hs:34)
write (src/HyLo/InputFile.hs:37)
parseOldFormat (src/HyLo/InputFile.hs:44)
OldInputFile (src/HyLo/InputFile.hs:42)
0% ( 0 / 18) in 'HyLo.Model'
Missing documentation for:
Module header
Model (src/HyLo/Model.hs:33)
worlds (src/HyLo/Model.hs:33)
succs (src/HyLo/Model.hs:34)
valP (src/HyLo/Model.hs:35)
valN (src/HyLo/Model.hs:36)
model (src/HyLo/Model.hs:95)
equiv (src/HyLo/Model.hs:54)
expand (src/HyLo/Model.hs:99)
setSignature (src/HyLo/Model.hs:105)
?? (src/HyLo/Model.hs:131)
removeWorld (src/HyLo/Model.hs:111)
removeWorlds (src/HyLo/Model.hs:114)
countInModel (src/HyLo/Model.hs:256)
namesOf (src/HyLo/Model.hs:249)
propsOf (src/HyLo/Model.hs:252)
ModelsRel (src/HyLo/Model.hs:136)
|/= (src/HyLo/Model.hs:139)
0% ( 0 / 6) in 'HyLo.Model.Herbrand'
Missing documentation for:
Module header
HerbrandModel (src/HyLo/Model/Herbrand.hs:20)
herbrand (src/HyLo/Model/Herbrand.hs:28)
inducedModel (src/HyLo/Model/Herbrand.hs:49)
expand (src/HyLo/Model/Herbrand.hs:69)
removeWorld (src/HyLo/Model/Herbrand.hs:76)
0% ( 0 / 4) in 'HyLo.Model.PrettyPrint'
Missing documentation for:
Module header
toDot (src/HyLo/Model/PrettyPrint.hs:46)
toDotStr (src/HyLo/Model/PrettyPrint.hs:14)
toDotFrame (src/HyLo/Model/PrettyPrint.hs:91)
Warning: HyLo.InputFile.Parser: could not find link destinations for:
SignatureType
Warning: HyLo.Model: could not find link destinations for:
RelRepr ValRepr ValNomRepr
Documentation created: dist/doc/html/hylolib/index.html,
dist/doc/html/hylolib/hylolib.txt
Creating package registration file:
/tmp/pkgConf-hylolib-1.59197855231942481690.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/hylolib-1.5.3-6sHGojkCkqFLc72J3GZTQr
Registering hylolib-1.5.3...
cabal: Leaving directory '/tmp/cabal-tmp-22172/hylolib-1.5.3'
Installed hylolib-1.5.3
Test log
No test log was submitted for this report.