Build #1 for tamarin-prover-term-0.8.5.1
| Package | tamarin-prover-term-0.8.5.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | tamarin-prover-utils-0.8.5.1, syb-0.4.1, split-0.1.2.3, safe-0.3.4, process-1.1.0.2, parsec-3.1.3, mtl-2.1.2, dlist-0.5, directory-1.2.0.1, derive-2.5.13, deepseq-1.3.0.1, containers-0.5.0.0, bytestring-0.10.0.2, binary-0.7.1.0, base-4.6.0.1, attoparsec-0.10.4.0, HUnit-1.2.5.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring HUnit-1.2.5.2...
Building HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
[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.2.5.2...
Running Haddock for HUnit-1.2.5.2...
Running hscolour for HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Haddock coverage:
100% ( 2 / 2) in 'Test.HUnit.Terminal'
86% ( 6 / 7) in 'Test.HUnit.Lang'
100% ( 33 / 33) in 'Test.HUnit.Base'
100% ( 8 / 8) in 'Test.HUnit.Text'
100% ( 3 / 3) in 'Test.HUnit'
Documentation created: dist/doc/html/HUnit/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
Configuring attoparsec-0.10.4.0...
Building attoparsec-0.10.4.0...
Preprocessing library attoparsec-0.10.4.0...
[ 1 of 18] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, dist/build/Data/Attoparsec/Text/FastSet.o )
[ 2 of 18] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o )
[ 3 of 18] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, dist/build/Data/Attoparsec/Number.o )
[ 4 of 18] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, dist/build/Data/Attoparsec/ByteString/FastSet.o )
[ 5 of 18] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, dist/build/Data/Attoparsec/Internal/Types.o )
[ 6 of 18] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, dist/build/Data/Attoparsec/Types.o )
[ 7 of 18] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, dist/build/Data/Attoparsec/Internal.o )
[ 8 of 18] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, dist/build/Data/Attoparsec/Combinator.o )
[ 9 of 18] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, dist/build/Data/Attoparsec/ByteString/Internal.o )
[10 of 18] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, dist/build/Data/Attoparsec/Text/Internal.o )
[11 of 18] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, dist/build/Data/Attoparsec/Text.o )
[12 of 18] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o )
[13 of 18] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, dist/build/Data/Attoparsec/ByteString.o )
[14 of 18] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, dist/build/Data/Attoparsec/ByteString/Char8.o )
[15 of 18] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, dist/build/Data/Attoparsec/Char8.o )
[16 of 18] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, dist/build/Data/Attoparsec/ByteString/Lazy.o )
[17 of 18] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, dist/build/Data/Attoparsec/Lazy.o )
[18 of 18] Compiling Data.Attoparsec ( Data/Attoparsec.hs, dist/build/Data/Attoparsec.o )
In-place registering attoparsec-0.10.4.0...
Running Haddock for attoparsec-0.10.4.0...
Running hscolour for attoparsec-0.10.4.0...
Preprocessing library attoparsec-0.10.4.0...
Preprocessing library attoparsec-0.10.4.0...
Haddock coverage:
70% ( 7 / 10) in 'Data.Attoparsec.Text.FastSet'
100% ( 7 / 7) in 'Data.Attoparsec.Zepto'
100% ( 2 / 2) in 'Data.Attoparsec.Number'
69% ( 9 / 13) in 'Data.Attoparsec.ByteString.FastSet'
40% ( 4 / 10) in 'Data.Attoparsec.Internal.Types'
100% ( 3 / 3) in 'Data.Attoparsec.Types'
100% ( 2 / 2) in 'Data.Attoparsec.Internal'
100% ( 16 / 16) in 'Data.Attoparsec.Combinator'
90% ( 37 / 41) in 'Data.Attoparsec.ByteString.Internal'
95% ( 38 / 40) in 'Data.Attoparsec.Text.Internal'
97% ( 71 / 73) in 'Data.Attoparsec.Text'
100% ( 9 / 9) in 'Data.Attoparsec.Text.Lazy'
96% ( 48 / 50) in 'Data.Attoparsec.ByteString'
97% ( 73 / 75) in 'Data.Attoparsec.ByteString.Char8'
100% ( 2 / 2) in 'Data.Attoparsec.Char8'
100% ( 9 / 9) in 'Data.Attoparsec.ByteString.Lazy'
100% ( 2 / 2) in 'Data.Attoparsec.Lazy'
100% ( 2 / 2) in 'Data.Attoparsec'
Documentation created: dist/doc/html/attoparsec/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/attoparsec-0.10.4.0
Registering attoparsec-0.10.4.0...
Installed attoparsec-0.10.4.0
Configuring base64-bytestring-1.0.0.1...
Building base64-bytestring-1.0.0.1...
Preprocessing library base64-bytestring-1.0.0.1...
[1 of 5] Compiling Data.ByteString.Base64.Internal ( Data/ByteString/Base64/Internal.hs, dist/build/Data/ByteString/Base64/Internal.o )
[2 of 5] Compiling Data.ByteString.Base64.URL ( Data/ByteString/Base64/URL.hs, dist/build/Data/ByteString/Base64/URL.o )
[3 of 5] Compiling Data.ByteString.Base64.URL.Lazy ( Data/ByteString/Base64/URL/Lazy.hs, dist/build/Data/ByteString/Base64/URL/Lazy.o )
[4 of 5] Compiling Data.ByteString.Base64 ( Data/ByteString/Base64.hs, dist/build/Data/ByteString/Base64.o )
[5 of 5] Compiling Data.ByteString.Base64.Lazy ( Data/ByteString/Base64/Lazy.hs, dist/build/Data/ByteString/Base64/Lazy.o )
In-place registering base64-bytestring-1.0.0.1...
Running Haddock for base64-bytestring-1.0.0.1...
Running hscolour for base64-bytestring-1.0.0.1...
Preprocessing library base64-bytestring-1.0.0.1...
Preprocessing library base64-bytestring-1.0.0.1...
Haddock coverage:
45% ( 5 / 11) in 'Data.ByteString.Base64.Internal'
100% ( 5 / 5) in 'Data.ByteString.Base64.URL'
100% ( 4 / 4) in 'Data.ByteString.Base64.URL.Lazy'
100% ( 5 / 5) in 'Data.ByteString.Base64'
100% ( 4 / 4) in 'Data.ByteString.Base64.Lazy'
Documentation created: dist/doc/html/base64-bytestring/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/base64-bytestring-1.0.0.1
Registering base64-bytestring-1.0.0.1...
Installed base64-bytestring-1.0.0.1
Configuring binary-0.7.1.0...
Building binary-0.7.1.0...
Preprocessing library binary-0.7.1.0...
[1 of 9] Compiling Data.Binary.Builder.Base ( src/Data/Binary/Builder/Base.hs, dist/build/Data/Binary/Builder/Base.o )
[2 of 9] Compiling Data.Binary.Builder.Internal ( src/Data/Binary/Builder/Internal.hs, dist/build/Data/Binary/Builder/Internal.o )
[3 of 9] Compiling Data.Binary.Get.Internal ( src/Data/Binary/Get/Internal.hs, dist/build/Data/Binary/Get/Internal.o )
[4 of 9] Compiling Data.Binary.Builder ( src/Data/Binary/Builder.hs, dist/build/Data/Binary/Builder.o )
[5 of 9] Compiling Data.Binary.Get ( src/Data/Binary/Get.hs, dist/build/Data/Binary/Get.o )
[6 of 9] Compiling Data.Binary.Put ( src/Data/Binary/Put.hs, dist/build/Data/Binary/Put.o )
[7 of 9] Compiling Data.Binary.Class ( src/Data/Binary/Class.hs, dist/build/Data/Binary/Class.o )
[8 of 9] Compiling Data.Binary.Generic ( src/Data/Binary/Generic.hs, dist/build/Data/Binary/Generic.o )
[9 of 9] Compiling Data.Binary ( src/Data/Binary.hs, dist/build/Data/Binary.o )
In-place registering binary-0.7.1.0...
Running Haddock for binary-0.7.1.0...
Running hscolour for binary-0.7.1.0...
Preprocessing library binary-0.7.1.0...
Preprocessing library binary-0.7.1.0...
Haddock coverage:
100% ( 31 / 31) in 'Data.Binary.Builder.Base'
100% ( 4 / 4) in 'Data.Binary.Builder.Internal'
83% ( 20 / 24) in 'Data.Binary.Get.Internal'
100% ( 28 / 28) in 'Data.Binary.Builder'
98% ( 46 / 47) in 'Data.Binary.Get'
96% ( 26 / 27) in 'Data.Binary.Put'
80% ( 4 / 5) in 'Data.Binary.Class'
100% ( 1 / 1) in 'Data.Binary.Generic'
91% ( 21 / 23) in 'Data.Binary'
Warning: Data.Binary.Get.Internal: could not find link destinations for:
Data.Binary.Get.Internal.Success
Warning: Data.Binary.Put: could not find link destinations for:
Data.Binary.Put.PairS
Warning: Data.Binary: could not find link destinations for:
Data.Binary.Generic.GSum Data.Binary.Generic.SumSize
Documentation created: dist/doc/html/binary/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/binary-0.7.1.0
Registering binary-0.7.1.0...
Installed binary-0.7.1.0
Configuring blaze-builder-0.3.3.2...
Building blaze-builder-0.3.3.2...
Preprocessing library blaze-builder-0.3.3.2...
[ 1 of 13] Compiling Blaze.ByteString.Builder.Internal.Types ( Blaze/ByteString/Builder/Internal/Types.hs, dist/build/Blaze/ByteString/Builder/Internal/Types.o )
[ 2 of 13] Compiling Blaze.ByteString.Builder.Internal.Write ( Blaze/ByteString/Builder/Internal/Write.hs, dist/build/Blaze/ByteString/Builder/Internal/Write.o )
[ 3 of 13] Compiling Blaze.ByteString.Builder.Internal.Buffer ( Blaze/ByteString/Builder/Internal/Buffer.hs, dist/build/Blaze/ByteString/Builder/Internal/Buffer.o )
[ 4 of 13] Compiling Blaze.ByteString.Builder.Internal.UncheckedShifts ( Blaze/ByteString/Builder/Internal/UncheckedShifts.hs, dist/build/Blaze/ByteString/Builder/Internal/UncheckedShifts.o )
[ 5 of 13] Compiling Blaze.ByteString.Builder.Internal ( Blaze/ByteString/Builder/Internal.hs, dist/build/Blaze/ByteString/Builder/Internal.o )
[ 6 of 13] Compiling Blaze.ByteString.Builder.Char.Utf8 ( Blaze/ByteString/Builder/Char/Utf8.hs, dist/build/Blaze/ByteString/Builder/Char/Utf8.o )
[ 7 of 13] Compiling Blaze.ByteString.Builder.ByteString ( Blaze/ByteString/Builder/ByteString.hs, dist/build/Blaze/ByteString/Builder/ByteString.o )
[ 8 of 13] Compiling Blaze.ByteString.Builder.Word ( Blaze/ByteString/Builder/Word.hs, dist/build/Blaze/ByteString/Builder/Word.o )
[ 9 of 13] Compiling Blaze.ByteString.Builder.Char8 ( Blaze/ByteString/Builder/Char8.hs, dist/build/Blaze/ByteString/Builder/Char8.o )
[10 of 13] Compiling Blaze.ByteString.Builder.HTTP ( Blaze/ByteString/Builder/HTTP.hs, dist/build/Blaze/ByteString/Builder/HTTP.o )
[11 of 13] Compiling Blaze.ByteString.Builder.Int ( Blaze/ByteString/Builder/Int.hs, dist/build/Blaze/ByteString/Builder/Int.o )
[12 of 13] Compiling Blaze.ByteString.Builder ( Blaze/ByteString/Builder.hs, dist/build/Blaze/ByteString/Builder.o )
[13 of 13] Compiling Blaze.ByteString.Builder.Html.Utf8 ( Blaze/ByteString/Builder/Html/Utf8.hs, dist/build/Blaze/ByteString/Builder/Html/Utf8.o )
In-place registering blaze-builder-0.3.3.2...
Running Haddock for blaze-builder-0.3.3.2...
Running hscolour for blaze-builder-0.3.3.2...
Preprocessing library blaze-builder-0.3.3.2...
Preprocessing library blaze-builder-0.3.3.2...
Haddock coverage:
27% ( 4 / 15) in 'Blaze.ByteString.Builder.Internal.Types'
92% ( 24 / 26) in 'Blaze.ByteString.Builder.Internal.Write'
100% ( 22 / 22) in 'Blaze.ByteString.Builder.Internal.Buffer'
25% ( 1 / 4) in 'Blaze.ByteString.Builder.Internal.UncheckedShifts'
69% ( 22 / 32) in 'Blaze.ByteString.Builder.Internal'
100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char.Utf8'
100% ( 12 / 12) in 'Blaze.ByteString.Builder.ByteString'
100% ( 43 / 43) in 'Blaze.ByteString.Builder.Word'
100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char8'
100% ( 4 / 4) in 'Blaze.ByteString.Builder.HTTP'
100% ( 43 / 43) in 'Blaze.ByteString.Builder.Int'
92% ( 22 / 24) in 'Blaze.ByteString.Builder'
100% ( 10 / 10) in 'Blaze.ByteString.Builder.Html.Utf8'
Documentation created: dist/doc/html/blaze-builder/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/blaze-builder-0.3.3.2
Registering blaze-builder-0.3.3.2...
Installed blaze-builder-0.3.3.2
Configuring cpphs-1.18...
Building cpphs-1.18...
Preprocessing library cpphs-1.18...
[ 1 of 12] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/Language/Preprocessor/Cpphs/HashDefine.o )
[ 2 of 12] Compiling Text.ParserCombinators.HuttonMeijer ( Text/ParserCombinators/HuttonMeijer.hs, dist/build/Text/ParserCombinators/HuttonMeijer.o )
[ 3 of 12] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/Language/Preprocessor/Cpphs/SymTab.o )
[ 4 of 12] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/Language/Preprocessor/Unlit.o )
[ 5 of 12] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/Language/Preprocessor/Cpphs/Options.o )
[ 6 of 12] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/Language/Preprocessor/Cpphs/Position.o )
[ 7 of 12] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 8 of 12] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/Language/Preprocessor/Cpphs/Tokenise.o )
[ 9 of 12] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/Language/Preprocessor/Cpphs/MacroPass.o )
[10 of 12] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/Language/Preprocessor/Cpphs/CppIfdef.o )
[11 of 12] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/Language/Preprocessor/Cpphs/RunCpphs.o )
[12 of 12] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/Language/Preprocessor/Cpphs.o )
In-place registering cpphs-1.18...
Preprocessing executable 'cpphs' for cpphs-1.18...
[ 1 of 13] Compiling Text.ParserCombinators.HuttonMeijer ( Text/ParserCombinators/HuttonMeijer.hs, dist/build/cpphs/cpphs-tmp/Text/ParserCombinators/HuttonMeijer.o )
[ 2 of 13] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/SymTab.o )
[ 3 of 13] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Position.o )
[ 4 of 13] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 5 of 13] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Options.o )
[ 6 of 13] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/HashDefine.o )
[ 7 of 13] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Tokenise.o )
[ 8 of 13] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/MacroPass.o )
[ 9 of 13] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/CppIfdef.o )
[10 of 13] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Unlit.o )
[11 of 13] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/RunCpphs.o )
[12 of 13] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs.o )
[13 of 13] Compiling Main ( cpphs.hs, dist/build/cpphs/cpphs-tmp/Main.o )
Linking dist/build/cpphs/cpphs ...
Running Haddock for cpphs-1.18...
Running hscolour for cpphs-1.18...
Preprocessing library cpphs-1.18...
Preprocessing executable 'cpphs' for cpphs-1.18...
Preprocessing library cpphs-1.18...
Haddock coverage:
83% ( 5 / 6) in 'Language.Preprocessor.Cpphs.HashDefine'
6% ( 2 / 36) in 'Text.ParserCombinators.HuttonMeijer'
33% ( 3 / 9) in 'Language.Preprocessor.Cpphs.SymTab'
100% ( 2 / 2) in 'Language.Preprocessor.Unlit'
100% ( 7 / 7) in 'Language.Preprocessor.Cpphs.Options'
100% ( 14 / 14) in 'Language.Preprocessor.Cpphs.Position'
100% ( 2 / 2) in 'Language.Preprocessor.Cpphs.ReadFirst'
86% ( 6 / 7) in 'Language.Preprocessor.Cpphs.Tokenise'
100% ( 5 / 5) in 'Language.Preprocessor.Cpphs.MacroPass'
100% ( 2 / 2) in 'Language.Preprocessor.Cpphs.CppIfdef'
0% ( 0 / 3) in 'Language.Preprocessor.Cpphs.RunCpphs'
92% ( 22 / 24) in 'Language.Preprocessor.Cpphs'
Documentation created: dist/doc/html/cpphs/index.html
Preprocessing executable 'cpphs' for cpphs-1.18...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cpphs-1.18
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering cpphs-1.18...
Installed cpphs-1.18
Configuring dlist-0.5...
Building dlist-0.5...
Preprocessing library dlist-0.5...
[1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.5...
Running Haddock for dlist-0.5...
Running hscolour for dlist-0.5...
Preprocessing library dlist-0.5...
Preprocessing library dlist-0.5...
Haddock coverage:
95% ( 20 / 21) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/dlist-0.5
Registering dlist-0.5...
Installed dlist-0.5
Configuring fclabels-1.1.7.1...
Building fclabels-1.1.7.1...
Preprocessing library fclabels-1.1.7.1...
[1 of 7] Compiling Data.Label.Abstract ( src/Data/Label/Abstract.hs, dist/build/Data/Label/Abstract.o )
[2 of 7] Compiling Data.Label.Pure ( src/Data/Label/Pure.hs, dist/build/Data/Label/Pure.o )
[3 of 7] Compiling Data.Label.PureM ( src/Data/Label/PureM.hs, dist/build/Data/Label/PureM.o )
[4 of 7] Compiling Data.Label.Maybe ( src/Data/Label/Maybe.hs, dist/build/Data/Label/Maybe.o )
[5 of 7] Compiling Data.Label.Derive ( src/Data/Label/Derive.hs, dist/build/Data/Label/Derive.o )
[6 of 7] Compiling Data.Label.MaybeM ( src/Data/Label/MaybeM.hs, dist/build/Data/Label/MaybeM.o )
[7 of 7] Compiling Data.Label ( src/Data/Label.hs, dist/build/Data/Label.o )
In-place registering fclabels-1.1.7.1...
Running Haddock for fclabels-1.1.7.1...
Running hscolour for fclabels-1.1.7.1...
Preprocessing library fclabels-1.1.7.1...
Preprocessing library fclabels-1.1.7.1...
Haddock coverage:
86% ( 12 / 14) in 'Data.Label.Abstract'
83% ( 5 / 6) in 'Data.Label.Pure'
91% ( 10 / 11) in 'Data.Label.PureM'
89% ( 8 / 9) in 'Data.Label.Maybe'
75% ( 6 / 8) in 'Data.Label.Derive'
80% ( 4 / 5) in 'Data.Label.MaybeM'
96% ( 25 / 26) in 'Data.Label'
Warning: Data.Label.Pure: could not find link destinations for:
Data.Label.Pure.PureLens
Warning: Data.Label.Maybe: could not find link destinations for:
Data.Label.Maybe.MaybeLens
Warning: Data.Label: could not find link destinations for:
Data.Label.Pure.PureLens
Documentation created: dist/doc/html/fclabels/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/fclabels-1.1.7.1
Registering fclabels-1.1.7.1...
Installed fclabels-1.1.7.1
Configuring hashable-1.2.1.0...
Building hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
[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 )
In-place registering hashable-1.2.1.0...
Running Haddock for hashable-1.2.1.0...
Running hscolour for hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
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:
Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hashable-1.2.1.0
Registering hashable-1.2.1.0...
Installed hashable-1.2.1.0
Configuring safe-0.3.4...
Building safe-0.3.4...
Preprocessing library safe-0.3.4...
[1 of 2] Compiling Safe.Foldable ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[2 of 2] Compiling Safe ( Safe.hs, dist/build/Safe.o )
In-place registering safe-0.3.4...
Running Haddock for safe-0.3.4...
Running hscolour for safe-0.3.4...
Preprocessing library safe-0.3.4...
Preprocessing library safe-0.3.4...
Haddock coverage:
54% ( 7 / 13) in 'Safe.Foldable'
21% ( 10 / 47) in 'Safe'
Documentation created: dist/doc/html/safe/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/safe-0.3.4
Registering safe-0.3.4...
Installed safe-0.3.4
Configuring split-0.1.2.3...
Building split-0.1.2.3...
Preprocessing library split-0.1.2.3...
[1 of 2] Compiling Data.List.Split.Internals ( Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o )
[2 of 2] Compiling Data.List.Split ( Data/List/Split.hs, dist/build/Data/List/Split.o )
In-place registering split-0.1.2.3...
Running Haddock for split-0.1.2.3...
Running hscolour for split-0.1.2.3...
Preprocessing library split-0.1.2.3...
Preprocessing library split-0.1.2.3...
Haddock coverage:
97% ( 62 / 64) in 'Data.List.Split.Internals'
100% ( 45 / 45) in 'Data.List.Split'
Documentation created: dist/doc/html/split/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/split-0.1.2.3
Registering split-0.1.2.3...
Installed split-0.1.2.3
Configuring syb-0.4.1...
Building syb-0.4.1...
Preprocessing library syb-0.4.1...
[ 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.4.1...
Running Haddock for syb-0.4.1...
Running hscolour for syb-0.4.1...
Preprocessing library syb-0.4.1...
Preprocessing library syb-0.4.1...
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'
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% ( 16 / 16) 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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1
Registering syb-0.4.1...
Installed syb-0.4.1
Configuring SHA-1.6.4...
Building SHA-1.6.4...
Preprocessing library SHA-1.6.4...
[1 of 1] Compiling Data.Digest.Pure.SHA ( src/Data/Digest/Pure/SHA.hs, dist/build/Data/Digest/Pure/SHA.o )
In-place registering SHA-1.6.4...
Running Haddock for SHA-1.6.4...
Running hscolour for SHA-1.6.4...
Preprocessing library SHA-1.6.4...
Preprocessing library SHA-1.6.4...
Haddock coverage:
74% ( 23 / 31) in 'Data.Digest.Pure.SHA'
Documentation created: dist/doc/html/SHA/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/SHA-1.6.4
Registering SHA-1.6.4...
Installed SHA-1.6.4
[1 of 1] Compiling Main ( /tmp/haskell-src-exts-1.14.0.1-22052/haskell-src-exts-1.14.0.1/Setup.hs, /tmp/haskell-src-exts-1.14.0.1-22052/haskell-src-exts-1.14.0.1/dist/setup/Main.o )
Linking /tmp/haskell-src-exts-1.14.0.1-22052/haskell-src-exts-1.14.0.1/dist/setup/setup ...
Configuring haskell-src-exts-1.14.0.1...
Building haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
[ 1 of 22] Compiling Language.Haskell.Exts.Annotated.Syntax ( src/Language/Haskell/Exts/Annotated/Syntax.hs, dist/build/Language/Haskell/Exts/Annotated/Syntax.o )
[ 2 of 22] Compiling Language.Haskell.Exts.ParseSyntax ( src/Language/Haskell/Exts/ParseSyntax.hs, dist/build/Language/Haskell/Exts/ParseSyntax.o )
[ 3 of 22] Compiling Language.Haskell.Exts.Annotated.Build ( src/Language/Haskell/Exts/Annotated/Build.hs, dist/build/Language/Haskell/Exts/Annotated/Build.o )
[ 4 of 22] Compiling Language.Haskell.Exts.SrcLoc ( src/Language/Haskell/Exts/SrcLoc.hs, dist/build/Language/Haskell/Exts/SrcLoc.o )
[ 5 of 22] Compiling Language.Haskell.Exts.Comments ( src/Language/Haskell/Exts/Comments.hs, dist/build/Language/Haskell/Exts/Comments.o )
[ 6 of 22] Compiling Language.Haskell.Exts.Annotated.ExactPrint ( src/Language/Haskell/Exts/Annotated/ExactPrint.hs, dist/build/Language/Haskell/Exts/Annotated/ExactPrint.o )
[ 7 of 22] Compiling Language.Haskell.Exts.Extension ( src/Language/Haskell/Exts/Extension.hs, dist/build/Language/Haskell/Exts/Extension.o )
[ 8 of 22] Compiling Language.Haskell.Exts.ExtScheme ( src/Language/Haskell/Exts/ExtScheme.hs, dist/build/Language/Haskell/Exts/ExtScheme.o )
[ 9 of 22] Compiling Language.Haskell.Exts.Syntax ( src/Language/Haskell/Exts/Syntax.hs, dist/build/Language/Haskell/Exts/Syntax.o )
[10 of 22] Compiling Language.Haskell.Exts.Build ( src/Language/Haskell/Exts/Build.hs, dist/build/Language/Haskell/Exts/Build.o )
[11 of 22] Compiling Language.Haskell.Exts.Fixity ( src/Language/Haskell/Exts/Fixity.hs, dist/build/Language/Haskell/Exts/Fixity.o )
[12 of 22] Compiling Language.Haskell.Exts.ParseMonad ( src/Language/Haskell/Exts/ParseMonad.hs, dist/build/Language/Haskell/Exts/ParseMonad.o )
[13 of 22] Compiling Language.Haskell.Exts.InternalLexer ( src/Language/Haskell/Exts/InternalLexer.hs, dist/build/Language/Haskell/Exts/InternalLexer.o )
[14 of 22] Compiling Language.Haskell.Exts.Lexer ( src/Language/Haskell/Exts/Lexer.hs, dist/build/Language/Haskell/Exts/Lexer.o )
[15 of 22] Compiling Language.Haskell.Exts.Annotated.Simplify ( src/Language/Haskell/Exts/Annotated/Simplify.hs, dist/build/Language/Haskell/Exts/Annotated/Simplify.o )
[16 of 22] Compiling Language.Haskell.Exts.Pretty ( src/Language/Haskell/Exts/Pretty.hs, dist/build/Language/Haskell/Exts/Pretty.o )
[17 of 22] Compiling Language.Haskell.Exts.ParseUtils ( src/Language/Haskell/Exts/ParseUtils.hs, dist/build/Language/Haskell/Exts/ParseUtils.o )
[18 of 22] Compiling Language.Haskell.Exts.Annotated.Fixity ( src/Language/Haskell/Exts/Annotated/Fixity.hs, dist/build/Language/Haskell/Exts/Annotated/Fixity.o )
[19 of 22] Compiling Language.Haskell.Exts.InternalParser ( dist/build/Language/Haskell/Exts/InternalParser.hs, dist/build/Language/Haskell/Exts/InternalParser.o )
[20 of 22] Compiling Language.Haskell.Exts.Parser ( src/Language/Haskell/Exts/Parser.hs, dist/build/Language/Haskell/Exts/Parser.o )
[21 of 22] Compiling Language.Haskell.Exts.Annotated ( src/Language/Haskell/Exts/Annotated.hs, dist/build/Language/Haskell/Exts/Annotated.o )
[22 of 22] Compiling Language.Haskell.Exts ( src/Language/Haskell/Exts.hs, dist/build/Language/Haskell/Exts.o )
In-place registering haskell-src-exts-1.14.0.1...
Running Haddock for haskell-src-exts-1.14.0.1...
Running hscolour for haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
70% ( 91 /130) in 'Language.Haskell.Exts.Annotated.Syntax'
0% ( 0 / 15) in 'Language.Haskell.Exts.ParseSyntax'
100% ( 49 / 49) in 'Language.Haskell.Exts.Annotated.Build'
90% ( 19 / 21) in 'Language.Haskell.Exts.SrcLoc'
50% ( 1 / 2) in 'Language.Haskell.Exts.Comments'
67% ( 2 / 3) in 'Language.Haskell.Exts.Annotated.ExactPrint'
65% ( 13 / 20) in 'Language.Haskell.Exts.Extension'
25% ( 1 / 4) in 'Language.Haskell.Exts.ExtScheme'
68% ( 83 /122) in 'Language.Haskell.Exts.Syntax'
100% ( 49 / 49) in 'Language.Haskell.Exts.Build'
77% ( 10 / 13) in 'Language.Haskell.Exts.Fixity'
27% ( 12 / 44) in 'Language.Haskell.Exts.ParseMonad'
20% ( 1 / 5) in 'Language.Haskell.Exts.InternalLexer'
80% ( 4 / 5) in 'Language.Haskell.Exts.Lexer'
5% ( 3 / 65) in 'Language.Haskell.Exts.Annotated.Simplify'
93% ( 14 / 15) in 'Language.Haskell.Exts.Pretty'
2% ( 1 / 45) in 'Language.Haskell.Exts.ParseUtils'
75% ( 9 / 12) in 'Language.Haskell.Exts.Annotated.Fixity'
100% ( 37 / 37) in 'Language.Haskell.Exts.InternalParser'
97% ( 33 / 34) in 'Language.Haskell.Exts.Parser'
95% ( 40 / 42) in 'Language.Haskell.Exts.Annotated'
100% ( 21 / 21) in 'Language.Haskell.Exts'
Documentation created: dist/doc/html/haskell-src-exts/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskell-src-exts-1.14.0.1
Registering haskell-src-exts-1.14.0.1...
Installed haskell-src-exts-1.14.0.1
Configuring unordered-containers-0.2.3.3...
Building unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
[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 )
In-place registering unordered-containers-0.2.3.3...
Running Haddock for unordered-containers-0.2.3.3...
Running hscolour for unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
Haddock coverage:
0% ( 0 / 3) in 'Data.HashMap.UnsafeShift'
50% ( 1 / 2) in 'Data.HashMap.PopCount'
100% ( 2 / 2) in 'Data.HashMap.Unsafe'
38% ( 14 / 37) in 'Data.HashMap.Array'
85% ( 52 / 61) in 'Data.HashMap.Base'
98% ( 44 / 45) in 'Data.HashMap.Strict'
98% ( 44 / 45) in 'Data.HashMap.Lazy'
100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/unordered-containers-0.2.3.3
Registering unordered-containers-0.2.3.3...
Installed unordered-containers-0.2.3.3
Downloading tamarin-prover-utils-0.8.5.1...
Configuring tamarin-prover-utils-0.8.5.1...
Building tamarin-prover-utils-0.8.5.1...
Preprocessing library tamarin-prover-utils-0.8.5.1...
[ 1 of 25] Compiling Utils.Misc ( src/Utils/Misc.hs, dist/build/Utils/Misc.o )
[ 2 of 25] Compiling Debug.Trace.Ignore ( src/Debug/Trace/Ignore.hs, dist/build/Debug/Trace/Ignore.o )
[ 3 of 25] Compiling System.Timing ( src/System/Timing.hs, dist/build/System/Timing.o )
[ 4 of 25] Compiling Text.Unicode ( src/Text/Unicode.hs, dist/build/Text/Unicode.o )
[ 5 of 25] Compiling Text.Dot ( src/Text/Dot.hs, dist/build/Text/Dot.o )
[ 6 of 25] Compiling Extension.Data.ByteString ( src/Extension/Data/ByteString.hs, dist/build/Extension/Data/ByteString.o )
[ 7 of 25] Compiling Extension.Data.Bounded ( src/Extension/Data/Bounded.hs, dist/build/Extension/Data/Bounded.o )
[ 8 of 25] Compiling Extension.Data.Monoid ( src/Extension/Data/Monoid.hs, dist/build/Extension/Data/Monoid.o )
[ 9 of 25] Compiling Extension.Data.Label ( src/Extension/Data/Label.hs, dist/build/Extension/Data/Label.o )
[10 of 25] Compiling Data.Color ( src/Data/Color.hs, dist/build/Data/Color.o )
[11 of 25] Compiling Control.Basics ( src/Control/Basics.hs, dist/build/Control/Basics.o )
[12 of 25] Compiling Control.Monad.Trans.FastFresh ( src/Control/Monad/Trans/FastFresh.hs, dist/build/Control/Monad/Trans/FastFresh.o )
[13 of 25] Compiling Control.Monad.Trans.PreciseFresh ( src/Control/Monad/Trans/PreciseFresh.hs, dist/build/Control/Monad/Trans/PreciseFresh.o )
[14 of 25] Compiling Control.Monad.Fresh.Class ( src/Control/Monad/Fresh/Class.hs, dist/build/Control/Monad/Fresh/Class.o )
[15 of 25] Compiling Control.Monad.Fresh ( src/Control/Monad/Fresh.hs, dist/build/Control/Monad/Fresh.o )
[16 of 25] Compiling Control.Monad.Disj.Class ( src/Control/Monad/Disj/Class.hs, dist/build/Control/Monad/Disj/Class.o )
[17 of 25] Compiling Control.Monad.Trans.Disj ( src/Control/Monad/Trans/Disj.hs, dist/build/Control/Monad/Trans/Disj.o )
[18 of 25] Compiling Control.Monad.Disj ( src/Control/Monad/Disj.hs, dist/build/Control/Monad/Disj.o )
[19 of 25] Compiling Control.Monad.Bind ( src/Control/Monad/Bind.hs, dist/build/Control/Monad/Bind.o )
[20 of 25] Compiling Data.DAG.Simple ( src/Data/DAG/Simple.hs, dist/build/Data/DAG/Simple.o )
[21 of 25] Compiling Extension.Prelude ( src/Extension/Prelude.hs, dist/build/Extension/Prelude.o )
[22 of 25] Compiling Text.PrettyPrint.Class ( src/Text/PrettyPrint/Class.hs, dist/build/Text/PrettyPrint/Class.o )
[23 of 25] Compiling Text.PrettyPrint.Highlight ( src/Text/PrettyPrint/Highlight.hs, dist/build/Text/PrettyPrint/Highlight.o )
[24 of 25] Compiling Text.PrettyPrint.Html ( src/Text/PrettyPrint/Html.hs, dist/build/Text/PrettyPrint/Html.o )
[25 of 25] Compiling Logic.Connectives ( src/Logic/Connectives.hs, dist/build/Logic/Connectives.o )
In-place registering tamarin-prover-utils-0.8.5.1...
Running Haddock for tamarin-prover-utils-0.8.5.1...
Running hscolour for tamarin-prover-utils-0.8.5.1...
Preprocessing library tamarin-prover-utils-0.8.5.1...
Preprocessing library tamarin-prover-utils-0.8.5.1...
Haddock coverage:
83% ( 15 / 18) in 'Utils.Misc'
100% ( 2 / 2) in 'Debug.Trace.Ignore'
100% ( 3 / 3) in 'System.Timing'
100% ( 3 / 3) in 'Text.Unicode'
92% ( 33 / 36) in 'Text.Dot'
100% ( 1 / 1) in 'Extension.Data.ByteString'
100% ( 3 / 3) in 'Extension.Data.Bounded'
100% ( 4 / 4) in 'Extension.Data.Monoid'
100% ( 15 / 15) in 'Extension.Data.Label'
61% ( 11 / 18) in 'Data.Color'
100% ( 4 / 4) in 'Control.Basics'
94% ( 16 / 17) in 'Control.Monad.Trans.FastFresh'
89% ( 16 / 18) in 'Control.Monad.Trans.PreciseFresh'
50% ( 1 / 2) in 'Control.Monad.Fresh.Class'
90% ( 18 / 20) in 'Control.Monad.Fresh'
67% ( 2 / 3) in 'Control.Monad.Disj.Class'
100% ( 5 / 5) in 'Control.Monad.Trans.Disj'
94% ( 16 / 17) in 'Control.Monad.Disj'
95% ( 20 / 21) in 'Control.Monad.Bind'
100% ( 11 / 11) in 'Data.DAG.Simple'
86% ( 32 / 37) in 'Extension.Prelude'
47% ( 21 / 45) in 'Text.PrettyPrint.Class'
38% ( 5 / 13) in 'Text.PrettyPrint.Highlight'
88% ( 14 / 16) in 'Text.PrettyPrint.Html'
100% ( 3 / 3) in 'Logic.Connectives'
Warning: Text.Dot: could not find link destinations for:
Text.Dot.rawNode
Warning: Data.Color: could not find link destinations for:
Data.Color.colorGroupStyle Data.Color.genColorGroups Data.Color.lightColorGroupStyle
Warning: Text.PrettyPrint.Html: could not find link destinations for:
Text.PrettyPrint.Html.NoHtmlDoc
Documentation created: dist/doc/html/tamarin-prover-utils/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tamarin-prover-utils-0.8.5.1
Registering tamarin-prover-utils-0.8.5.1...
Installed tamarin-prover-utils-0.8.5.1
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 )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package text-0.11.2.3 ... linking ... done.
Loading package hashable-1.2.1.0 ... linking ... done.
Loading package unordered-containers-0.2.3.3 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
[ 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 )
In-place registering uniplate-1.6.12...
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'
100% ( 19 / 19) in 'Data.Generics.Uniplate'
55% ( 11 / 20) in 'Data.Generics.UniplateOn'
67% ( 6 / 9) in 'Data.Generics.Str'
76% ( 22 / 29) in 'Data.Generics.Uniplate.Operations'
100% ( 8 / 8) in 'Data.Generics.Compos'
100% ( 13 / 13) in 'Data.Generics.SYB'
8% ( 4 / 49) in 'Data.Generics.Uniplate.Internal.Data'
80% ( 4 / 5) in 'Data.Generics.Uniplate.Data'
72% ( 21 / 29) in 'Data.Generics.Uniplate.Internal.DataOnlyOperations'
75% ( 24 / 32) in 'Data.Generics.Uniplate.DataOnly'
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'
47% ( 9 / 19) in 'Data.Generics.Biplate'
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:
Data.Generics.Uniplate.Direct.Type
Warning: Data.Generics.Uniplate.Typeable: could not find link destinations for:
Data.Generics.Uniplate.Typeable.Type
Warning: Data.Generics.PlateDirect: could not find link destinations for:
Data.Generics.PlateDirect.Type
Warning: Data.Generics.PlateTypeable: could not find link destinations for:
Data.Generics.PlateTypeable.Type
Documentation created: dist/doc/html/uniplate/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/uniplate-1.6.12
Registering uniplate-1.6.12...
Installed uniplate-1.6.12
Configuring derive-2.5.13...
Building derive-2.5.13...
Preprocessing library derive-2.5.13...
[ 1 of 65] Compiling Language.Haskell.TH.Compat ( Language/Haskell/TH/Compat.hs, dist/build/Language/Haskell/TH/Compat.o )
[ 2 of 65] Compiling Language.Haskell.TH.Data ( Language/Haskell/TH/Data.hs, dist/build/Language/Haskell/TH/Data.o )
[ 3 of 65] Compiling Language.Haskell.TH.ExpandSynonym ( Language/Haskell/TH/ExpandSynonym.hs, dist/build/Language/Haskell/TH/ExpandSynonym.o )
[ 4 of 65] Compiling Language.Haskell.TH.FixedPpr ( Language/Haskell/TH/FixedPpr.hs, dist/build/Language/Haskell/TH/FixedPpr.o )
[ 5 of 65] Compiling Language.Haskell.TH.Helper ( Language/Haskell/TH/Helper.hs, dist/build/Language/Haskell/TH/Helper.o )
[ 6 of 65] Compiling Language.Haskell.TH.Peephole ( Language/Haskell/TH/Peephole.hs, dist/build/Language/Haskell/TH/Peephole.o )
[ 7 of 65] Compiling Data.Derive.Class.Default ( Data/Derive/Class/Default.hs, dist/build/Data/Derive/Class/Default.o )
[ 8 of 65] Compiling Data.Derive.Internal.Instance ( Data/Derive/Internal/Instance.hs, dist/build/Data/Derive/Internal/Instance.o )
[ 9 of 65] Compiling Data.Derive.Class.Arities ( Data/Derive/Class/Arities.hs, dist/build/Data/Derive/Class/Arities.o )
[10 of 65] Compiling Data.Derive.Instance.Arities ( Data/Derive/Instance/Arities.hs, dist/build/Data/Derive/Instance/Arities.o )
[11 of 65] Compiling Language.Haskell ( Language/Haskell.hs, dist/build/Language/Haskell.o )
[12 of 65] Compiling Language.Haskell.Convert ( Language/Haskell/Convert.hs, dist/build/Language/Haskell/Convert.o )
[13 of 65] Compiling Data.Derive.DSL.HSE ( Data/Derive/DSL/HSE.hs, dist/build/Data/Derive/DSL/HSE.o )
[14 of 65] Compiling Data.Derive.DSL.DSL ( Data/Derive/DSL/DSL.hs, dist/build/Data/Derive/DSL/DSL.o )
[15 of 65] Compiling Data.Derive.DSL.Apply ( Data/Derive/DSL/Apply.hs, dist/build/Data/Derive/DSL/Apply.o )
[16 of 65] Compiling Data.Derive.DSL.Derive ( Data/Derive/DSL/Derive.hs, dist/build/Data/Derive/DSL/Derive.o )
[17 of 65] Compiling Data.Derive.DSL.SYB ( Data/Derive/DSL/SYB.hs, dist/build/Data/Derive/DSL/SYB.o )
[18 of 65] Compiling Data.DeriveDSL ( Data/DeriveDSL.hs, dist/build/Data/DeriveDSL.o )
[19 of 65] Compiling Derive.Utils ( Derive/Utils.hs, dist/build/Derive/Utils.o )
[20 of 65] Compiling Derive.Generate ( Derive/Generate.hs, dist/build/Derive/Generate.o )
[21 of 65] Compiling Derive.Flags ( Derive/Flags.hs, dist/build/Derive/Flags.o )
[22 of 65] Compiling Language.Haskell.TH.All ( Language/Haskell/TH/All.hs, dist/build/Language/Haskell/TH/All.o )
[23 of 65] Compiling Data.Derive.Internal.Derivation ( Data/Derive/Internal/Derivation.hs, dist/build/Data/Derive/Internal/Derivation.o )
[24 of 65] Compiling Data.Derive.Arbitrary ( Data/Derive/Arbitrary.hs, dist/build/Data/Derive/Arbitrary.o )
[25 of 65] Compiling Data.Derive.ArbitraryOld ( Data/Derive/ArbitraryOld.hs, dist/build/Data/Derive/ArbitraryOld.o )
[26 of 65] Compiling Data.Derive.Arities ( Data/Derive/Arities.hs, dist/build/Data/Derive/Arities.o )
[27 of 65] Compiling Data.Derive.Binary ( Data/Derive/Binary.hs, dist/build/Data/Derive/Binary.o )
[28 of 65] Compiling Data.Derive.BinaryDefer ( Data/Derive/BinaryDefer.hs, dist/build/Data/Derive/BinaryDefer.o )
[29 of 65] Compiling Data.Derive.Bounded ( Data/Derive/Bounded.hs, dist/build/Data/Derive/Bounded.o )
[30 of 65] Compiling Data.Derive.Data ( Data/Derive/Data.hs, dist/build/Data/Derive/Data.o )
[31 of 65] Compiling Data.Derive.DataAbstract ( Data/Derive/DataAbstract.hs, dist/build/Data/Derive/DataAbstract.o )
[32 of 65] Compiling Data.Derive.Default ( Data/Derive/Default.hs, dist/build/Data/Derive/Default.o )
[33 of 65] Compiling Data.Derive.Enum ( Data/Derive/Enum.hs, dist/build/Data/Derive/Enum.o )
[34 of 65] Compiling Data.Derive.EnumCyclic ( Data/Derive/EnumCyclic.hs, dist/build/Data/Derive/EnumCyclic.o )
[35 of 65] Compiling Data.Derive.Eq ( Data/Derive/Eq.hs, dist/build/Data/Derive/Eq.o )
[36 of 65] Compiling Data.Derive.Fold ( Data/Derive/Fold.hs, dist/build/Data/Derive/Fold.o )
[37 of 65] Compiling Data.Derive.From ( Data/Derive/From.hs, dist/build/Data/Derive/From.o )
[38 of 65] Compiling Data.Derive.Has ( Data/Derive/Has.hs, dist/build/Data/Derive/Has.o )
[39 of 65] Compiling Data.Derive.Is ( Data/Derive/Is.hs, dist/build/Data/Derive/Is.o )
[40 of 65] Compiling Data.Derive.JSON ( Data/Derive/JSON.hs, dist/build/Data/Derive/JSON.o )
[41 of 65] Compiling Data.Derive.LazySet ( Data/Derive/LazySet.hs, dist/build/Data/Derive/LazySet.o )
[42 of 65] Compiling Data.Derive.Lens ( Data/Derive/Lens.hs, dist/build/Data/Derive/Lens.o )
[43 of 65] Compiling Data.Derive.Monoid ( Data/Derive/Monoid.hs, dist/build/Data/Derive/Monoid.o )
[44 of 65] Compiling Data.Derive.NFData ( Data/Derive/NFData.hs, dist/build/Data/Derive/NFData.o )
[45 of 65] Compiling Data.Derive.Ord ( Data/Derive/Ord.hs, dist/build/Data/Derive/Ord.o )
[46 of 65] Compiling Data.Derive.Read ( Data/Derive/Read.hs, dist/build/Data/Derive/Read.o )
[47 of 65] Compiling Data.Derive.Ref ( Data/Derive/Ref.hs, dist/build/Data/Derive/Ref.o )
[48 of 65] Compiling Data.Derive.Serial ( Data/Derive/Serial.hs, dist/build/Data/Derive/Serial.o )
[49 of 65] Compiling Data.Derive.Serialize ( Data/Derive/Serialize.hs, dist/build/Data/Derive/Serialize.o )
[50 of 65] Compiling Data.Derive.Set ( Data/Derive/Set.hs, dist/build/Data/Derive/Set.o )
[51 of 65] Compiling Data.Derive.Show ( Data/Derive/Show.hs, dist/build/Data/Derive/Show.o )
[52 of 65] Compiling Data.Derive.Typeable ( Data/Derive/Typeable.hs, dist/build/Data/Derive/Typeable.o )
[53 of 65] Compiling Data.Derive.UniplateDirect ( Data/Derive/UniplateDirect.hs, dist/build/Data/Derive/UniplateDirect.o )
[54 of 65] Compiling Data.Derive.UniplateTypeable ( Data/Derive/UniplateTypeable.hs, dist/build/Data/Derive/UniplateTypeable.o )
[55 of 65] Compiling Data.Derive.Update ( Data/Derive/Update.hs, dist/build/Data/Derive/Update.o )
[56 of 65] Compiling Data.Derive.Internal.Traversal ( Data/Derive/Internal/Traversal.hs, dist/build/Data/Derive/Internal/Traversal.o )
[57 of 65] Compiling Data.Derive.Foldable ( Data/Derive/Foldable.hs, dist/build/Data/Derive/Foldable.o )
[58 of 65] Compiling Data.Derive.Functor ( Data/Derive/Functor.hs, dist/build/Data/Derive/Functor.o )
[59 of 65] Compiling Data.Derive.Traversable ( Data/Derive/Traversable.hs, dist/build/Data/Derive/Traversable.o )
[60 of 65] Compiling Derive.Derivation ( Derive/Derivation.hs, dist/build/Derive/Derivation.o )
[61 of 65] Compiling Data.Derive.All ( Data/Derive/All.hs, dist/build/Data/Derive/All.o )
[62 of 65] Compiling Data.DeriveTH ( Data/DeriveTH.hs, dist/build/Data/DeriveTH.o )
[63 of 65] Compiling Derive.Test ( Derive/Test.hs, dist/build/Derive/Test.o )
[64 of 65] Compiling Derive.Main ( Derive/Main.hs, dist/build/Derive/Main.o )
[65 of 65] Compiling Data.DeriveMain ( Data/DeriveMain.hs, dist/build/Data/DeriveMain.o )
In-place registering derive-2.5.13...
Preprocessing executable 'derive' for derive-2.5.13...
[ 1 of 53] Compiling Language.Haskell ( Language/Haskell.hs, dist/build/derive/derive-tmp/Language/Haskell.o )
[ 2 of 53] Compiling Derive.Flags ( Derive/Flags.hs, dist/build/derive/derive-tmp/Derive/Flags.o )
[ 3 of 53] Compiling Data.Derive.DSL.HSE ( Data/Derive/DSL/HSE.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/HSE.o )
[ 4 of 53] Compiling Derive.Utils ( Derive/Utils.hs, dist/build/derive/derive-tmp/Derive/Utils.o )
[ 5 of 53] Compiling Data.Derive.DSL.DSL ( Data/Derive/DSL/DSL.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/DSL.o )
[ 6 of 53] Compiling Data.Derive.DSL.SYB ( Data/Derive/DSL/SYB.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/SYB.o )
[ 7 of 53] Compiling Data.Derive.DSL.Apply ( Data/Derive/DSL/Apply.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/Apply.o )
[ 8 of 53] Compiling Data.Derive.DSL.Derive ( Data/Derive/DSL/Derive.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/Derive.o )
[ 9 of 53] Compiling Data.DeriveDSL ( Data/DeriveDSL.hs, dist/build/derive/derive-tmp/Data/DeriveDSL.o )
[10 of 53] Compiling Data.Derive.Internal.Derivation ( Data/Derive/Internal/Derivation.hs, dist/build/derive/derive-tmp/Data/Derive/Internal/Derivation.o )
[11 of 53] Compiling Data.Derive.Arbitrary ( Data/Derive/Arbitrary.hs, dist/build/derive/derive-tmp/Data/Derive/Arbitrary.o )
[12 of 53] Compiling Data.Derive.ArbitraryOld ( Data/Derive/ArbitraryOld.hs, dist/build/derive/derive-tmp/Data/Derive/ArbitraryOld.o )
[13 of 53] Compiling Data.Derive.Arities ( Data/Derive/Arities.hs, dist/build/derive/derive-tmp/Data/Derive/Arities.o )
[14 of 53] Compiling Data.Derive.Binary ( Data/Derive/Binary.hs, dist/build/derive/derive-tmp/Data/Derive/Binary.o )
[15 of 53] Compiling Data.Derive.BinaryDefer ( Data/Derive/BinaryDefer.hs, dist/build/derive/derive-tmp/Data/Derive/BinaryDefer.o )
[16 of 53] Compiling Data.Derive.Bounded ( Data/Derive/Bounded.hs, dist/build/derive/derive-tmp/Data/Derive/Bounded.o )
[17 of 53] Compiling Data.Derive.Data ( Data/Derive/Data.hs, dist/build/derive/derive-tmp/Data/Derive/Data.o )
[18 of 53] Compiling Data.Derive.DataAbstract ( Data/Derive/DataAbstract.hs, dist/build/derive/derive-tmp/Data/Derive/DataAbstract.o )
[19 of 53] Compiling Data.Derive.Default ( Data/Derive/Default.hs, dist/build/derive/derive-tmp/Data/Derive/Default.o )
[20 of 53] Compiling Data.Derive.Enum ( Data/Derive/Enum.hs, dist/build/derive/derive-tmp/Data/Derive/Enum.o )
[21 of 53] Compiling Data.Derive.EnumCyclic ( Data/Derive/EnumCyclic.hs, dist/build/derive/derive-tmp/Data/Derive/EnumCyclic.o )
[22 of 53] Compiling Data.Derive.Eq ( Data/Derive/Eq.hs, dist/build/derive/derive-tmp/Data/Derive/Eq.o )
[23 of 53] Compiling Data.Derive.Fold ( Data/Derive/Fold.hs, dist/build/derive/derive-tmp/Data/Derive/Fold.o )
[24 of 53] Compiling Data.Derive.From ( Data/Derive/From.hs, dist/build/derive/derive-tmp/Data/Derive/From.o )
[25 of 53] Compiling Data.Derive.Has ( Data/Derive/Has.hs, dist/build/derive/derive-tmp/Data/Derive/Has.o )
[26 of 53] Compiling Data.Derive.Is ( Data/Derive/Is.hs, dist/build/derive/derive-tmp/Data/Derive/Is.o )
[27 of 53] Compiling Data.Derive.JSON ( Data/Derive/JSON.hs, dist/build/derive/derive-tmp/Data/Derive/JSON.o )
[28 of 53] Compiling Data.Derive.LazySet ( Data/Derive/LazySet.hs, dist/build/derive/derive-tmp/Data/Derive/LazySet.o )
[29 of 53] Compiling Data.Derive.Lens ( Data/Derive/Lens.hs, dist/build/derive/derive-tmp/Data/Derive/Lens.o )
[30 of 53] Compiling Data.Derive.Monoid ( Data/Derive/Monoid.hs, dist/build/derive/derive-tmp/Data/Derive/Monoid.o )
[31 of 53] Compiling Data.Derive.NFData ( Data/Derive/NFData.hs, dist/build/derive/derive-tmp/Data/Derive/NFData.o )
[32 of 53] Compiling Data.Derive.Ord ( Data/Derive/Ord.hs, dist/build/derive/derive-tmp/Data/Derive/Ord.o )
[33 of 53] Compiling Data.Derive.Read ( Data/Derive/Read.hs, dist/build/derive/derive-tmp/Data/Derive/Read.o )
[34 of 53] Compiling Data.Derive.Ref ( Data/Derive/Ref.hs, dist/build/derive/derive-tmp/Data/Derive/Ref.o )
[35 of 53] Compiling Data.Derive.Serial ( Data/Derive/Serial.hs, dist/build/derive/derive-tmp/Data/Derive/Serial.o )
[36 of 53] Compiling Data.Derive.Serialize ( Data/Derive/Serialize.hs, dist/build/derive/derive-tmp/Data/Derive/Serialize.o )
[37 of 53] Compiling Data.Derive.Set ( Data/Derive/Set.hs, dist/build/derive/derive-tmp/Data/Derive/Set.o )
[38 of 53] Compiling Data.Derive.Show ( Data/Derive/Show.hs, dist/build/derive/derive-tmp/Data/Derive/Show.o )
[39 of 53] Compiling Data.Derive.Typeable ( Data/Derive/Typeable.hs, dist/build/derive/derive-tmp/Data/Derive/Typeable.o )
[40 of 53] Compiling Data.Derive.UniplateDirect ( Data/Derive/UniplateDirect.hs, dist/build/derive/derive-tmp/Data/Derive/UniplateDirect.o )
[41 of 53] Compiling Data.Derive.UniplateTypeable ( Data/Derive/UniplateTypeable.hs, dist/build/derive/derive-tmp/Data/Derive/UniplateTypeable.o )
[42 of 53] Compiling Data.Derive.Update ( Data/Derive/Update.hs, dist/build/derive/derive-tmp/Data/Derive/Update.o )
[43 of 53] Compiling Data.Derive.Internal.Traversal ( Data/Derive/Internal/Traversal.hs, dist/build/derive/derive-tmp/Data/Derive/Internal/Traversal.o )
[44 of 53] Compiling Data.Derive.Foldable ( Data/Derive/Foldable.hs, dist/build/derive/derive-tmp/Data/Derive/Foldable.o )
[45 of 53] Compiling Data.Derive.Functor ( Data/Derive/Functor.hs, dist/build/derive/derive-tmp/Data/Derive/Functor.o )
[46 of 53] Compiling Data.Derive.Traversable ( Data/Derive/Traversable.hs, dist/build/derive/derive-tmp/Data/Derive/Traversable.o )
[47 of 53] Compiling Derive.Derivation ( Derive/Derivation.hs, dist/build/derive/derive-tmp/Derive/Derivation.o )
[48 of 53] Compiling Derive.Generate ( Derive/Generate.hs, dist/build/derive/derive-tmp/Derive/Generate.o )
[49 of 53] Compiling Data.Derive.All ( Data/Derive/All.hs, dist/build/derive/derive-tmp/Data/Derive/All.o )
[50 of 53] Compiling Derive.Test ( Derive/Test.hs, dist/build/derive/derive-tmp/Derive/Test.o )
[51 of 53] Compiling Derive.Main ( Derive/Main.hs, dist/build/derive/derive-tmp/Derive/Main.o )
[52 of 53] Compiling Data.DeriveMain ( Data/DeriveMain.hs, dist/build/derive/derive-tmp/Data/DeriveMain.o )
[53 of 53] Compiling Main ( Main.hs, dist/build/derive/derive-tmp/Main.o )
Linking dist/build/derive/derive ...
Running Haddock for derive-2.5.13...
Running hscolour for derive-2.5.13...
Preprocessing library derive-2.5.13...
Preprocessing executable 'derive' for derive-2.5.13...
Preprocessing library derive-2.5.13...
Haddock coverage:
25% ( 1 / 4) in 'Language.Haskell.TH.Compat'
5% ( 1 / 21) in 'Language.Haskell.TH.Data'
100% ( 2 / 2) in 'Language.Haskell.TH.ExpandSynonym'
0% ( 0 / 31) in 'Language.Haskell.TH.FixedPpr'
47% ( 29 / 62) in 'Language.Haskell.TH.Helper'
0% ( 0 / 4) in 'Language.Haskell.TH.Peephole'
0% ( 0 / 2) in 'Data.Derive.Class.Default'
20% ( 1 / 5) in 'Data.Derive.Internal.Instance'
0% ( 0 / 2) in 'Data.Derive.Class.Arities'
0% ( 0 / 1) in 'Data.Derive.Instance.Arities'
2% ( 1 / 60) in 'Language.Haskell'
0% ( 0 / 3) in 'Language.Haskell.Convert'
5% ( 1 / 22) in 'Data.Derive.DSL.HSE'
0% ( 0 / 8) in 'Data.Derive.DSL.DSL'
0% ( 0 / 5) in 'Data.Derive.DSL.Apply'
0% ( 0 / 2) in 'Data.Derive.DSL.Derive'
0% ( 0 / 2) in 'Data.Derive.DSL.SYB'
0% ( 0 / 5) in 'Data.DeriveDSL'
0% ( 0 / 15) in 'Derive.Utils'
0% ( 0 / 2) in 'Derive.Generate'
0% ( 0 / 5) in 'Derive.Flags'
70% ( 7 / 10) in 'Language.Haskell.TH.All'
0% ( 0 / 8) in 'Data.Derive.Internal.Derivation'
0% ( 0 / 2) in 'Data.Derive.Arbitrary'
0% ( 0 / 3) in 'Data.Derive.ArbitraryOld'
0% ( 0 / 3) in 'Data.Derive.Arities'
0% ( 0 / 3) in 'Data.Derive.Binary'
0% ( 0 / 3) in 'Data.Derive.BinaryDefer'
0% ( 0 / 3) in 'Data.Derive.Bounded'
0% ( 0 / 2) in 'Data.Derive.Data'
50% ( 1 / 2) in 'Data.Derive.DataAbstract'
0% ( 0 / 3) in 'Data.Derive.Default'
0% ( 0 / 3) in 'Data.Derive.Enum'
0% ( 0 / 3) in 'Data.Derive.EnumCyclic'
0% ( 0 / 3) in 'Data.Derive.Eq'
50% ( 1 / 2) in 'Data.Derive.Fold'
50% ( 1 / 2) in 'Data.Derive.From'
50% ( 1 / 2) in 'Data.Derive.Has'
0% ( 0 / 2) in 'Data.Derive.Is'
100% ( 2 / 2) in 'Data.Derive.JSON'
50% ( 1 / 2) in 'Data.Derive.LazySet'
50% ( 1 / 2) in 'Data.Derive.Lens'
50% ( 1 / 2) in 'Data.Derive.Monoid'
0% ( 0 / 3) in 'Data.Derive.NFData'
0% ( 0 / 3) in 'Data.Derive.Ord'
50% ( 1 / 2) in 'Data.Derive.Read'
50% ( 1 / 2) in 'Data.Derive.Ref'
0% ( 0 / 3) in 'Data.Derive.Serial'
0% ( 0 / 3) in 'Data.Derive.Serialize'
50% ( 1 / 2) in 'Data.Derive.Set'
50% ( 1 / 2) in 'Data.Derive.Show'
50% ( 1 / 2) in 'Data.Derive.Typeable'
50% ( 1 / 2) in 'Data.Derive.UniplateDirect'
0% ( 0 / 3) in 'Data.Derive.UniplateTypeable'
50% ( 1 / 2) in 'Data.Derive.Update'
86% ( 6 / 7) in 'Data.Derive.Internal.Traversal'
0% ( 0 / 3) in 'Data.Derive.Foldable'
33% ( 1 / 3) in 'Data.Derive.Functor'
0% ( 0 / 3) in 'Data.Derive.Traversable'
0% ( 0 / 4) in 'Derive.Derivation'
Warning: derive-2.5.13:Data.Derive.All: Could not find documentation for exported module: D
33% ( 1 / 3) in 'Data.Derive.All'
80% ( 4 / 5) in 'Data.DeriveTH'
0% ( 0 / 2) in 'Derive.Test'
0% ( 0 / 2) in 'Derive.Main'
50% ( 1 / 2) in 'Data.DeriveMain'
Documentation created: dist/doc/html/derive/index.html
Preprocessing executable 'derive' for derive-2.5.13...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/derive-2.5.13
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering derive-2.5.13...
Installed derive-2.5.13
Downloading tamarin-prover-term-0.8.5.1...
Configuring tamarin-prover-term-0.8.5.1...
Building tamarin-prover-term-0.8.5.1...
Preprocessing library tamarin-prover-term-0.8.5.1...
[ 1 of 27] Compiling Term.Term.FunctionSymbols ( src/Term/Term/FunctionSymbols.hs, dist/build/Term/Term/FunctionSymbols.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package binary-0.7.1.0 ... linking ... done.
Loading package SHA-1.6.4 ... linking ... done.
Loading package base64-bytestring-1.0.0.1 ... linking ... done.
Loading package text-0.11.2.3 ... linking ... done.
Loading package blaze-builder-0.3.3.2 ... linking ... done.
Loading package dlist-0.5 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package fclabels-1.1.7.1 ... linking ... done.
Loading package parsec-3.1.3 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package old-locale-1.0.0.5 ... linking ... done.
Loading package time-1.4.0.1 ... linking ... done.
Loading package tamarin-prover-utils-0.8.5.1 ... linking ... done.
Loading package split-0.1.2.3 ... linking ... done.
Loading package safe-0.3.4 ... linking ... done.
Loading package filepath-1.3.0.1 ... linking ... done.
Loading package unix-2.6.0.1 ... linking ... done.
Loading package directory-1.2.0.1 ... linking ... done.
Loading package old-time-1.1.0.1 ... linking ... done.
Loading package cpphs-1.18 ... linking ... done.
Loading package haskell-src-exts-1.14.0.1 ... linking ... done.
Loading package process-1.1.0.2 ... linking ... done.
Loading package hashable-1.2.1.0 ... linking ... done.
Loading package unordered-containers-0.2.3.3 ... linking ... done.
Loading package uniplate-1.6.12 ... linking ... done.
Loading package derive-2.5.13 ... linking ... done.
Loading package attoparsec-0.10.4.0 ... linking ... done.
Loading package HUnit-1.2.5.2 ... linking ... done.
[ 2 of 27] Compiling Term.Term.Classes ( src/Term/Term/Classes.hs, dist/build/Term/Term/Classes.o )
[ 3 of 27] Compiling Term.Term.Raw ( src/Term/Term/Raw.hs, dist/build/Term/Term/Raw.o )
[ 4 of 27] Compiling Term.Term ( src/Term/Term.hs, dist/build/Term/Term.o )
[ 5 of 27] Compiling Term.VTerm ( src/Term/VTerm.hs, dist/build/Term/VTerm.o )
[ 6 of 27] Compiling Term.Positions ( src/Term/Positions.hs, dist/build/Term/Positions.o )
[ 7 of 27] Compiling Term.Rewriting.Definitions ( src/Term/Rewriting/Definitions.hs, dist/build/Term/Rewriting/Definitions.o )
[ 8 of 27] Compiling Term.LTerm ( src/Term/LTerm.hs, dist/build/Term/LTerm.o )
[ 9 of 27] Compiling Term.Substitution.SubstVFresh ( src/Term/Substitution/SubstVFresh.hs, dist/build/Term/Substitution/SubstVFresh.o )
[10 of 27] Compiling Term.Builtin.Signature ( src/Term/Builtin/Signature.hs, dist/build/Term/Builtin/Signature.o )
[11 of 27] Compiling Term.Builtin.Convenience ( src/Term/Builtin/Convenience.hs, dist/build/Term/Builtin/Convenience.o )
[12 of 27] Compiling Term.SubtermRule ( src/Term/SubtermRule.hs, dist/build/Term/SubtermRule.o )
[13 of 27] Compiling Term.Builtin.Rules ( src/Term/Builtin/Rules.hs, dist/build/Term/Builtin/Rules.o )
[14 of 27] Compiling Term.Maude.Signature ( src/Term/Maude/Signature.hs, dist/build/Term/Maude/Signature.o )
[15 of 27] Compiling Term.Substitution.SubstVFree ( src/Term/Substitution/SubstVFree.hs, dist/build/Term/Substitution/SubstVFree.o )
[16 of 27] Compiling Term.Substitution ( src/Term/Substitution.hs, dist/build/Term/Substitution.o )
[17 of 27] Compiling Term.Maude.Types ( src/Term/Maude/Types.hs, dist/build/Term/Maude/Types.o )
[18 of 27] Compiling Term.Maude.Parser ( src/Term/Maude/Parser.hs, dist/build/Term/Maude/Parser.o )
[19 of 27] Compiling Term.Maude.Process ( src/Term/Maude/Process.hs, dist/build/Term/Maude/Process.o )
src/Term/Maude/Process.hs:94:5: Warning:
In the use of `addMVarFinalizer'
(imported from Control.Concurrent, but defined in Control.Concurrent.MVar):
Deprecated: "use mkWeakMVar instead"
[20 of 27] Compiling Term.Unification ( src/Term/Unification.hs, dist/build/Term/Unification.o )
[21 of 27] Compiling Term.Subsumption ( src/Term/Subsumption.hs, dist/build/Term/Subsumption.o )
[22 of 27] Compiling Term.Rewriting.Norm ( src/Term/Rewriting/Norm.hs, dist/build/Term/Rewriting/Norm.o )
[23 of 27] Compiling Term.Narrowing.Narrow ( src/Term/Narrowing/Narrow.hs, dist/build/Term/Narrowing/Narrow.o )
[24 of 27] Compiling Term.Narrowing.Variants.Check ( src/Term/Narrowing/Variants/Check.hs, dist/build/Term/Narrowing/Variants/Check.o )
[25 of 27] Compiling Term.Narrowing.Variants.Compute ( src/Term/Narrowing/Variants/Compute.hs, dist/build/Term/Narrowing/Variants/Compute.o )
[26 of 27] Compiling Term.Narrowing.Variants ( src/Term/Narrowing/Variants.hs, dist/build/Term/Narrowing/Variants.o )
[27 of 27] Compiling Term.UnitTests ( src/Term/UnitTests.hs, dist/build/Term/UnitTests.o )
In-place registering tamarin-prover-term-0.8.5.1...
Running Haddock for tamarin-prover-term-0.8.5.1...
Running hscolour for tamarin-prover-term-0.8.5.1...
Preprocessing library tamarin-prover-term-0.8.5.1...
Preprocessing library tamarin-prover-term-0.8.5.1...
dist/build/tmp-22052/src/Term/Maude/Process.hs:94:5: Warning:
In the use of `addMVarFinalizer'
(imported from Control.Concurrent, but defined in Control.Concurrent.MVar):
Deprecated: "use mkWeakMVar instead"
Haddock coverage:
84% ( 27 / 32) in 'Term.Term.FunctionSymbols'
50% ( 1 / 2) in 'Term.Term.Classes'
84% ( 16 / 19) in 'Term.Term.Raw'
85% ( 57 / 67) in 'Term.Term'
doc comment parse failed: @isVar t returns @True@ if @t@ is a variable.
86% ( 70 / 81) in 'Term.VTerm'
100% ( 5 / 5) in 'Term.Positions'
100% ( 11 / 11) in 'Term.Rewriting.Definitions'
99% ( 66 / 67) in 'Term.LTerm'
100% ( 29 / 29) in 'Term.Substitution.SubstVFresh'
100% ( 14 / 14) in 'Term.Builtin.Signature'
1% ( 1 /121) in 'Term.Builtin.Convenience'
100% ( 8 / 8) in 'Term.SubtermRule'
100% ( 12 / 12) in 'Term.Builtin.Rules'
85% ( 23 / 27) in 'Term.Maude.Signature'
100% ( 32 / 32) in 'Term.Substitution.SubstVFree'
100% ( 69 / 69) in 'Term.Substitution'
75% ( 9 / 12) in 'Term.Maude.Types'
100% ( 8 / 8) in 'Term.Maude.Parser'
100% ( 13 / 13) in 'Term.Maude.Process'
89% ( 40 / 45) in 'Term.Unification'
doc comment parse failed: @factorSubstOn s1 s2 vs@ factors the free substitution @s1@
through free substitution @s2@ on @vs@,
i.e., find a complete set of free substitutions s such that for all
vars @x `elem` vs@:
> applyVTerm s1 x =AC= applyVTerm s (applyVTerm s2 x).
88% ( 7 / 8) in 'Term.Subsumption'
100% ( 6 / 6) in 'Term.Rewriting.Norm'
100% ( 2 / 2) in 'Term.Narrowing.Narrow'
100% ( 6 / 6) in 'Term.Narrowing.Variants.Check'
100% ( 5 / 5) in 'Term.Narrowing.Variants.Compute'
100% ( 4 / 4) in 'Term.Narrowing.Variants'
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
doc comment parse failed:
9% ( 3 / 34) in 'Term.UnitTests'
Warning: Term.LTerm: could not find link destinations for:
Term.LTerm.Occurence
Warning: Term.Substitution: could not find link destinations for:
Term.Substitution.SubstVFresh.isRenamedVar
Warning: Term.Maude.Process: could not find link destinations for:
Term.Maude.Process.MaudeProcess
Warning: Term.Subsumption: could not find link destinations for:
Term.LTerm.Occurence
Documentation created: dist/doc/html/tamarin-prover-term/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tamarin-prover-term-0.8.5.1
Registering tamarin-prover-term-0.8.5.1...
Installed tamarin-prover-term-0.8.5.1
Test log
No test log was submitted for this report.