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 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: 86% ( 18 / 21) 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 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 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 cmdargs-0.10.7... Building cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... [ 1 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o ) [ 2 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o ) [ 3 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o ) [ 4 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o ) [ 5 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o ) [ 6 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o ) [ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o ) [ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o ) [ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o ) [10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o ) [11 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o ) [12 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o ) [13 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o ) [14 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o ) [15 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o ) [16 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o ) Data/Generics/Any.hs:65:17: Warning: In the use of `tyConString' (imported from Data.Data, but defined in Data.Typeable.Internal): Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available." [17 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o ) [18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o ) [19 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o ) [20 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o ) [21 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o ) [22 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o ) [23 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o ) [24 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o ) [25 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o ) In-place registering cmdargs-0.10.7... Running Haddock for cmdargs-0.10.7... Running hscolour for cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... Preprocessing library cmdargs-0.10.7... dist/build/tmp-20038/Data/Generics/Any.hs:65:17: Warning: In the use of `tyConString' (imported from Data.Data, but defined in Data.Typeable.Internal): Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available." Haddock coverage: 50% ( 1 / 2) in 'System.Console.CmdArgs.Implicit.Ann' 100% ( 21 / 21) in 'System.Console.CmdArgs.Implicit.UI' 100% ( 8 / 8) in 'System.Console.CmdArgs.Verbosity' 25% ( 2 / 8) in 'System.Console.CmdArgs.Implicit.Type' 67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.SplitJoin' 50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.ExpandArgsAt' 86% ( 24 / 28) in 'System.Console.CmdArgs.Explicit.Type' 50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.Process' 60% ( 3 / 5) in 'System.Console.CmdArgs.Explicit.Complete' 100% ( 8 / 8) in 'System.Console.CmdArgs.Helper' 100% ( 2 / 2) in 'System.Console.CmdArgs.Default' 100% ( 5 / 5) in 'System.Console.CmdArgs.Text' 67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.Help' 93% ( 43 / 46) in 'System.Console.CmdArgs.Explicit' 100% ( 8 / 8) in 'System.Console.CmdArgs.GetOpt' 4% ( 1 / 26) in 'Data.Generics.Any' 0% ( 0 / 20) in 'Data.Generics.Any.Prelude' 0% ( 0 / 3) in 'System.Console.CmdArgs.Implicit.Reader' 100% ( 17 / 17) in 'System.Console.CmdArgs.Annotate' 9% ( 1 / 11) in 'System.Console.CmdArgs.Implicit.Local' 0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Reform' 0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Global' 100% ( 50 / 50) in 'System.Console.CmdArgs.Implicit' 100% ( 9 / 9) in 'System.Console.CmdArgs.Quote' 100% ( 2 / 2) in 'System.Console.CmdArgs' Warning: System.Console.CmdArgs.Implicit: could not find link destinations for: System.Console.CmdArgs.Implicit.Type.CmdArgsPrivate GHC.IO.Handle.Types.Handle__ Documentation created: dist/doc/html/cmdargs/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cmdargs-0.10.7 Registering cmdargs-0.10.7... Installed cmdargs-0.10.7 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 parallel-3.2.0.4... Building parallel-3.2.0.4... Preprocessing library parallel-3.2.0.4... [1 of 3] Compiling Control.Parallel ( Control/Parallel.hs, dist/build/Control/Parallel.o ) [2 of 3] Compiling Control.Seq ( Control/Seq.hs, dist/build/Control/Seq.o ) [3 of 3] Compiling Control.Parallel.Strategies ( Control/Parallel/Strategies.hs, dist/build/Control/Parallel/Strategies.o ) In-place registering parallel-3.2.0.4... Running Haddock for parallel-3.2.0.4... Running hscolour for parallel-3.2.0.4... Preprocessing library parallel-3.2.0.4... Preprocessing library parallel-3.2.0.4... Haddock coverage: 100% ( 3 / 3) in 'Control.Parallel' 72% ( 21 / 29) in 'Control.Seq' 81% ( 68 / 84) in 'Control.Parallel.Strategies' Documentation created: dist/doc/html/parallel/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/parallel-3.2.0.4 Registering parallel-3.2.0.4... Installed parallel-3.2.0.4 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 [1 of 1] Compiling Main ( /tmp/haskell-src-exts-1.14.0.1-20038/haskell-src-exts-1.14.0.1/Setup.hs, /tmp/haskell-src-exts-1.14.0.1-20038/haskell-src-exts-1.14.0.1/dist/setup/Main.o ) Linking /tmp/haskell-src-exts-1.14.0.1-20038/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 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 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.5.1.1 ... 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-20038/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 Configuring tamarin-prover-theory-0.8.6.0... Building tamarin-prover-theory-0.8.6.0... Preprocessing library tamarin-prover-theory-0.8.6.0... [ 1 of 30] Compiling Theory.Model.Fact ( src/Theory/Model/Fact.hs, dist/build/Theory/Model/Fact.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 HUnit-1.2.5.2 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package text-0.11.2.3 ... linking ... done. Loading package attoparsec-0.10.4.0 ... linking ... done. Loading package binary-0.5.1.1 ... linking ... done. Loading package filepath-1.3.0.1 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package time-1.4.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 pretty-1.1.1.0 ... linking ... done. Loading package haskell-src-exts-1.14.0.1 ... linking ... done. Loading package process-1.1.0.2 ... linking ... done. Loading package syb-0.4.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... 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 dlist-0.5 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package parsec-3.1.3 ... linking ... done. Loading package safe-0.3.4 ... linking ... done. Loading package split-0.1.2.3 ... linking ... done. Loading package SHA-1.6.4 ... linking ... done. Loading package base64-bytestring-1.0.0.1 ... linking ... done. Loading package blaze-builder-0.3.3.2 ... linking ... done. Loading package fclabels-1.1.7.1 ... linking ... done. Loading package tamarin-prover-utils-0.8.5.1 ... linking ... done. Loading package tamarin-prover-term-0.8.5.1 ... linking ... done. Loading package parallel-3.2.0.4 ... linking ... done. Loading package cmdargs-0.10.7 ... linking ... done. [ 2 of 30] Compiling Theory.Text.Pretty ( src/Theory/Text/Pretty.hs, dist/build/Theory/Text/Pretty.o ) [ 3 of 30] Compiling Theory.Tools.EquationStore ( src/Theory/Tools/EquationStore.hs, dist/build/Theory/Tools/EquationStore.o ) [ 4 of 30] Compiling Theory.Model.Atom ( src/Theory/Model/Atom.hs, dist/build/Theory/Model/Atom.o ) [ 5 of 30] Compiling Theory.Model.Formula ( src/Theory/Model/Formula.hs, dist/build/Theory/Model/Formula.o ) [ 6 of 30] Compiling Theory.Model.Rule ( src/Theory/Model/Rule.hs, dist/build/Theory/Model/Rule.o ) [ 7 of 30] Compiling Theory.Model.Signature ( src/Theory/Model/Signature.hs, dist/build/Theory/Model/Signature.o ) [ 8 of 30] Compiling Theory.Model ( src/Theory/Model.hs, dist/build/Theory/Model.o ) [ 9 of 30] Compiling Theory.Tools.AbstractInterpretation ( src/Theory/Tools/AbstractInterpretation.hs, dist/build/Theory/Tools/AbstractInterpretation.o ) [10 of 30] Compiling Theory.Tools.InjectiveFactInstances ( src/Theory/Tools/InjectiveFactInstances.hs, dist/build/Theory/Tools/InjectiveFactInstances.o ) [11 of 30] Compiling Theory.Tools.LoopBreakers ( src/Theory/Tools/LoopBreakers.hs, dist/build/Theory/Tools/LoopBreakers.o ) [12 of 30] Compiling Theory.Tools.RuleVariants ( src/Theory/Tools/RuleVariants.hs, dist/build/Theory/Tools/RuleVariants.o ) [13 of 30] Compiling Theory.Tools.IntruderRules ( src/Theory/Tools/IntruderRules.hs, dist/build/Theory/Tools/IntruderRules.o ) [14 of 30] Compiling Theory.Constraint.System.Guarded ( src/Theory/Constraint/System/Guarded.hs, dist/build/Theory/Constraint/System/Guarded.o ) [15 of 30] Compiling Theory.Constraint.System.Constraints ( src/Theory/Constraint/System/Constraints.hs, dist/build/Theory/Constraint/System/Constraints.o ) [16 of 30] Compiling Theory.Constraint.System ( src/Theory/Constraint/System.hs, dist/build/Theory/Constraint/System.o ) [17 of 30] Compiling Theory.Constraint.Solver.Types ( src/Theory/Constraint/Solver/Types.hs, dist/build/Theory/Constraint/Solver/Types.o ) [18 of 30] Compiling Theory.Constraint.Solver.Contradictions ( src/Theory/Constraint/Solver/Contradictions.hs, dist/build/Theory/Constraint/Solver/Contradictions.o ) [19 of 30] Compiling Theory.Constraint.Solver.Reduction ( src/Theory/Constraint/Solver/Reduction.hs, dist/build/Theory/Constraint/Solver/Reduction.o ) [20 of 30] Compiling Theory.Constraint.Solver.Goals ( src/Theory/Constraint/Solver/Goals.hs, dist/build/Theory/Constraint/Solver/Goals.o ) [21 of 30] Compiling Theory.Constraint.Solver.Simplify ( src/Theory/Constraint/Solver/Simplify.hs, dist/build/Theory/Constraint/Solver/Simplify.o ) [22 of 30] Compiling Theory.Constraint.Solver.CaseDistinctions ( src/Theory/Constraint/Solver/CaseDistinctions.hs, dist/build/Theory/Constraint/Solver/CaseDistinctions.o ) [23 of 30] Compiling Theory.Constraint.Solver.ProofMethod ( src/Theory/Constraint/Solver/ProofMethod.hs, dist/build/Theory/Constraint/Solver/ProofMethod.o ) [24 of 30] Compiling Theory.Constraint.Solver ( src/Theory/Constraint/Solver.hs, dist/build/Theory/Constraint/Solver.o ) [25 of 30] Compiling Theory.Proof ( src/Theory/Proof.hs, dist/build/Theory/Proof.o ) [26 of 30] Compiling Theory.Constraint.System.Dot ( src/Theory/Constraint/System/Dot.hs, dist/build/Theory/Constraint/System/Dot.o ) [27 of 30] Compiling Theory ( src/Theory.hs, dist/build/Theory.o ) [28 of 30] Compiling Theory.Text.Parser.Token ( src/Theory/Text/Parser/Token.hs, dist/build/Theory/Text/Parser/Token.o ) [29 of 30] Compiling Theory.Text.Parser ( src/Theory/Text/Parser.hs, dist/build/Theory/Text/Parser.o ) [30 of 30] Compiling Theory.Tools.Wellformedness ( src/Theory/Tools/Wellformedness.hs, dist/build/Theory/Tools/Wellformedness.o ) In-place registering tamarin-prover-theory-0.8.6.0... Running Haddock for tamarin-prover-theory-0.8.6.0... Running hscolour for tamarin-prover-theory-0.8.6.0... Preprocessing library tamarin-prover-theory-0.8.6.0... Preprocessing library tamarin-prover-theory-0.8.6.0... Haddock coverage: 93% ( 40 / 43) in 'Theory.Model.Fact' 24% ( 10 / 42) in 'Theory.Text.Pretty' 85% ( 22 / 26) in 'Theory.Tools.EquationStore' 92% ( 12 / 13) in 'Theory.Model.Atom' 79% ( 19 / 24) in 'Theory.Model.Formula' 72% ( 50 / 69) in 'Theory.Model.Rule' 100% ( 15 / 15) in 'Theory.Model.Signature' 100% ( 7 / 7) in 'Theory.Model' 100% ( 6 / 6) in 'Theory.Tools.AbstractInterpretation' 100% ( 3 / 3) in 'Theory.Tools.InjectiveFactInstances' 100% ( 3 / 3) in 'Theory.Tools.LoopBreakers' 50% ( 2 / 4) in 'Theory.Tools.RuleVariants' 45% ( 5 / 11) in 'Theory.Tools.IntruderRules' 77% ( 30 / 39) in 'Theory.Constraint.System.Guarded' 74% ( 17 / 23) in 'Theory.Constraint.System.Constraints' 77% ( 47 / 61) in 'Theory.Constraint.System' 44% ( 11 / 25) in 'Theory.Constraint.Solver.Types' 88% ( 7 / 8) in 'Theory.Constraint.Solver.Contradictions' 87% ( 41 / 47) in 'Theory.Constraint.Solver.Reduction' 80% ( 4 / 5) in 'Theory.Constraint.Solver.Goals' 100% ( 2 / 2) in 'Theory.Constraint.Solver.Simplify' 100% ( 11 / 11) in 'Theory.Constraint.Solver.CaseDistinctions' 86% ( 12 / 14) in 'Theory.Constraint.Solver.ProofMethod' 62% ( 23 / 37) in 'Theory.Constraint.Solver' 87% ( 39 / 45) in 'Theory.Proof' 100% ( 6 / 6) in 'Theory.Constraint.System.Dot' 78% ( 57 / 73) in 'Theory' doc comment parse failed: Description of the source file. (For error reporting.)" 100% ( 63 / 63) in 'Theory.Text.Parser.Token' 100% ( 5 / 5) in 'Theory.Text.Parser' 67% ( 4 / 6) in 'Theory.Tools.Wellformedness' Warning: Theory.Constraint.Solver.Simplify: could not find link destinations for: Theory.Constraint.Solver.Simplify.partialAtomValuation Warning: Theory.Proof: could not find link destinations for: Theory.Proof.checkProof Theory.Proof.annotateWithSystems Warning: Theory.Constraint.System.Dot: could not find link destinations for: Theory.Constraint.System.Dot.SeDot Theory.Constraint.System.Dot.DotState Warning: Theory: could not find link destinations for: Theory.FormalComment Theory.OpenProtoRule Theory.LemmaRef Warning: Theory.Tools.Wellformedness: could not find link destinations for: Theory.Tools.Wellformedness.WfError Documentation created: dist/doc/html/tamarin-prover-theory/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tamarin-prover-theory-0.8.6.0 Registering tamarin-prover-theory-0.8.6.0... Installed tamarin-prover-theory-0.8.6.0