Build #1 for lhs2TeX-hl-0.1.1.1
| Package | lhs2TeX-hl-0.1.1.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | syb-0.4.1, haskell98-2.0.0.2, haskell-src-exts-1.14.0, cmdargs-0.10.5, base-4.6.0.1, MissingH-1.2.0.2, Agda-2.3.2.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 QuickCheck-2.6...
Building QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
[ 1 of 13] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 2 of 13] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 3 of 13] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 4 of 13] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 5 of 13] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 6 of 13] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[ 7 of 13] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[ 8 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[11 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[12 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[13 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.6...
Running Haddock for QuickCheck-2.6...
Running hscolour for QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: random-1.0.1.1
Haddock coverage:
12% ( 1 / 8) in 'Test.QuickCheck.Exception'
0% ( 0 / 18) in 'Test.QuickCheck.Text'
50% ( 1 / 2) in 'Test.QuickCheck.State'
95% ( 20 / 21) in 'Test.QuickCheck.Gen'
92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary'
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
14% ( 1 / 7) in 'Test.QuickCheck.Function'
92% ( 12 / 13) in 'Test.QuickCheck.Modifiers'
59% ( 34 / 58) in 'Test.QuickCheck.Property'
48% ( 13 / 27) in 'Test.QuickCheck.Test'
100% ( 9 / 9) in 'Test.QuickCheck.All'
7% ( 1 / 15) in 'Test.QuickCheck.Monadic'
93% ( 95 /102) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Text: could not find link destinations for:
Test.QuickCheck.Text.Output
Warning: Test.QuickCheck.State: could not find link destinations for:
System.Random.StdGen
Warning: Test.QuickCheck.Gen: could not find link destinations for:
System.Random.StdGen System.Random.Random
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
System.Random.Random
Warning: Test.QuickCheck.Property: could not find link destinations for:
Test.QuickCheck.Exception.AnException
Warning: Test.QuickCheck.Test: could not find link destinations for:
System.Random.StdGen
Warning: Test.QuickCheck: could not find link destinations for:
System.Random.StdGen System.Random.Random
Documentation created: dist/doc/html/QuickCheck/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.6
Registering QuickCheck-2.6...
Installed QuickCheck-2.6
Configuring cmdargs-0.10.5...
Building cmdargs-0.10.5...
Preprocessing library cmdargs-0.10.5...
[ 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.5...
Running Haddock for cmdargs-0.10.5...
Running hscolour for cmdargs-0.10.5...
Preprocessing library cmdargs-0.10.5...
Preprocessing library cmdargs-0.10.5...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: transformers-0.3.0.0
dist/build/tmp-11919/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.5
Registering cmdargs-0.10.5...
Installed cmdargs-0.10.5
Configuring cpphs-1.17.1...
Building cpphs-1.17.1...
Preprocessing library cpphs-1.17.1...
[ 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.17.1...
Preprocessing executable 'cpphs' for cpphs-1.17.1...
[ 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.17.1...
Running hscolour for cpphs-1.17.1...
Preprocessing library cpphs-1.17.1...
Preprocessing executable 'cpphs' for cpphs-1.17.1...
Preprocessing library cpphs-1.17.1...
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.17.1...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cpphs-1.17.1
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.17.1...
Installed cpphs-1.17.1
Configuring geniplate-0.6.0.3...
Building geniplate-0.6.0.3...
Preprocessing library geniplate-0.6.0.3...
[1 of 1] Compiling Data.Generics.Geniplate ( Data/Generics/Geniplate.hs, dist/build/Data/Generics/Geniplate.o )
In-place registering geniplate-0.6.0.3...
Running Haddock for geniplate-0.6.0.3...
Running hscolour for geniplate-0.6.0.3...
Preprocessing library geniplate-0.6.0.3...
Preprocessing library geniplate-0.6.0.3...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0
Haddock coverage:
68% ( 13 / 19) in 'Data.Generics.Geniplate'
Documentation created: dist/doc/html/geniplate/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/geniplate-0.6.0.3
Registering geniplate-0.6.0.3...
Installed geniplate-0.6.0.3
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...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: text-0.11.2.3
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.Text.Internal.Text Data.Text.Lazy.Internal.Text 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 hslogger-1.2.3...
Building hslogger-1.2.3...
Preprocessing library hslogger-1.2.3...
[1 of 8] Compiling System.Log ( src/System/Log.hs, dist/build/System/Log.o )
[2 of 8] Compiling System.Log.Formatter ( src/System/Log/Formatter.hs, dist/build/System/Log/Formatter.o )
[3 of 8] Compiling System.Log.Handler ( src/System/Log/Handler.hs, dist/build/System/Log/Handler.o )
[4 of 8] Compiling System.Log.Handler.Simple ( src/System/Log/Handler/Simple.hs, dist/build/System/Log/Handler/Simple.o )
[5 of 8] Compiling System.Log.Handler.Syslog ( src/System/Log/Handler/Syslog.hs, dist/build/System/Log/Handler/Syslog.o )
[6 of 8] Compiling System.Log.Handler.Growl ( src/System/Log/Handler/Growl.hs, dist/build/System/Log/Handler/Growl.o )
[7 of 8] Compiling System.Log.Handler.Log4jXML ( src/System/Log/Handler/Log4jXML.hs, dist/build/System/Log/Handler/Log4jXML.o )
[8 of 8] Compiling System.Log.Logger ( src/System/Log/Logger.hs, dist/build/System/Log/Logger.o )
In-place registering hslogger-1.2.3...
Running Haddock for hslogger-1.2.3...
Running hscolour for hslogger-1.2.3...
Preprocessing library hslogger-1.2.3...
Preprocessing library hslogger-1.2.3...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, network-2.4.1.2,
parsec-3.1.3, text-0.11.2.3, transformers-0.3.0.0
Haddock coverage:
100% ( 4 / 4) in 'System.Log'
100% ( 6 / 6) in 'System.Log.Formatter'
100% ( 3 / 3) in 'System.Log.Handler'
100% ( 5 / 5) in 'System.Log.Handler.Simple'
100% ( 10 / 10) in 'System.Log.Handler.Syslog'
100% ( 3 / 3) in 'System.Log.Handler.Growl'
100% ( 17 / 17) in 'System.Log.Handler.Log4jXML'
97% ( 37 / 38) in 'System.Log.Logger'
Warning: System.Log.Handler.Syslog: could not find link destinations for:
System.Log.Handler.Syslog.SyslogHandler Network.Socket.Types.Family Network.Socket.HostName Network.Socket.Types.PortNumber Network.Socket.Types.Socket Network.Socket.Types.SockAddr Network.Socket.Types.SocketType
Warning: System.Log.Handler.Growl: could not find link destinations for:
Network.Socket.HostName System.Log.Handler.Growl.GrowlHandler
Documentation created: dist/doc/html/hslogger/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hslogger-1.2.3
Registering hslogger-1.2.3...
Installed hslogger-1.2.3
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 primitive-0.5.1.0...
Building primitive-0.5.1.0...
Preprocessing library primitive-0.5.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
In-place registering primitive-0.5.1.0...
Running Haddock for primitive-0.5.1.0...
Running hscolour for primitive-0.5.1.0...
Preprocessing library primitive-0.5.1.0...
Preprocessing library primitive-0.5.1.0...
Haddock coverage:
67% ( 2 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
Warning: Control.Monad.Primitive: We do not support associated types in instances yet. These instances are affected:
Control.Monad.Primitive.PrimMonad GHC.Types.IO, Control.Monad.Primitive.PrimMonad (GHC.ST.ST s)
71% ( 10 / 14) in 'Control.Monad.Primitive'
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 13 / 13) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 7 / 7) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/primitive-0.5.1.0
Registering primitive-0.5.1.0...
Installed primitive-0.5.1.0
Configuring regex-base-0.93.2...
Building regex-base-0.93.2...
Preprocessing library regex-base-0.93.2...
[1 of 4] Compiling Text.Regex.Base.RegexLike ( Text/Regex/Base/RegexLike.hs, dist/build/Text/Regex/Base/RegexLike.o )
[2 of 4] Compiling Text.Regex.Base.Context ( Text/Regex/Base/Context.hs, dist/build/Text/Regex/Base/Context.o )
[3 of 4] Compiling Text.Regex.Base ( Text/Regex/Base.hs, dist/build/Text/Regex/Base.o )
[4 of 4] Compiling Text.Regex.Base.Impl ( Text/Regex/Base/Impl.hs, dist/build/Text/Regex/Base/Impl.o )
In-place registering regex-base-0.93.2...
Running Haddock for regex-base-0.93.2...
Running hscolour for regex-base-0.93.2...
Preprocessing library regex-base-0.93.2...
Preprocessing library regex-base-0.93.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0
Haddock coverage:
94% ( 17 / 18) in 'Text.Regex.Base.RegexLike'
100% ( 1 / 1) in 'Text.Regex.Base.Context'
75% ( 3 / 4) in 'Text.Regex.Base'
33% ( 1 / 3) in 'Text.Regex.Base.Impl'
Documentation created: dist/doc/html/regex-base/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-base-0.93.2
Registering regex-base-0.93.2...
Installed regex-base-0.93.2
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 terminfo-0.3.2.6...
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking ncurses.h usability... yes
checking ncurses.h presence... yes
checking for ncurses.h... yes
checking for setupterm in -ltinfo... yes
configure: creating ./config.status
config.status: creating terminfo.buildinfo
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
Building terminfo-0.3.2.6...
Preprocessing library terminfo-0.3.2.6...
[1 of 7] Compiling System.Console.Terminfo.Base ( System/Console/Terminfo/Base.hs, dist/build/System/Console/Terminfo/Base.o )
[2 of 7] Compiling System.Console.Terminfo.Keys ( System/Console/Terminfo/Keys.hs, dist/build/System/Console/Terminfo/Keys.o )
[3 of 7] Compiling System.Console.Terminfo.Cursor ( System/Console/Terminfo/Cursor.hs, dist/build/System/Console/Terminfo/Cursor.o )
[4 of 7] Compiling System.Console.Terminfo.Effects ( System/Console/Terminfo/Effects.hs, dist/build/System/Console/Terminfo/Effects.o )
[5 of 7] Compiling System.Console.Terminfo.Edit ( System/Console/Terminfo/Edit.hs, dist/build/System/Console/Terminfo/Edit.o )
[6 of 7] Compiling System.Console.Terminfo.Color ( System/Console/Terminfo/Color.hs, dist/build/System/Console/Terminfo/Color.o )
[7 of 7] Compiling System.Console.Terminfo ( System/Console/Terminfo.hs, dist/build/System/Console/Terminfo.o )
In-place registering terminfo-0.3.2.6...
Running Haddock for terminfo-0.3.2.6...
Running hscolour for terminfo-0.3.2.6...
Preprocessing library terminfo-0.3.2.6...
Preprocessing library terminfo-0.3.2.6...
Haddock coverage:
79% ( 22 / 28) in 'System.Console.Terminfo.Base'
32% ( 6 / 19) in 'System.Console.Terminfo.Keys'
41% ( 15 / 37) in 'System.Console.Terminfo.Cursor'
56% ( 14 / 25) in 'System.Console.Terminfo.Effects'
100% ( 5 / 5) in 'System.Console.Terminfo.Edit'
88% ( 7 / 8) in 'System.Console.Terminfo.Color'
100% ( 7 / 7) in 'System.Console.Terminfo'
Documentation created: dist/doc/html/terminfo/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/terminfo-0.3.2.6
Registering terminfo-0.3.2.6...
Installed terminfo-0.3.2.6
Configuring xhtml-3000.2.1...
Building xhtml-3000.2.1...
Preprocessing library xhtml-3000.2.1...
[ 1 of 15] Compiling Text.XHtml.BlockTable ( Text/XHtml/BlockTable.hs, dist/build/Text/XHtml/BlockTable.o )
[ 2 of 15] Compiling Text.XHtml.Internals ( Text/XHtml/Internals.hs, dist/build/Text/XHtml/Internals.o )
[ 3 of 15] Compiling Text.XHtml.Transitional.Elements ( Text/XHtml/Transitional/Elements.hs, dist/build/Text/XHtml/Transitional/Elements.o )
[ 4 of 15] Compiling Text.XHtml.Transitional.Attributes ( Text/XHtml/Transitional/Attributes.hs, dist/build/Text/XHtml/Transitional/Attributes.o )
[ 5 of 15] Compiling Text.XHtml.Frameset.Attributes ( Text/XHtml/Frameset/Attributes.hs, dist/build/Text/XHtml/Frameset/Attributes.o )
[ 6 of 15] Compiling Text.XHtml.Strict.Attributes ( Text/XHtml/Strict/Attributes.hs, dist/build/Text/XHtml/Strict/Attributes.o )
[ 7 of 15] Compiling Text.XHtml.Frameset.Elements ( Text/XHtml/Frameset/Elements.hs, dist/build/Text/XHtml/Frameset/Elements.o )
[ 8 of 15] Compiling Text.XHtml.Strict.Elements ( Text/XHtml/Strict/Elements.hs, dist/build/Text/XHtml/Strict/Elements.o )
[ 9 of 15] Compiling Text.XHtml.Extras ( Text/XHtml/Extras.hs, dist/build/Text/XHtml/Extras.o )
[10 of 15] Compiling Text.XHtml.Strict ( Text/XHtml/Strict.hs, dist/build/Text/XHtml/Strict.o )
[11 of 15] Compiling Text.XHtml.Frameset ( Text/XHtml/Frameset.hs, dist/build/Text/XHtml/Frameset.o )
[12 of 15] Compiling Text.XHtml.Table ( Text/XHtml/Table.hs, dist/build/Text/XHtml/Table.o )
[13 of 15] Compiling Text.XHtml.Debug ( Text/XHtml/Debug.hs, dist/build/Text/XHtml/Debug.o )
[14 of 15] Compiling Text.XHtml.Transitional ( Text/XHtml/Transitional.hs, dist/build/Text/XHtml/Transitional.o )
[15 of 15] Compiling Text.XHtml ( Text/XHtml.hs, dist/build/Text/XHtml.o )
In-place registering xhtml-3000.2.1...
Running Haddock for xhtml-3000.2.1...
Running hscolour for xhtml-3000.2.1...
Preprocessing library xhtml-3000.2.1...
Preprocessing library xhtml-3000.2.1...
Haddock coverage:
73% ( 8 / 11) in 'Text.XHtml.BlockTable'
71% ( 27 / 38) in 'Text.XHtml.Internals'
8% ( 1 / 12) in 'Text.XHtml.Transitional.Elements'
5% ( 2 / 37) in 'Text.XHtml.Transitional.Attributes'
14% ( 1 / 7) in 'Text.XHtml.Frameset.Attributes'
2% ( 1 / 50) in 'Text.XHtml.Strict.Attributes'
20% ( 1 / 5) in 'Text.XHtml.Frameset.Elements'
1% ( 1 / 79) in 'Text.XHtml.Strict.Elements'
34% ( 11 / 32) in 'Text.XHtml.Extras'
19% ( 37 /190) in 'Text.XHtml.Strict'
18% ( 36 /197) in 'Text.XHtml.Frameset'
30% ( 3 / 10) in 'Text.XHtml.Table'
60% ( 3 / 5) in 'Text.XHtml.Debug'
16% ( 39 /244) in 'Text.XHtml.Transitional'
71% ( 5 / 7) in 'Text.XHtml'
Documentation created: dist/doc/html/xhtml/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/xhtml-3000.2.1
Registering xhtml-3000.2.1...
Installed xhtml-3000.2.1
[1 of 1] Compiling Main ( /tmp/haskell-src-exts-1.14.0-11919/haskell-src-exts-1.14.0/Setup.hs, /tmp/haskell-src-exts-1.14.0-11919/haskell-src-exts-1.14.0/dist/setup/Main.o )
Linking /tmp/haskell-src-exts-1.14.0-11919/haskell-src-exts-1.14.0/dist/setup/setup ...
Configuring haskell-src-exts-1.14.0...
Building haskell-src-exts-1.14.0...
Preprocessing library haskell-src-exts-1.14.0...
[ 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...
Running Haddock for haskell-src-exts-1.14.0...
Running hscolour for haskell-src-exts-1.14.0...
Preprocessing library haskell-src-exts-1.14.0...
Preprocessing library haskell-src-exts-1.14.0...
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
Registering haskell-src-exts-1.14.0...
Installed haskell-src-exts-1.14.0
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...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: text-0.11.2.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 vector-0.10.9.1...
Building vector-0.10.9.1...
Preprocessing library vector-0.10.9.1...
[ 1 of 19] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
[ 2 of 19] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
[ 3 of 19] Compiling Data.Vector.Fusion.Stream.Size ( Data/Vector/Fusion/Stream/Size.hs, dist/build/Data/Vector/Fusion/Stream/Size.o )
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit method or default declaration for `*'
In the instance declaration for `Num Size'
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit method or default declaration for `abs'
In the instance declaration for `Num Size'
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit method or default declaration for `signum'
In the instance declaration for `Num Size'
[ 4 of 19] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package primitive-0.5.1.0 ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
[ 6 of 19] Compiling Data.Vector.Fusion.Stream ( Data/Vector/Fusion/Stream.hs, dist/build/Data/Vector/Fusion/Stream.o )
[ 7 of 19] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[ 8 of 19] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 9 of 19] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[10 of 19] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
[11 of 19] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[12 of 19] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
[13 of 19] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
[14 of 19] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
[15 of 19] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
[16 of 19] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
[17 of 19] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
[18 of 19] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[19 of 19] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
In-place registering vector-0.10.9.1...
Running Haddock for vector-0.10.9.1...
Running hscolour for vector-0.10.9.1...
Preprocessing library vector-0.10.9.1...
Preprocessing library vector-0.10.9.1...
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit method or default declaration for `*'
In the instance declaration for `Num Size'
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit method or default declaration for `abs'
In the instance declaration for `Num Size'
Data/Vector/Fusion/Stream/Size.hs:25:10: Warning:
No explicit method or default declaration for `signum'
In the instance declaration for `Num Size'
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 6 / 6) in 'Data.Vector.Fusion.Stream.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
83% (104 /126) in 'Data.Vector.Fusion.Stream.Monadic'
85% ( 88 /104) in 'Data.Vector.Fusion.Stream'
64% ( 42 / 66) in 'Data.Vector.Generic.Mutable'
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
5% ( 1 / 20) in 'Data.Vector.Generic.New'
93% (215 /232) in 'Data.Vector.Generic'
76% ( 38 / 50) in 'Data.Vector.Primitive.Mutable'
Warning: Data.Vector.Primitive: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Mutable
97% (185 /191) in 'Data.Vector.Primitive'
79% ( 46 / 58) in 'Data.Vector.Storable.Mutable'
Warning: Data.Vector.Storable: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Mutable
97% (194 /200) in 'Data.Vector.Storable'
Warning: Data.Vector.Unboxed.Base: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Mutable, MVector, Vector
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
96% (201 /210) in 'Data.Vector.Unboxed'
77% ( 47 / 61) in 'Data.Vector.Unboxed.Mutable'
76% ( 37 / 49) in 'Data.Vector.Mutable'
Warning: Data.Vector: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
Mutable
94% (199 /212) in 'Data.Vector'
Documentation created: dist/doc/html/vector/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/vector-0.10.9.1
Registering vector-0.10.9.1...
Installed vector-0.10.9.1
Configuring regex-posix-0.95.2...
Building regex-posix-0.95.2...
Preprocessing library regex-posix-0.95.2...
[1 of 6] Compiling Text.Regex.Posix.Wrap ( dist/build/Text/Regex/Posix/Wrap.hs, dist/build/Text/Regex/Posix/Wrap.o )
[2 of 6] Compiling Text.Regex.Posix.String ( Text/Regex/Posix/String.hs, dist/build/Text/Regex/Posix/String.o )
[3 of 6] Compiling Text.Regex.Posix.Sequence ( Text/Regex/Posix/Sequence.hs, dist/build/Text/Regex/Posix/Sequence.o )
[4 of 6] Compiling Text.Regex.Posix.ByteString ( Text/Regex/Posix/ByteString.hs, dist/build/Text/Regex/Posix/ByteString.o )
[5 of 6] Compiling Text.Regex.Posix.ByteString.Lazy ( Text/Regex/Posix/ByteString/Lazy.hs, dist/build/Text/Regex/Posix/ByteString/Lazy.o )
[6 of 6] Compiling Text.Regex.Posix ( Text/Regex/Posix.hs, dist/build/Text/Regex/Posix.o )
In-place registering regex-posix-0.95.2...
Running Haddock for regex-posix-0.95.2...
Running hscolour for regex-posix-0.95.2...
Preprocessing library regex-posix-0.95.2...
Preprocessing library regex-posix-0.95.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0
Haddock coverage:
40% ( 17 / 42) in 'Text.Regex.Posix.Wrap'
68% ( 17 / 25) in 'Text.Regex.Posix.String'
67% ( 16 / 24) in 'Text.Regex.Posix.Sequence'
68% ( 17 / 25) in 'Text.Regex.Posix.ByteString'
68% ( 17 / 25) in 'Text.Regex.Posix.ByteString.Lazy'
80% ( 4 / 5) in 'Text.Regex.Posix'
Warning: Text.Regex.Posix.Wrap: could not find link destinations for:
Text.Regex.Posix.Wrap.retNoMatch
Warning: Text.Regex.Posix.String: could not find link destinations for:
Text.Regex.Posix.Wrap.retNoMatch
Warning: Text.Regex.Posix.Sequence: could not find link destinations for:
Text.Regex.Posix.Wrap.retNoMatch
Warning: Text.Regex.Posix.ByteString: could not find link destinations for:
Text.Regex.Posix.Wrap.retNoMatch
Warning: Text.Regex.Posix.ByteString.Lazy: could not find link destinations for:
Text.Regex.Posix.Wrap.retNoMatch
Documentation created: dist/doc/html/regex-posix/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-posix-0.95.2
Registering regex-posix-0.95.2...
Installed regex-posix-0.95.2
[1 of 1] Compiling Main ( /tmp/haskeline-0.7.1.1-11919/haskeline-0.7.1.1/Setup.hs, /tmp/haskeline-0.7.1.1-11919/haskeline-0.7.1.1/dist/setup/Main.o )
Linking /tmp/haskeline-0.7.1.1-11919/haskeline-0.7.1.1/dist/setup/setup ...
Configuring haskeline-0.7.1.1...
Building haskeline-0.7.1.1...
Preprocessing library haskeline-0.7.1.1...
[ 1 of 27] Compiling System.Console.Haskeline.Recover ( System/Console/Haskeline/Recover.hs, dist/build/System/Console/Haskeline/Recover.o )
[ 2 of 27] Compiling System.Console.Haskeline.Directory ( dist/build/System/Console/Haskeline/Directory.hs, dist/build/System/Console/Haskeline/Directory.o )
[ 3 of 27] Compiling System.Console.Haskeline.Key ( System/Console/Haskeline/Key.hs, dist/build/System/Console/Haskeline/Key.o )
[ 4 of 27] Compiling System.Console.Haskeline.History ( System/Console/Haskeline/History.hs, dist/build/System/Console/Haskeline/History.o )
[ 5 of 27] Compiling System.Console.Haskeline.LineState ( System/Console/Haskeline/LineState.hs, dist/build/System/Console/Haskeline/LineState.o )
[ 6 of 27] Compiling System.Console.Haskeline.Command ( System/Console/Haskeline/Command.hs, dist/build/System/Console/Haskeline/Command.o )
[ 7 of 27] Compiling System.Console.Haskeline.Backend.WCWidth ( System/Console/Haskeline/Backend/WCWidth.hs, dist/build/System/Console/Haskeline/Backend/WCWidth.o )
[ 8 of 27] Compiling System.Console.Haskeline.MonadException ( System/Console/Haskeline/MonadException.hs, dist/build/System/Console/Haskeline/MonadException.o )
[ 9 of 27] Compiling System.Console.Haskeline.Prefs ( System/Console/Haskeline/Prefs.hs, dist/build/System/Console/Haskeline/Prefs.o )
[10 of 27] Compiling System.Console.Haskeline.Monads ( System/Console/Haskeline/Monads.hs, dist/build/System/Console/Haskeline/Monads.o )
[11 of 27] Compiling System.Console.Haskeline.Command.Undo ( System/Console/Haskeline/Command/Undo.hs, dist/build/System/Console/Haskeline/Command/Undo.o )
[12 of 27] Compiling System.Console.Haskeline.Command.History ( System/Console/Haskeline/Command/History.hs, dist/build/System/Console/Haskeline/Command/History.o )
[13 of 27] Compiling System.Console.Haskeline.Command.KillRing ( System/Console/Haskeline/Command/KillRing.hs, dist/build/System/Console/Haskeline/Command/KillRing.o )
[14 of 27] Compiling System.Console.Haskeline.Completion ( System/Console/Haskeline/Completion.hs, dist/build/System/Console/Haskeline/Completion.o )
[15 of 27] Compiling System.Console.Haskeline.Term ( System/Console/Haskeline/Term.hs, dist/build/System/Console/Haskeline/Term.o )
System/Console/Haskeline/Term.hs:107:16: Warning:
In the use of `isEmptyChan'
(imported from Control.Concurrent, but defined in Control.Concurrent.Chan):
Deprecated: "if you need this operation, use Control.Concurrent.STM.TChan instead. See http://hackage.haskell.org/trac/ghc/ticket/4154 for details"
[16 of 27] Compiling System.Console.Haskeline.RunCommand ( System/Console/Haskeline/RunCommand.hs, dist/build/System/Console/Haskeline/RunCommand.o )
[17 of 27] Compiling System.Console.Haskeline.Backend.Posix.Encoder ( System/Console/Haskeline/Backend/Posix/Encoder.hs, dist/build/System/Console/Haskeline/Backend/Posix/Encoder.o )
[18 of 27] Compiling System.Console.Haskeline.Backend.Posix ( dist/build/System/Console/Haskeline/Backend/Posix.hs, dist/build/System/Console/Haskeline/Backend/Posix.o )
[19 of 27] Compiling System.Console.Haskeline.Backend.Terminfo ( System/Console/Haskeline/Backend/Terminfo.hs, dist/build/System/Console/Haskeline/Backend/Terminfo.o )
[20 of 27] Compiling System.Console.Haskeline.Backend.DumbTerm ( System/Console/Haskeline/Backend/DumbTerm.hs, dist/build/System/Console/Haskeline/Backend/DumbTerm.o )
[21 of 27] Compiling System.Console.Haskeline.Backend ( System/Console/Haskeline/Backend.hs, dist/build/System/Console/Haskeline/Backend.o )
[22 of 27] Compiling System.Console.Haskeline.InputT ( System/Console/Haskeline/InputT.hs, dist/build/System/Console/Haskeline/InputT.o )
[23 of 27] Compiling System.Console.Haskeline.Command.Completion ( System/Console/Haskeline/Command/Completion.hs, dist/build/System/Console/Haskeline/Command/Completion.o )
[24 of 27] Compiling System.Console.Haskeline.Vi ( System/Console/Haskeline/Vi.hs, dist/build/System/Console/Haskeline/Vi.o )
[25 of 27] Compiling System.Console.Haskeline.Emacs ( System/Console/Haskeline/Emacs.hs, dist/build/System/Console/Haskeline/Emacs.o )
[26 of 27] Compiling System.Console.Haskeline ( System/Console/Haskeline.hs, dist/build/System/Console/Haskeline.o )
[27 of 27] Compiling System.Console.Haskeline.IO ( System/Console/Haskeline/IO.hs, dist/build/System/Console/Haskeline/IO.o )
In-place registering haskeline-0.7.1.1...
Running Haddock for haskeline-0.7.1.1...
Running hscolour for haskeline-0.7.1.1...
Preprocessing library haskeline-0.7.1.1...
Preprocessing library haskeline-0.7.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, transformers-0.3.0.0
System/Console/Haskeline/Term.hs:107:16: Warning:
In the use of `isEmptyChan'
(imported from Control.Concurrent, but defined in Control.Concurrent.Chan):
Deprecated: "if you need this operation, use Control.Concurrent.STM.TChan instead. See http://hackage.haskell.org/trac/ghc/ticket/4154 for details"
Haddock coverage:
0% ( 0 / 2) in 'System.Console.Haskeline.Recover'
100% ( 4 / 4) in 'System.Console.Haskeline.Directory'
0% ( 0 / 12) in 'System.Console.Haskeline.Key'
73% ( 8 / 11) in 'System.Console.Haskeline.History'
35% ( 23 / 65) in 'System.Console.Haskeline.LineState'
4% ( 1 / 28) in 'System.Console.Haskeline.Command'
25% ( 1 / 4) in 'System.Console.Haskeline.Backend.WCWidth'
62% ( 13 / 21) in 'System.Console.Haskeline.MonadException'
33% ( 3 / 9) in 'System.Console.Haskeline.Prefs'
Warning: Couldn't find .haddock for export Control.Monad.Trans.Class.MonadTrans
Warning: Couldn't find .haddock for export Control.Monad.IO.Class.MonadIO
Warning: Couldn't find .haddock for export Control.Monad.Trans.Reader.ReaderT
Warning: Couldn't find .haddock for export Control.Monad.Trans.Reader.mapReaderT
Warning: Couldn't find .haddock for export Control.Monad.Trans.Maybe.MaybeT
5% ( 1 / 19) in 'System.Console.Haskeline.Monads'
0% ( 0 / 11) in 'System.Console.Haskeline.Command.Undo'
0% ( 0 / 28) in 'System.Console.Haskeline.Command.History'
0% ( 0 / 17) in 'System.Console.Haskeline.Command.KillRing'
62% ( 8 / 13) in 'System.Console.Haskeline.Completion'
29% ( 7 / 24) in 'System.Console.Haskeline.Term'
0% ( 0 / 2) in 'System.Console.Haskeline.RunCommand'
23% ( 3 / 13) in 'System.Console.Haskeline.Backend.Posix.Encoder'
0% ( 0 / 15) in 'System.Console.Haskeline.Backend.Posix'
0% ( 0 / 3) in 'System.Console.Haskeline.Backend.Terminfo'
0% ( 0 / 17) in 'System.Console.Haskeline.Backend.DumbTerm'
0% ( 0 / 7) in 'System.Console.Haskeline.Backend'
87% ( 20 / 23) in 'System.Console.Haskeline.InputT'
40% ( 2 / 5) in 'System.Console.Haskeline.Command.Completion'
0% ( 0 / 56) in 'System.Console.Haskeline.Vi'
0% ( 0 / 13) in 'System.Console.Haskeline.Emacs'
98% ( 47 / 48) in 'System.Console.Haskeline'
83% ( 5 / 6) in 'System.Console.Haskeline.IO'
Warning: System.Console.Haskeline.MonadException: could not find link destinations for:
Control.Monad.IO.Class.MonadIO Control.Monad.Trans.List.ListT Control.Monad.Trans.Maybe.MaybeT Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.RWS.Lazy.RWST
Warning: System.Console.Haskeline.Completion: could not find link destinations for:
Control.Monad.IO.Class.MonadIO
Warning: System.Console.Haskeline: could not find link destinations for:
Control.Monad.Trans.Class.MonadTrans Control.Monad.IO.Class.MonadIO
Documentation created: dist/doc/html/haskeline/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskeline-0.7.1.1
Registering haskeline-0.7.1.1...
Installed haskeline-0.7.1.1
Configuring hashtables-1.1.2.1...
Building hashtables-1.1.2.1...
Preprocessing library hashtables-1.1.2.1...
[ 1 of 12] Compiling Data.HashTable.Internal.UnsafeTricks ( src/Data/HashTable/Internal/UnsafeTricks.hs, dist/build/Data/HashTable/Internal/UnsafeTricks.o )
[ 2 of 12] Compiling Data.HashTable.Internal.Utils ( src/Data/HashTable/Internal/Utils.hs, dist/build/Data/HashTable/Internal/Utils.o )
[ 3 of 12] Compiling Data.HashTable.Internal.CheapPseudoRandomBitStream ( src/Data/HashTable/Internal/CheapPseudoRandomBitStream.hs, dist/build/Data/HashTable/Internal/CheapPseudoRandomBitStream.o )
[ 4 of 12] Compiling Data.HashTable.Internal.IntArray ( src/Data/HashTable/Internal/IntArray.hs, dist/build/Data/HashTable/Internal/IntArray.o )
[ 5 of 12] Compiling Data.HashTable.Internal.CacheLine ( src/Data/HashTable/Internal/CacheLine.hs, dist/build/Data/HashTable/Internal/CacheLine.o )
[ 6 of 12] Compiling Data.HashTable.Internal.Array ( src/Data/HashTable/Internal/Array.hs, dist/build/Data/HashTable/Internal/Array.o )
[ 7 of 12] Compiling Data.HashTable.Internal.Linear.Bucket ( src/Data/HashTable/Internal/Linear/Bucket.hs, dist/build/Data/HashTable/Internal/Linear/Bucket.o )
[ 8 of 12] Compiling Data.HashTable.Class ( src/Data/HashTable/Class.hs, dist/build/Data/HashTable/Class.o )
[ 9 of 12] Compiling Data.HashTable.ST.Basic ( src/Data/HashTable/ST/Basic.hs, dist/build/Data/HashTable/ST/Basic.o )
[10 of 12] Compiling Data.HashTable.ST.Cuckoo ( src/Data/HashTable/ST/Cuckoo.hs, dist/build/Data/HashTable/ST/Cuckoo.o )
[11 of 12] Compiling Data.HashTable.ST.Linear ( src/Data/HashTable/ST/Linear.hs, dist/build/Data/HashTable/ST/Linear.o )
[12 of 12] Compiling Data.HashTable.IO ( src/Data/HashTable/IO.hs, dist/build/Data/HashTable/IO.o )
src/Data/HashTable/IO.hs:100:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `new'
src/Data/HashTable/IO.hs:101:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `new'
src/Data/HashTable/IO.hs:102:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `new'
src/Data/HashTable/IO.hs:110:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `newSized'
src/Data/HashTable/IO.hs:111:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `newSized'
src/Data/HashTable/IO.hs:112:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `newSized'
src/Data/HashTable/IO.hs:121:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `insert'
src/Data/HashTable/IO.hs:123:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `insert'
src/Data/HashTable/IO.hs:125:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `insert'
src/Data/HashTable/IO.hs:135:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `delete'
src/Data/HashTable/IO.hs:137:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `delete'
src/Data/HashTable/IO.hs:139:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `delete'
src/Data/HashTable/IO.hs:149:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `lookup'
src/Data/HashTable/IO.hs:151:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `lookup'
src/Data/HashTable/IO.hs:153:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `lookup'
src/Data/HashTable/IO.hs:164:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `fromList'
src/Data/HashTable/IO.hs:166:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `fromList'
src/Data/HashTable/IO.hs:168:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `fromList'
src/Data/HashTable/IO.hs:179:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `fromListWithSizeHint'
src/Data/HashTable/IO.hs:181:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `fromListWithSizeHint'
src/Data/HashTable/IO.hs:183:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `fromListWithSizeHint'
src/Data/HashTable/IO.hs:193:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `toList'
src/Data/HashTable/IO.hs:195:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `toList'
src/Data/HashTable/IO.hs:197:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `toList'
src/Data/HashTable/IO.hs:211:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `foldM'
src/Data/HashTable/IO.hs:213:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `foldM'
src/Data/HashTable/IO.hs:215:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `foldM'
src/Data/HashTable/IO.hs:226:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `mapM_'
src/Data/HashTable/IO.hs:228:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `mapM_'
src/Data/HashTable/IO.hs:230:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: `mapM_'
In-place registering hashtables-1.1.2.1...
Running Haddock for hashtables-1.1.2.1...
Running hscolour for hashtables-1.1.2.1...
Preprocessing library hashtables-1.1.2.1...
Preprocessing library hashtables-1.1.2.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: text-0.11.2.3
Haddock coverage:
0% ( 0 / 10) in 'Data.HashTable.Internal.UnsafeTricks'
6% ( 1 / 17) in 'Data.HashTable.Internal.Utils'
0% ( 0 / 5) in 'Data.HashTable.Internal.CheapPseudoRandomBitStream'
0% ( 0 / 7) in 'Data.HashTable.Internal.IntArray'
43% ( 6 / 14) in 'Data.HashTable.Internal.CacheLine'
20% ( 1 / 5) in 'Data.HashTable.Internal.Array'
0% ( 0 / 18) in 'Data.HashTable.Internal.Linear.Bucket'
100% ( 5 / 5) in 'Data.HashTable.Class'
100% ( 10 / 10) in 'Data.HashTable.ST.Basic'
100% ( 9 / 9) in 'Data.HashTable.ST.Cuckoo'
100% ( 10 / 10) in 'Data.HashTable.ST.Linear'
100% ( 16 / 16) in 'Data.HashTable.IO'
Documentation created: dist/doc/html/hashtables/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hashtables-1.1.2.1
Registering hashtables-1.1.2.1...
Installed hashtables-1.1.2.1
Configuring regex-compat-0.95.1...
Building regex-compat-0.95.1...
Preprocessing library regex-compat-0.95.1...
[1 of 1] Compiling Text.Regex ( Text/Regex.hs, dist/build/Text/Regex.o )
In-place registering regex-compat-0.95.1...
Running Haddock for regex-compat-0.95.1...
Running hscolour for regex-compat-0.95.1...
Preprocessing library regex-compat-0.95.1...
Preprocessing library regex-compat-0.95.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0
Haddock coverage:
100% ( 9 / 9) in 'Text.Regex'
Documentation created: dist/doc/html/regex-compat/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/regex-compat-0.95.1
Registering regex-compat-0.95.1...
Installed regex-compat-0.95.1
Configuring Agda-2.3.2.2...
Building Agda-2.3.2.2...
Preprocessing library Agda-2.3.2.2...
[ 1 of 251] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o )
[ 2 of 251] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o )
[ 3 of 251] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.o )
[ 4 of 251] Compiling Agda.Utils.Pointed ( src/full/Agda/Utils/Pointed.hs, dist/build/Agda/Utils/Pointed.o )
[ 5 of 251] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o )
[ 6 of 251] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o )
[ 7 of 251] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o )
[ 8 of 251] Compiling Agda.Utils.Unicode ( src/full/Agda/Utils/Unicode.hs, dist/build/Agda/Utils/Unicode.o )
[ 9 of 251] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o )
[ 10 of 251] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o )
[ 11 of 251] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o )
[ 12 of 251] Compiling Agda.Utils.Fresh ( src/full/Agda/Utils/Fresh.hs, dist/build/Agda/Utils/Fresh.o )
[ 13 of 251] Compiling Agda.Packaging.Types ( src/full/Agda/Packaging/Types.hs, dist/build/Agda/Packaging/Types.o )
[ 14 of 251] Compiling Agda.Packaging.Monad ( src/full/Agda/Packaging/Monad.hs, dist/build/Agda/Packaging/Monad.o )
[ 15 of 251] Compiling Agda.Packaging.Database ( src/full/Agda/Packaging/Database.hs, dist/build/Agda/Packaging/Database.o )
[ 16 of 251] Compiling Agda.Packaging.Config ( src/full/Agda/Packaging/Config.hs, dist/build/Agda/Packaging/Config.o )
[ 17 of 251] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist/build/Agda/Utils/QuickCheck.o )
[ 18 of 251] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist/build/Agda/Utils/TestHelpers.o )
[ 19 of 251] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o )
[ 20 of 251] Compiling Agda.Termination.Matrix ( src/full/Agda/Termination/Matrix.hs, dist/build/Agda/Termination/Matrix.o )
[ 21 of 251] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist/build/Agda/Utils/ReadP.o )
[ 22 of 251] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o )
[ 23 of 251] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot )
[ 24 of 251] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o )
[ 25 of 251] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o )
[ 26 of 251] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.o )
[ 27 of 251] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o )
[ 28 of 251] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o )
[ 29 of 251] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist/build/Agda/Interaction/Response.o-boot )
[ 30 of 251] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o )
[ 31 of 251] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o )
[ 32 of 251] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o )
[ 33 of 251] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o )
[ 34 of 251] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o )
[ 35 of 251] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o )
[ 36 of 251] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o )
[ 37 of 251] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o )
[ 38 of 251] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o )
[ 39 of 251] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o )
[ 40 of 251] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o )
[ 41 of 251] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o )
[ 42 of 251] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o )
[ 43 of 251] Compiling Agda.Version ( src/full/Agda/Version.hs, dist/build/Agda/Version.o )
[ 44 of 251] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o )
[ 45 of 251] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o )
[ 46 of 251] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o )
[ 47 of 251] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o )
[ 48 of 251] Compiling Agda.Termination.Lexicographic ( src/full/Agda/Termination/Lexicographic.hs, dist/build/Agda/Termination/Lexicographic.o )
[ 49 of 251] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o )
[ 50 of 251] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
[ 51 of 251] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o )
[ 52 of 251] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o )
[ 53 of 251] Compiling Agda.Utils.Graph ( src/full/Agda/Utils/Graph.hs, dist/build/Agda/Utils/Graph.o )
[ 54 of 251] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.o )
[ 55 of 251] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o )
[ 56 of 251] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.o )
[ 57 of 251] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.o )
[ 58 of 251] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.o )
[ 59 of 251] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.o )
[ 60 of 251] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist/build/Agda/Compiler/JS/Case.o )
[ 61 of 251] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist/build/Agda/Compiler/JS/Parser.o )
[ 62 of 251] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.o )
[ 63 of 251] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.o )
[ 64 of 251] Compiling Agda.Interaction.FindFile[boot] ( src/full/Agda/Interaction/FindFile.hs-boot, dist/build/Agda/Interaction/FindFile.o-boot )
[ 65 of 251] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.o )
[ 66 of 251] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.o )
[ 67 of 251] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.o )
[ 68 of 251] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.o )
[ 69 of 251] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.o )
[ 70 of 251] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.o )
[ 71 of 251] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.o )
[ 72 of 251] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.o )
[ 73 of 251] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.o )
[ 74 of 251] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.o )
[ 75 of 251] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.o )
[ 76 of 251] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist/build/Agda/Utils/Geniplate.o )
[ 77 of 251] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.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 zlib-0.5.4.1 ... linking ... done.
Loading package xhtml-3000.2.1 ... 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 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 process-1.1.0.2 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package parallel-3.2.0.4 ... linking ... done.
Loading package old-time-1.1.0.1 ... linking ... done.
Loading package cpphs-1.17.1 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package haskell-src-exts-1.14.0 ... linking ... done.
Loading package terminfo-0.3.2.6 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package haskeline-0.7.1.1 ... linking ... done.
Loading package primitive-0.5.1.0 ... linking ... done.
Loading package vector-0.10.9.1 ... linking ... done.
Loading package hashtables-1.1.2.1 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package geniplate-0.6.0.3 ... linking ... done.
Loading package binary-0.5.1.1 ... linking ... done.
Loading package random-1.0.1.1 ... linking ... done.
Loading package QuickCheck-2.6 ... linking ... done.
[ 78 of 251] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.o )
[ 79 of 251] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist/build/Agda/Compiler/Epic/Interface.o )
[ 80 of 251] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist/build/Agda/Compiler/Epic/AuxAST.o )
[ 81 of 251] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.o )
[ 82 of 251] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.o )
[ 83 of 251] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.o )
[ 84 of 251] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.o )
[ 85 of 251] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.o )
[ 86 of 251] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.o )
[ 87 of 251] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.o )
[ 88 of 251] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.o )
[ 89 of 251] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.o )
[ 90 of 251] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.o )
[ 91 of 251] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.o )
[ 92 of 251] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.o-boot )
[ 93 of 251] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.o )
[ 94 of 251] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.o-boot )
[ 95 of 251] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.o )
[ 96 of 251] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.o )
[ 97 of 251] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.o )
[ 98 of 251] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.o )
[ 99 of 251] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.o )
[100 of 251] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.o )
[101 of 251] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.o )
[102 of 251] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist/build/Agda/Interaction/Exceptions.o )
[103 of 251] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.o )
[104 of 251] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist/build/Agda/Interaction/Imports.o-boot )
[105 of 251] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist/build/Agda/TypeChecking/Errors.o-boot )
[106 of 251] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist/build/Agda/TypeChecking/MetaVars.o-boot )
[107 of 251] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist/build/Agda/TypeChecking/Substitute.o )
[108 of 251] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist/build/Agda/TypeChecking/Abstract.o )
[109 of 251] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist/build/Agda/Interaction/Highlighting/Generate.o-boot )
[110 of 251] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist/build/Agda/TypeChecking/Monad/Builtin.o )
[111 of 251] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist/build/Agda/TypeChecking/Monad/Options.o-boot )
[112 of 251] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist/build/Agda/TypeChecking/Constraints.o-boot )
[113 of 251] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist/build/Agda/TypeChecking/Monad/Context.o-boot )
[114 of 251] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist/build/Agda/TypeChecking/Monad/State.o )
[115 of 251] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist/build/Agda/Syntax/Translation/AbstractToConcrete.o )
[116 of 251] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist/build/Agda/TypeChecking/Monad/Statistics.o )
[117 of 251] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist/build/Agda/TypeChecking/Datatypes.o-boot )
[118 of 251] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.o-boot )
[119 of 251] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.o-boot )
[120 of 251] Compiling Agda.TypeChecking.InstanceArguments[boot] ( src/full/Agda/TypeChecking/InstanceArguments.hs-boot, dist/build/Agda/TypeChecking/InstanceArguments.o-boot )
[121 of 251] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist/build/Agda/TypeChecking/LevelConstraints.o )
[122 of 251] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist/build/Agda/TypeChecking/Polarity.o-boot )
[123 of 251] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist/build/Agda/TypeChecking/Monad/Exception.o )
[124 of 251] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist/build/Agda/TypeChecking/Monad/Env.o )
[125 of 251] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist/build/Agda/TypeChecking/Monad/Open.o )
[126 of 251] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist/build/Agda/TypeChecking/Monad/Context.o )
[127 of 251] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist/build/Agda/TypeChecking/Monad/Imports.o )
[128 of 251] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist/build/Agda/TypeChecking/Monad/Mutual.o )
[129 of 251] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist/build/Agda/TypeChecking/ProjectionLike.o-boot )
[130 of 251] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist/build/Agda/Interaction/FindFile.o )
[131 of 251] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.o )
[132 of 251] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist/build/Agda/TypeChecking/Monad/Options.o )
[133 of 251] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist/build/Agda/Syntax/Scope/Monad.o )
[134 of 251] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist/build/Agda/Syntax/Abstract/Copatterns.o )
[135 of 251] Compiling Agda.TypeChecking.Monad.Sharing ( src/full/Agda/TypeChecking/Monad/Sharing.hs, dist/build/Agda/TypeChecking/Monad/Sharing.o )
[136 of 251] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist/build/Agda/Syntax/Concrete/Operators.o )
[137 of 251] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist/build/Agda/TypeChecking/Monad/SizedTypes.o )
[138 of 251] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist/build/Agda/TypeChecking/Monad/Trace.o )
[139 of 251] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist/build/Agda/TypeChecking/Rules/Term.o-boot )
[140 of 251] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.o )
[141 of 251] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist/build/Agda/TypeChecking/Monad/Closure.o )
[142 of 251] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist/build/Agda/TypeChecking/Monad/Constraints.o )
[143 of 251] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist/build/Agda/TypeChecking/Monad/MetaVars.o )
[144 of 251] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist/build/Agda/TypeChecking/Monad.o )
[145 of 251] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist/build/Agda/Syntax/Abstract/Pretty.o )
[146 of 251] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist/build/Agda/Syntax/Translation/ConcreteToAbstract.o )
[147 of 251] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist/build/Agda/Interaction/Monad.o )
[148 of 251] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist/build/Agda/Interaction/Highlighting/Dot.o )
[149 of 251] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist/build/Agda/Compiler/MAlonzo/Compiler.o-boot )
[150 of 251] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist/build/Agda/TypeChecking/Conversion.o-boot )
[151 of 251] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist/build/Agda/TypeChecking/Records.o-boot )
[152 of 251] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist/build/Agda/TypeChecking/EtaContract.o )
[153 of 251] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist/build/Agda/TypeChecking/Irrelevance.o )
[154 of 251] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist/build/Agda/TypeChecking/Pretty.o-boot )
[155 of 251] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist/build/Agda/Compiler/CallCompiler.o )
[156 of 251] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist/build/Agda/Interaction/Highlighting/LaTeX.o )
[157 of 251] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, dist/build/Agda/TypeChecking/Level.o-boot )
[158 of 251] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist/build/Agda/Interaction/Highlighting/Vim.o )
[159 of 251] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist/build/Agda/TypeChecking/DropArgs.o )
[160 of 251] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot )
[161 of 251] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist/build/Agda/TypeChecking/Rules/Decl.o-boot )
[162 of 251] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist/build/Agda/TypeChecking/Rules/Def.o-boot )
[163 of 251] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist/build/Agda/TypeChecking/Empty.o-boot )
[164 of 251] Compiling Agda.TypeChecking.UniversePolymorphism[boot] ( src/full/Agda/TypeChecking/UniversePolymorphism.hs-boot, dist/build/Agda/TypeChecking/UniversePolymorphism.o-boot )
[165 of 251] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist/build/Agda/TypeChecking/Patterns/Match.o-boot )
[166 of 251] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist/build/Agda/TypeChecking/Reduce.o )
[167 of 251] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist/build/Agda/TypeChecking/Telescope.o )
[168 of 251] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist/build/Agda/Compiler/Epic/CompileState.o )
[169 of 251] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist/build/Agda/Compiler/Epic/CaseOpts.o )
[170 of 251] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist/build/Agda/Compiler/Epic/NatDetection.o )
[171 of 251] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist/build/Agda/Compiler/Epic/Primitive.o )
[172 of 251] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist/build/Agda/TypeChecking/Level.o )
[173 of 251] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist/build/Agda/TypeChecking/DisplayForm.o )
[174 of 251] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist/build/Agda/TypeChecking/Datatypes.o )
[175 of 251] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.o )
[176 of 251] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist/build/Agda/TypeChecking/MetaVars/Mention.o )
[177 of 251] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist/build/Agda/TypeChecking/Implicit.o )
[178 of 251] Compiling Agda.TypeChecking.Eliminators ( src/full/Agda/TypeChecking/Eliminators.hs, dist/build/Agda/TypeChecking/Eliminators.o )
[179 of 251] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist/build/Agda/TypeChecking/Pretty.o )
[180 of 251] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist/build/Agda/TypeChecking/Errors.o )
[181 of 251] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist/build/Agda/Interaction/Highlighting/Emacs.o )
[182 of 251] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist/build/Agda/TypeChecking/Serialise.o )
[183 of 251] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist/build/Agda/TypeChecking/SizedTypes.o )
[184 of 251] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist/build/Agda/TypeChecking/Records.o )
[185 of 251] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist/build/Agda/Compiler/HaskellTypes.o )
[186 of 251] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist/build/Agda/Compiler/Epic/ForceConstrs.o )
[187 of 251] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist/build/Agda/Compiler/Epic/Epic.o )
[188 of 251] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist/build/Agda/Compiler/Epic/Erasure.o )
[189 of 251] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist/build/Agda/Compiler/Epic/Static.o )
[190 of 251] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist/build/Agda/Compiler/Epic/FromAgda.o )
[191 of 251] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist/build/Agda/Compiler/Epic/Injection.o )
[192 of 251] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist/build/Agda/TypeChecking/RecordPatterns.o )
[193 of 251] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist/build/Agda/TypeChecking/InstanceArguments.o )
[194 of 251] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist/build/Agda/TypeChecking/Constraints.o )
[195 of 251] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.o )
[196 of 251] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist/build/Agda/TypeChecking/MetaVars.o )
[197 of 251] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist/build/Agda/Interaction/Highlighting/Generate.o )
[198 of 251] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist/build/Agda/Interaction/Highlighting/HTML.o )
[199 of 251] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist/build/Agda/TypeChecking/Forcing.o )
[200 of 251] Compiling Agda.TypeChecking.Rebind ( src/full/Agda/TypeChecking/Rebind.hs, dist/build/Agda/TypeChecking/Rebind.o )
[201 of 251] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist/build/Agda/TypeChecking/Positivity.o )
[202 of 251] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist/build/Agda/TypeChecking/Polarity.o )
[203 of 251] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist/build/Agda/TypeChecking/ProjectionLike.o )
[204 of 251] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist/build/Agda/TypeChecking/Quote.o )
[205 of 251] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.o )
[206 of 251] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist/build/Agda/TypeChecking/CompiledClause/Match.o )
[207 of 251] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist/build/Agda/TypeChecking/Injectivity.o )
[208 of 251] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist/build/Agda/TypeChecking/Conversion.o )
[209 of 251] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist/build/Agda/TypeChecking/Rules/Data.o )
[210 of 251] Compiling Agda.TypeChecking.UniversePolymorphism ( src/full/Agda/TypeChecking/UniversePolymorphism.hs, dist/build/Agda/TypeChecking/UniversePolymorphism.o )
[211 of 251] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist/build/Agda/TypeChecking/Patterns/Match.o )
[212 of 251] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist/build/Agda/TypeChecking/Rules/LHS/Problem.o )
[213 of 251] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.o )
[214 of 251] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist/build/Agda/Compiler/Epic/Smashing.o )
[215 of 251] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.o )
[216 of 251] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o )
[217 of 251] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist/build/Agda/TypeChecking/Rules/LHS/Split.o )
[218 of 251] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist/build/Agda/TypeChecking/Rules/LHS/Instantiate.o )
[219 of 251] Compiling Agda.Compiler.Epic.Forcing ( src/full/Agda/Compiler/Epic/Forcing.hs, dist/build/Agda/Compiler/Epic/Forcing.o )
[220 of 251] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist/build/Agda/TypeChecking/Rules/LHS.o )
[221 of 251] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist/build/Agda/TypeChecking/Coverage.o )
[222 of 251] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist/build/Agda/TypeChecking/CompiledClause/Compile.o )
[223 of 251] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist/build/Agda/TypeChecking/Empty.o )
[224 of 251] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist/build/Agda/TypeChecking/Rules/Term.o )
[225 of 251] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist/build/Agda/TypeChecking/Rules/Builtin.o )
[226 of 251] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o )
[227 of 251] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist/build/Agda/Termination/TermCheck.o )
[228 of 251] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist/build/Agda/TypeChecking/Rules/Record.o )
[229 of 251] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist/build/Agda/TypeChecking/With.o )
[230 of 251] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist/build/Agda/TypeChecking/Rules/Def.o )
[231 of 251] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist/build/Agda/TypeChecking/Rules/Decl.o )
[232 of 251] Compiling Agda.TypeChecker ( src/full/Agda/TypeChecker.hs, dist/build/Agda/TypeChecker.o )
[233 of 251] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist/build/Agda/Interaction/Imports.o )
[234 of 251] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist/build/Agda/Compiler/MAlonzo/Misc.o )
[235 of 251] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist/build/Agda/Compiler/MAlonzo/Encode.o )
[236 of 251] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist/build/Agda/Compiler/MAlonzo/Pretty.o )
[237 of 251] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist/build/Agda/Compiler/MAlonzo/Primitives.o )
[238 of 251] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist/build/Agda/Compiler/MAlonzo/Compiler.o )
[239 of 251] Compiling Agda.Compiler.Epic.Compiler ( src/full/Agda/Compiler/Epic/Compiler.hs, dist/build/Agda/Compiler/Epic/Compiler.o )
[240 of 251] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist/build/Agda/Compiler/JS/Compiler.o )
[241 of 251] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist/build/Agda/Interaction/BasicOps.o )
[242 of 251] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist/build/Agda/Interaction/CommandLine/CommandLine.o )
[243 of 251] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist/build/Agda/Interaction/MakeCase.o )
[244 of 251] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist/build/Agda/TypeChecking/Test/Generators.o )
[245 of 251] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist/build/Agda/TypeChecking/Tests.o )
[246 of 251] Compiling Agda.Tests ( src/full/Agda/Tests.hs, dist/build/Agda/Tests.o )
[247 of 251] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist/build/Agda/Auto/Convert.o )
[248 of 251] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist/build/Agda/Auto/Auto.o )
[249 of 251] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.o )
[250 of 251] Compiling Agda.Interaction.GhcTop ( src/full/Agda/Interaction/GhcTop.hs, dist/build/Agda/Interaction/GhcTop.o )
[251 of 251] Compiling Agda.Main ( src/full/Agda/Main.hs, dist/build/Agda/Main.o )
In-place registering Agda-2.3.2.2...
Preprocessing executable 'agda' for Agda-2.3.2.2...
[1 of 1] Compiling Main ( src/main/Main.hs, dist/build/agda/agda-tmp/Main.o )
Linking dist/build/agda/agda ...
Preprocessing executable 'agda-mode' for Agda-2.3.2.2...
[1 of 2] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/agda-mode/agda-mode-tmp/Paths_Agda.o )
[2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist/build/agda-mode/agda-mode-tmp/Main.o )
Linking dist/build/agda-mode/agda-mode ...
Running Haddock for Agda-2.3.2.2...
Running hscolour for Agda-2.3.2.2...
Preprocessing library Agda-2.3.2.2...
Preprocessing executable 'agda' for Agda-2.3.2.2...
Preprocessing executable 'agda-mode' for Agda-2.3.2.2...
Preprocessing library Agda-2.3.2.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, random-1.0.1.1,
text-0.11.2.3, transformers-0.3.0.0, zlib-0.5.4.1
Haddock coverage:
0% ( 0 / 2) in 'Agda.Utils.SemiRing'
83% ( 10 / 12) in 'Agda.Utils.VarSet'
0% ( 0 / 2) in 'Agda.TypeChecking.Monad.Debug'
50% ( 1 / 2) in 'Agda.Utils.Pointed'
25% ( 1 / 4) in 'Agda.Utils.Maybe'
0% ( 0 / 4) in 'Agda.Utils.Char'
0% ( 0 / 2) in 'Agda.Utils.Hash'
33% ( 1 / 3) in 'Agda.Utils.Unicode'
14% ( 1 / 7) in 'Agda.Utils.Pointer'
14% ( 1 / 7) in 'Agda.Utils.Trie'
100% ( 2 / 2) in 'Agda.Utils.IO.Binary'
25% ( 1 / 4) in 'Agda.Utils.Fresh'
0% ( 0 / 1) in 'Agda.Packaging.Types'
0% ( 0 / 1) in 'Agda.Packaging.Monad'
0% ( 0 / 1) in 'Agda.Packaging.Database'
0% ( 0 / 1) in 'Agda.Packaging.Config'
20% ( 1 / 5) in 'Agda.Utils.QuickCheck'
100% ( 19 / 19) in 'Agda.Utils.TestHelpers'
75% ( 6 / 8) in 'Agda.Termination.Semiring'
85% ( 23 / 27) in 'Agda.Termination.Matrix'
95% ( 38 / 40) in 'Agda.Utils.ReadP'
50% ( 1 / 2) in 'Agda.Utils.Function'
0% ( 0 / 8) in 'Paths_Agda'
100% ( 3 / 3) in 'Agda.Utils.Time'
Warning: Agda-2.3.2.2:Agda.Utils.HashMap: Could not find documentation for exported module: HashMap
0% ( 0 / 1) in 'Agda.Utils.HashMap'
100% ( 4 / 4) in 'Agda.Utils.IO.UTF8'
53% ( 8 / 15) in 'Agda.Utils.Tuple'
80% ( 4 / 5) in 'Agda.Utils.String'
0% ( 0 / 2) in 'Agda.Utils.Size'
100% ( 4 / 4) in 'Agda.Utils.Impossible'
0% ( 0 / 2) in 'Agda.ImpossibleTest'
64% ( 21 / 33) in 'Agda.Utils.List'
67% ( 8 / 12) in 'Agda.Utils.Permutation'
38% ( 3 / 8) in 'Agda.Utils.Suffix'
88% ( 7 / 8) in 'Agda.Utils.Either'
0% ( 0 / 61) in 'Agda.Auto.NarrowingSearch'
0% ( 0 / 48) in 'Agda.Auto.Syntax'
0% ( 0 / 44) in 'Agda.Auto.SearchControl'
0% ( 0 / 37) in 'Agda.Auto.Typecheck'
0% ( 0 / 37) in 'Agda.Auto.CaseSplit'
50% ( 1 / 2) in 'Agda.Version'
43% ( 3 / 7) in 'Agda.Utils.Pretty'
100% ( 7 / 7) in 'Agda.Interaction.EmacsCommand'
83% ( 24 / 29) in 'Agda.Termination.SparseMatrix'
88% ( 30 / 34) in 'Agda.Termination.CallGraph'
88% ( 7 / 8) in 'Agda.Termination.Lexicographic'
50% ( 2 / 4) in 'Agda.Termination.Termination'
75% ( 6 / 8) in 'Agda.Utils.FileName'
62% ( 16 / 26) in 'Agda.Utils.Monad'
43% ( 3 / 7) in 'Agda.Utils.Map'
54% ( 15 / 28) in 'Agda.Utils.Graph'
63% ( 12 / 19) in 'Agda.Interaction.Options'
67% ( 29 / 43) in 'Agda.Syntax.Position'
50% ( 19 / 38) in 'Agda.Syntax.Common'
0% ( 0 / 9) in 'Agda.Compiler.JS.Syntax'
0% ( 0 / 10) in 'Agda.Compiler.JS.Pretty'
0% ( 0 / 19) in 'Agda.Compiler.JS.Substitution'
0% ( 0 / 14) in 'Agda.Compiler.JS.Case'
0% ( 0 / 35) in 'Agda.Compiler.JS.Parser'
12% ( 6 / 50) in 'Agda.Utils.Warshall'
59% ( 13 / 22) in 'Agda.Syntax.Concrete.Name'
100% ( 12 / 12) in 'Agda.Interaction.Highlighting.Range'
62% ( 8 / 13) in 'Agda.Syntax.Notation'
68% ( 13 / 19) in 'Agda.Syntax.Fixity'
44% ( 14 / 32) in 'Agda.Syntax.Abstract.Name'
0% ( 0 / 2) in 'Agda.Syntax.Literal'
61% ( 25 / 41) in 'Agda.Syntax.Concrete'
96% ( 26 / 27) in 'Agda.Interaction.Highlighting.Precise'
8% ( 1 / 12) in 'Agda.Syntax.Concrete.Pretty'
0% ( 0 / 5) in 'Agda.Syntax.Parser.Tokens'
54% ( 7 / 13) in 'Agda.TypeChecking.Coverage.SplitTree'
70% ( 46 / 66) in 'Agda.Syntax.Scope.Base'
100% ( 4 / 4) in 'Agda.Utils.Geniplate'
56% ( 32 / 57) in 'Agda.Syntax.Internal'
40% ( 6 / 15) in 'Agda.TypeChecking.Free'
17% ( 2 / 12) in 'Agda.Compiler.Epic.Interface'
50% ( 9 / 18) in 'Agda.Compiler.Epic.AuxAST'
0% ( 0 / 9) in 'Agda.TypeChecking.CompiledClause'
33% ( 1 / 3) in 'Agda.Syntax.Internal.Generic'
0% ( 0 / 6) in 'Agda.Syntax.Internal.Pattern'
59% ( 10 / 17) in 'Agda.TypeChecking.Coverage.Match'
15% ( 2 / 13) in 'Agda.Syntax.Info'
38% ( 16 / 42) in 'Agda.Syntax.Abstract'
20% ( 1 / 5) in 'Agda.Syntax.Abstract.Views'
50% ( 5 / 10) in 'Agda.Syntax.Concrete.Definitions'
57% ( 13 / 23) in 'Agda.Syntax.Concrete.Operators.Parser'
70% ( 23 / 33) in 'Agda.Syntax.Parser.Monad'
72% ( 13 / 18) in 'Agda.Syntax.Parser.Alex'
100% ( 14 / 14) in 'Agda.Syntax.Parser.LookAhead'
100% ( 6 / 6) in 'Agda.Syntax.Parser.Comments'
100% ( 3 / 3) in 'Agda.Syntax.Parser.StringLiterals'
86% ( 12 / 14) in 'Agda.Syntax.Parser.Lexer'
100% ( 25 / 25) in 'Agda.Syntax.Parser.LexActions'
100% ( 7 / 7) in 'Agda.Syntax.Parser.Layout'
100% ( 5 / 5) in 'Agda.Syntax.Parser.Parser'
64% ( 9 / 14) in 'Agda.Syntax.Parser'
67% ( 2 / 3) in 'Agda.Interaction.Exceptions'
31% ( 44 /144) in 'Agda.TypeChecking.Monad.Base'
26% ( 12 / 46) in 'Agda.TypeChecking.Substitute'
33% ( 1 / 3) in 'Agda.TypeChecking.Abstract'
2% ( 3 /152) in 'Agda.TypeChecking.Monad.Builtin'
67% ( 14 / 21) in 'Agda.TypeChecking.Monad.State'
21% ( 3 / 14) in 'Agda.Syntax.Translation.AbstractToConcrete'
0% ( 0 / 5) in 'Agda.TypeChecking.Monad.Statistics'
50% ( 1 / 2) in 'Agda.TypeChecking.LevelConstraints'
33% ( 1 / 3) in 'Agda.TypeChecking.Monad.Exception'
88% ( 7 / 8) in 'Agda.TypeChecking.Monad.Env'
60% ( 3 / 5) in 'Agda.TypeChecking.Monad.Open'
85% ( 28 / 33) in 'Agda.TypeChecking.Monad.Context'
6% ( 1 / 18) in 'Agda.TypeChecking.Monad.Imports'
38% ( 3 / 8) in 'Agda.TypeChecking.Monad.Mutual'
93% ( 14 / 15) in 'Agda.Interaction.FindFile'
100% ( 7 / 7) in 'Agda.Interaction.Response'
47% ( 18 / 38) in 'Agda.TypeChecking.Monad.Options'
63% ( 31 / 49) in 'Agda.Syntax.Scope.Monad'
0% ( 0 / 2) in 'Agda.Syntax.Abstract.Copatterns'
0% ( 0 / 6) in 'Agda.TypeChecking.Monad.Sharing'
62% ( 10 / 16) in 'Agda.Syntax.Concrete.Operators'
46% ( 16 / 35) in 'Agda.TypeChecking.Monad.SizedTypes'
20% ( 2 / 10) in 'Agda.TypeChecking.Monad.Trace'
52% ( 29 / 56) in 'Agda.TypeChecking.Monad.Signature'
0% ( 0 / 2) in 'Agda.TypeChecking.Monad.Closure'
32% ( 6 / 19) in 'Agda.TypeChecking.Monad.Constraints'
28% ( 11 / 39) in 'Agda.TypeChecking.Monad.MetaVars'
94% ( 17 / 18) in 'Agda.TypeChecking.Monad'
40% ( 2 / 5) in 'Agda.Syntax.Abstract.Pretty'
19% ( 4 / 21) in 'Agda.Syntax.Translation.ConcreteToAbstract'
50% ( 2 / 4) in 'Agda.Interaction.Monad'
0% ( 0 / 8) in 'Agda.Interaction.Highlighting.Dot'
20% ( 1 / 5) in 'Agda.TypeChecking.EtaContract'
86% ( 18 / 21) in 'Agda.TypeChecking.Irrelevance'
100% ( 3 / 3) in 'Agda.Compiler.CallCompiler'
100% ( 2 / 2) in 'Agda.Interaction.Highlighting.LaTeX'
0% ( 0 / 8) in 'Agda.Interaction.Highlighting.Vim'
67% ( 2 / 3) in 'Agda.TypeChecking.DropArgs'
39% ( 7 / 18) in 'Agda.TypeChecking.Reduce'
71% ( 12 / 17) in 'Agda.TypeChecking.Telescope'
35% ( 12 / 34) in 'Agda.Compiler.Epic.CompileState'
67% ( 2 / 3) in 'Agda.Compiler.Epic.CaseOpts'
67% ( 4 / 6) in 'Agda.Compiler.Epic.NatDetection'
53% ( 10 / 19) in 'Agda.Compiler.Epic.Primitive'
9% ( 1 / 11) in 'Agda.TypeChecking.Level'
0% ( 0 / 4) in 'Agda.TypeChecking.DisplayForm'
50% ( 4 / 8) in 'Agda.TypeChecking.Datatypes'
40% ( 2 / 5) in 'Agda.Syntax.Translation.InternalToAbstract'
0% ( 0 / 2) in 'Agda.TypeChecking.MetaVars.Mention'
60% ( 3 / 5) in 'Agda.TypeChecking.Implicit'
0% ( 0 / 3) in 'Agda.TypeChecking.Eliminators'
7% ( 2 / 30) in 'Agda.TypeChecking.Pretty'
33% ( 2 / 6) in 'Agda.TypeChecking.Errors'
100% ( 3 / 3) in 'Agda.Interaction.Highlighting.Emacs'
83% ( 5 / 6) in 'Agda.TypeChecking.Serialise'
60% ( 15 / 25) in 'Agda.TypeChecking.SizedTypes'
89% ( 24 / 27) in 'Agda.TypeChecking.Records'
12% ( 2 / 16) in 'Agda.Compiler.HaskellTypes'
75% ( 3 / 4) in 'Agda.Compiler.Epic.ForceConstrs'
100% ( 3 / 3) in 'Agda.Compiler.Epic.Epic'
47% ( 7 / 15) in 'Agda.Compiler.Epic.Erasure'
20% ( 1 / 5) in 'Agda.Compiler.Epic.Static'
86% ( 6 / 7) in 'Agda.Compiler.Epic.FromAgda'
11% ( 3 / 27) in 'Agda.Compiler.Epic.Injection'
80% ( 4 / 5) in 'Agda.TypeChecking.RecordPatterns'
40% ( 4 / 10) in 'Agda.TypeChecking.InstanceArguments'
38% ( 6 / 16) in 'Agda.TypeChecking.Constraints'
46% ( 13 / 28) in 'Agda.TypeChecking.MetaVars.Occurs'
57% ( 29 / 51) in 'Agda.TypeChecking.MetaVars'
100% ( 9 / 9) in 'Agda.Interaction.Highlighting.Generate'
100% ( 2 / 2) in 'Agda.Interaction.Highlighting.HTML'
0% ( 0 / 4) in 'Agda.TypeChecking.Forcing'
50% ( 1 / 2) in 'Agda.TypeChecking.Rebind'
43% ( 10 / 23) in 'Agda.TypeChecking.Positivity'
83% ( 20 / 24) in 'Agda.TypeChecking.Polarity'
50% ( 1 / 2) in 'Agda.TypeChecking.ProjectionLike'
0% ( 0 / 14) in 'Agda.TypeChecking.Quote'
15% ( 8 / 53) in 'Agda.TypeChecking.Primitive'
0% ( 0 / 6) in 'Agda.TypeChecking.CompiledClause.Match'
29% ( 2 / 7) in 'Agda.TypeChecking.Injectivity'
54% ( 15 / 28) in 'Agda.TypeChecking.Conversion'
88% ( 7 / 8) in 'Agda.TypeChecking.Rules.Data'
0% ( 0 / 3) in 'Agda.TypeChecking.UniversePolymorphism'
25% ( 1 / 4) in 'Agda.TypeChecking.Patterns.Match'
31% ( 4 / 13) in 'Agda.TypeChecking.Rules.LHS.Problem'
37% ( 21 / 57) in 'Agda.TypeChecking.Rules.LHS.Unify'
50% ( 4 / 8) in 'Agda.Compiler.Epic.Smashing'
67% ( 2 / 3) in 'Agda.TypeChecking.Rules.LHS.Implicit'
71% ( 5 / 7) in 'Agda.TypeChecking.Rules.LHS.ProblemRest'
83% ( 5 / 6) in 'Agda.TypeChecking.Rules.LHS.Split'
67% ( 2 / 3) in 'Agda.TypeChecking.Rules.LHS.Instantiate'
57% ( 8 / 14) in 'Agda.Compiler.Epic.Forcing'
73% ( 8 / 11) in 'Agda.TypeChecking.Rules.LHS'
60% ( 12 / 20) in 'Agda.TypeChecking.Coverage'
18% ( 2 / 11) in 'Agda.TypeChecking.CompiledClause.Compile'
50% ( 1 / 2) in 'Agda.TypeChecking.Empty'
55% ( 21 / 38) in 'Agda.TypeChecking.Rules.Term'
67% ( 2 / 3) in 'Agda.TypeChecking.Rules.Builtin'
100% ( 7 / 7) in 'Agda.TypeChecking.Rules.Builtin.Coinduction'
75% ( 3 / 4) in 'Agda.Termination.TermCheck'
75% ( 3 / 4) in 'Agda.TypeChecking.Rules.Record'
43% ( 3 / 7) in 'Agda.TypeChecking.With'
69% ( 11 / 16) in 'Agda.TypeChecking.Rules.Def'
77% ( 10 / 13) in 'Agda.TypeChecking.Rules.Decl'
80% ( 4 / 5) in 'Agda.TypeChecker'
86% ( 12 / 14) in 'Agda.Interaction.Imports'
7% ( 3 / 41) in 'Agda.Compiler.MAlonzo.Misc'
67% ( 2 / 3) in 'Agda.Compiler.MAlonzo.Encode'
67% ( 2 / 3) in 'Agda.Compiler.MAlonzo.Pretty'
5% ( 1 / 21) in 'Agda.Compiler.MAlonzo.Primitives'
12% ( 4 / 32) in 'Agda.Compiler.MAlonzo.Compiler'
100% ( 2 / 2) in 'Agda.Compiler.Epic.Compiler'
0% ( 0 / 36) in 'Agda.Compiler.JS.Compiler'
19% ( 6 / 31) in 'Agda.Interaction.BasicOps'
12% ( 3 / 24) in 'Agda.Interaction.CommandLine.CommandLine'
29% ( 2 / 7) in 'Agda.Interaction.MakeCase'
6% ( 2 / 35) in 'Agda.TypeChecking.Test.Generators'
80% ( 8 / 10) in 'Agda.TypeChecking.Tests'
50% ( 1 / 2) in 'Agda.Tests'
0% ( 0 / 45) in 'Agda.Auto.Convert'
0% ( 0 / 2) in 'Agda.Auto.Auto'
69% ( 31 / 45) in 'Agda.Interaction.InteractionTop'
50% ( 1 / 2) in 'Agda.Interaction.GhcTop'
100% ( 6 / 6) in 'Agda.Main'
Warning: Agda.TypeChecking.Monad.Debug: could not find link destinations for:
Control.Monad.IO.Class.MonadIO
Warning: Agda.Utils.Fresh: could not find link destinations for:
Control.Monad.State.Class.MonadState Control.Monad.Reader.Class.MonadReader
Warning: Agda.Auto.NarrowingSearch: could not find link destinations for:
Control.Monad.Trans.State.Lazy.StateT
Warning: Agda.Auto.SearchControl: could not find link destinations for:
Control.Monad.Trans.State.Lazy.StateT
Warning: Agda.Termination.CallGraph: could not find link destinations for:
Agda.Termination.CallGraph.Unknown Agda.Termination.CallGraph.<*> Agda.Termination.CallGraph.maxO Agda.Termination.CallGraph.completePrecondition
Warning: Agda.Termination.Lexicographic: could not find link destinations for:
Agda.Termination.Lexicographic.newBehaviour Agda.Termination.Lexicographic.correctLexOrder
Warning: Agda.Utils.Monad: could not find link destinations for:
Control.Monad.Trans.Error.Error Control.Monad.Error.Class.MonadError Control.Monad.State.Class.MonadState
Warning: Agda.Syntax.Position: could not find link destinations for:
Agda.Syntax.Position.SrcFile
Warning: Agda.Utils.Warshall: could not find link destinations for:
Control.Monad.Trans.State.Lazy.State
Warning: Agda.Syntax.Abstract.Name: could not find link destinations for:
Control.Monad.State.Class.MonadState
Warning: Agda.Syntax.Internal: could not find link destinations for:
Control.Monad.Trans.Error.Error
Warning: Agda.Syntax.Concrete.Definitions: could not find link destinations for:
Agda.Syntax.Concrete.Definitions.TerminationCheck Agda.Syntax.Concrete.Definitions.DataRecOrFun Control.Monad.Trans.Error.Error Control.Monad.Trans.State.Lazy.StateT Agda.Syntax.Concrete.Definitions.NiceEnv
Warning: Agda.Syntax.Parser.Monad: could not find link destinations for:
Control.Monad.State.Class.MonadState Control.Monad.Error.Class.MonadError
Warning: Agda.Syntax.Parser.StringLiterals: could not find link destinations for:
Agda.Syntax.Parser.StringLiterals.readNum
Warning: Agda.Syntax.Parser: could not find link destinations for:
Control.Monad.Error.Class.MonadError
Warning: Agda.TypeChecking.Monad.Base: could not find link destinations for:
Control.Monad.State.Class.MonadState Control.Monad.IO.Class.MonadIO Control.Monad.Reader.Class.MonadReader Control.Monad.Trans.Error.Error Control.Monad.Error.Class.MonadError Control.Monad.Trans.Class.MonadTrans Control.Monad.Trans.Error.ErrorT
Warning: Agda.Syntax.Translation.AbstractToConcrete: could not find link destinations for:
Control.Monad.Trans.Reader.Reader
Warning: Agda.TypeChecking.Monad.Exception: could not find link destinations for:
Control.Monad.Trans.Error.Error Control.Monad.State.Class.MonadState Control.Monad.Reader.Class.MonadReader Control.Monad.Error.Class.MonadError Control.Monad.Trans.Class.MonadTrans Control.Monad.IO.Class.MonadIO Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.Reader.ReaderT
Warning: Agda.Syntax.Scope.Monad: could not find link destinations for:
Control.Monad.Trans.Class.MonadTrans Control.Monad.Trans.State.Lazy.StateT
Warning: Agda.Syntax.Abstract.Copatterns: could not find link destinations for:
Agda.Syntax.Abstract.Copatterns.groupClauses
Warning: Agda.TypeChecking.Monad.Sharing: could not find link destinations for:
Control.Monad.Trans.Class.MonadTrans
Warning: Agda.Syntax.Concrete.Operators: could not find link destinations for:
Agda.Syntax.Concrete.Operators.FlatScope
Warning: Agda.Interaction.Highlighting.Dot: could not find link destinations for:
Control.Monad.Trans.State.Lazy.StateT
Warning: Agda.Compiler.Epic.CompileState: could not find link destinations for:
Control.Monad.Trans.State.Lazy.StateT
Warning: Agda.Syntax.Translation.InternalToAbstract: could not find link destinations for:
Agda.Syntax.Translation.InternalToAbstract.underscore
Warning: Agda.Compiler.Epic.Erasure: could not find link destinations for:
Control.Monad.Trans.State.Lazy.StateT
Warning: Agda.TypeChecking.RecordPatterns: could not find link destinations for:
Agda.TypeChecking.RecordPatterns.VarPat Agda.TypeChecking.RecordPatterns.DotPat Agda.TypeChecking.RecordPatterns.RecPatM Agda.TypeChecking.RecordPatterns.translatePattern
Warning: Agda.TypeChecking.MetaVars: could not find link destinations for:
Control.Monad.Trans.Error.ErrorT
Warning: Agda.Interaction.Highlighting.Generate: could not find link destinations for:
Agda.Interaction.Highlighting.Generate.NameKinds Agda.Interaction.Highlighting.Generate.nameToFile
Warning: Agda.TypeChecking.Positivity: could not find link destinations for:
Control.Monad.Trans.Reader.Reader
Warning: Agda.TypeChecking.Rules.LHS.Problem: could not find link destinations for:
Control.Monad.Trans.Error.Error
Warning: Agda.TypeChecking.Rules.LHS.Unify: could not find link destinations for:
Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.State.Lazy.StateT Control.Monad.IO.Class.MonadIO Control.Monad.State.Class.MonadState Control.Monad.Reader.Class.MonadReader Control.Monad.Writer.Class.MonadWriter Control.Monad.Trans.Error.Error
Warning: Agda.Compiler.Epic.Forcing: could not find link destinations for:
Control.Monad.Trans.Class.MonadTrans
Warning: Agda.TypeChecking.Coverage: could not find link destinations for:
Control.Monad.Trans.Error.Error
Warning: Agda.TypeChecking.Rules.Term: could not find link destinations for:
Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT
Warning: Agda.Termination.TermCheck: could not find link destinations for:
Agda.Termination.TermCheck.Target Agda.Termination.TermCheck.makeCM Agda.Termination.TermCheck.compareArgs Agda.Termination.TermCheck.addGuardedness
Warning: Agda.Compiler.MAlonzo.Compiler: could not find link destinations for:
Control.Monad.Trans.Reader.ReaderT
Warning: Agda.Auto.Convert: could not find link destinations for:
Control.Monad.State.Class.MonadState Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Error.ErrorT
Warning: Agda.Interaction.InteractionTop: could not find link destinations for:
Control.Monad.State.Class.MonadState Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Class.lift Control.Monad.IO.Class.MonadIO Control.Monad.Error.Class.MonadError Control.Monad.Trans.State.Lazy.runStateT Control.Monad.IO.Class.liftIO Control.Monad.Trans.Error.ErrorT Data.Functor.Identity.Identity
Documentation created: dist/doc/html/Agda/index.html
Preprocessing executable 'agda' for Agda-2.3.2.2...
Preprocessing executable 'agda-mode' for Agda-2.3.2.2...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Agda-2.3.2.2
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 Agda-2.3.2.2...
Installed Agda-2.3.2.2
Configuring MissingH-1.2.0.2...
Building MissingH-1.2.0.2...
Preprocessing library MissingH-1.2.0.2...
[ 1 of 47] Compiling System.Console.GetOpt.Utils ( src/System/Console/GetOpt/Utils.hs, dist/build/System/Console/GetOpt/Utils.o )
[ 2 of 47] Compiling System.Debian ( src/System/Debian.hs, dist/build/System/Debian.o )
[ 3 of 47] Compiling System.IO.WindowsCompat ( src/System/IO/WindowsCompat.hs, dist/build/System/IO/WindowsCompat.o )
[ 4 of 47] Compiling System.Posix.Consts ( src/System/Posix/Consts.hs, dist/build/System/Posix/Consts.o )
[ 5 of 47] Compiling System.IO.StatCompat ( src/System/IO/StatCompat.hs, dist/build/System/IO/StatCompat.o )
[ 6 of 47] Compiling System.IO.PlafCompat ( src/System/IO/PlafCompat.hs, dist/build/System/IO/PlafCompat.o )
[ 7 of 47] Compiling Data.Compression.Inflate ( src/Data/Compression/Inflate.hs, dist/build/Data/Compression/Inflate.o )
[ 8 of 47] Compiling Data.Hash.MD5.Zord64_HARD ( src/Data/Hash/MD5/Zord64_HARD.lhs, dist/build/Data/Hash/MD5/Zord64_HARD.o )
src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning:
No explicit method or default declaration for `*'
In the instance declaration for `Num Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning:
No explicit method or default declaration for `abs'
In the instance declaration for `Num Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning:
No explicit method or default declaration for `signum'
In the instance declaration for `Num Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `xor'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `bit'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `testBit'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `bitSize'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `isSigned'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `popCount'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:43:12: Warning:
No explicit method or default declaration for `quotRem'
In the instance declaration for `Integral Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:46:12: Warning:
No explicit method or default declaration for `toRational'
In the instance declaration for `Real Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning:
No explicit method or default declaration for `toEnum'
In the instance declaration for `Enum Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning:
No explicit method or default declaration for `fromEnum'
In the instance declaration for `Enum Zord64'
[ 9 of 47] Compiling Data.Hash.MD5 ( src/Data/Hash/MD5.lhs, dist/build/Data/Hash/MD5.o )
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `*'
In the instance declaration for `Num ABCD'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `abs'
In the instance declaration for `Num ABCD'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `signum'
In the instance declaration for `Num ABCD'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `fromInteger'
In the instance declaration for `Num ABCD'
[10 of 47] Compiling Data.Hash.CRC32.GZip ( src/Data/Hash/CRC32/GZip.hs, dist/build/Data/Hash/CRC32/GZip.o )
[11 of 47] Compiling Data.Hash.CRC32.Posix ( src/Data/Hash/CRC32/Posix.hs, dist/build/Data/Hash/CRC32/Posix.o )
[12 of 47] Compiling Data.Bits.Utils ( src/Data/Bits/Utils.hs, dist/build/Data/Bits/Utils.o )
[13 of 47] Compiling System.FileArchive.GZip ( src/System/FileArchive/GZip.hs, dist/build/System/FileArchive/GZip.o )
[14 of 47] Compiling Data.Tuple.Utils ( src/Data/Tuple/Utils.hs, dist/build/Data/Tuple/Utils.o )
[15 of 47] Compiling Data.Maybe.Utils ( src/Data/Maybe/Utils.hs, dist/build/Data/Maybe/Utils.o )
[16 of 47] Compiling Data.Either.Utils ( src/Data/Either/Utils.hs, dist/build/Data/Either/Utils.o )
[17 of 47] Compiling Network.Utils ( src/Network/Utils.hs, dist/build/Network/Utils.o )
[18 of 47] Compiling Network.SocketServer ( src/Network/SocketServer.hs, dist/build/Network/SocketServer.o )
[19 of 47] Compiling System.Time.ParseDate ( src/System/Time/ParseDate.hs, dist/build/System/Time/ParseDate.o )
[20 of 47] Compiling System.Path.NameManip ( src/System/Path/NameManip.hs, dist/build/System/Path/NameManip.o )
[21 of 47] Compiling Data.Quantity ( src/Data/Quantity.hs, dist/build/Data/Quantity.o )
[22 of 47] Compiling System.Time.Utils ( src/System/Time/Utils.hs, dist/build/System/Time/Utils.o )
[23 of 47] Compiling Data.Progress.Tracker ( src/Data/Progress/Tracker.hs, dist/build/Data/Progress/Tracker.o )
[24 of 47] Compiling Data.BinPacking ( src/Data/BinPacking.hs, dist/build/Data/BinPacking.o )
[25 of 47] Compiling Data.CSV ( src/Data/CSV.hs, dist/build/Data/CSV.o )
[26 of 47] Compiling System.Cmd.Utils ( src/System/Cmd/Utils.hs, dist/build/System/Cmd/Utils.o )
[27 of 47] Compiling Network.Email.Sendmail ( src/Network/Email/Sendmail.hs, dist/build/Network/Email/Sendmail.o )
[28 of 47] Compiling Control.Concurrent.Thread.Utils ( src/Control/Concurrent/Thread/Utils.hs, dist/build/Control/Concurrent/Thread/Utils.o )
[29 of 47] Compiling Network.Email.Mailbox ( src/Network/Email/Mailbox.hs, dist/build/Network/Email/Mailbox.o )
[30 of 47] Compiling Text.ParserCombinators.Parsec.Utils ( src/Text/ParserCombinators/Parsec/Utils.hs, dist/build/Text/ParserCombinators/Parsec/Utils.o )
[31 of 47] Compiling System.Daemon ( src/System/Daemon.hs, dist/build/System/Daemon.o )
[32 of 47] Compiling System.IO.HVIO ( src/System/IO/HVIO.hs, dist/build/System/IO/HVIO.o )
[33 of 47] Compiling System.IO.HVFS ( src/System/IO/HVFS.hs, dist/build/System/IO/HVFS.o )
[34 of 47] Compiling System.IO.Binary ( src/System/IO/Binary.hs, dist/build/System/IO/Binary.o )
[35 of 47] Compiling System.IO.HVFS.Utils ( src/System/IO/HVFS/Utils.hs, dist/build/System/IO/HVFS/Utils.o )
[36 of 47] Compiling System.IO.Utils ( src/System/IO/Utils.hs, dist/build/System/IO/Utils.o )
[37 of 47] Compiling Data.List.Utils ( src/Data/List/Utils.hs, dist/build/Data/List/Utils.o )
[38 of 47] Compiling Data.Map.Utils ( src/Data/Map/Utils.hs, dist/build/Data/Map/Utils.o )
[39 of 47] Compiling System.Path ( src/System/Path.hs, dist/build/System/Path.o )
[40 of 47] Compiling System.IO.HVFS.InstanceHelpers ( src/System/IO/HVFS/InstanceHelpers.hs, dist/build/System/IO/HVFS/InstanceHelpers.o )
[41 of 47] Compiling System.IO.HVFS.Combinators ( src/System/IO/HVFS/Combinators.hs, dist/build/System/IO/HVFS/Combinators.o )
[42 of 47] Compiling Data.MIME.Types ( src/Data/MIME/Types.hs, dist/build/Data/MIME/Types.o )
[43 of 47] Compiling Data.String.Utils ( src/Data/String/Utils.hs, dist/build/Data/String/Utils.o )
[44 of 47] Compiling Data.Progress.Meter ( src/Data/Progress/Meter.hs, dist/build/Data/Progress/Meter.o )
[45 of 47] Compiling System.Path.WildMatch ( src/System/Path/WildMatch.hs, dist/build/System/Path/WildMatch.o )
[46 of 47] Compiling System.Path.Glob ( src/System/Path/Glob.hs, dist/build/System/Path/Glob.o )
[47 of 47] Compiling System.Debian.ControlParser ( src/System/Debian/ControlParser.hs, dist/build/System/Debian/ControlParser.o )
In-place registering MissingH-1.2.0.2...
Running Haddock for MissingH-1.2.0.2...
Running hscolour for MissingH-1.2.0.2...
Preprocessing library MissingH-1.2.0.2...
Preprocessing library MissingH-1.2.0.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.1.2, network-2.4.1.2,
parsec-3.1.3, random-1.0.1.1, text-0.11.2.3, transformers-0.3.0.0
src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning:
No explicit method or default declaration for `*'
In the instance declaration for `Num Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning:
No explicit method or default declaration for `abs'
In the instance declaration for `Num Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:17:12: Warning:
No explicit method or default declaration for `signum'
In the instance declaration for `Num Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `xor'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `bit'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `testBit'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `bitSize'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `isSigned'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:26:12: Warning:
No explicit method or default declaration for `popCount'
In the instance declaration for `Bits Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:43:12: Warning:
No explicit method or default declaration for `quotRem'
In the instance declaration for `Integral Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:46:12: Warning:
No explicit method or default declaration for `toRational'
In the instance declaration for `Real Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning:
No explicit method or default declaration for `toEnum'
In the instance declaration for `Enum Zord64'
src/Data/Hash/MD5/Zord64_HARD.lhs:47:12: Warning:
No explicit method or default declaration for `fromEnum'
In the instance declaration for `Enum Zord64'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `*'
In the instance declaration for `Num ABCD'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `abs'
In the instance declaration for `Num ABCD'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `signum'
In the instance declaration for `Num ABCD'
src/Data/Hash/MD5.lhs:114:12: Warning:
No explicit method or default declaration for `fromInteger'
In the instance declaration for `Num ABCD'
Haddock coverage:
100% ( 6 / 6) in 'System.Console.GetOpt.Utils'
86% ( 6 / 7) in 'System.Debian'
100% ( 1 / 1) in 'System.IO.WindowsCompat'
11% ( 1 / 9) in 'System.Posix.Consts'
10% ( 1 / 10) in 'System.IO.StatCompat'
100% ( 4 / 4) in 'System.IO.PlafCompat'
29% ( 2 / 7) in 'Data.Compression.Inflate'
0% ( 0 / 2) in 'Data.Hash.MD5.Zord64_HARD'
50% ( 5 / 10) in 'Data.Hash.MD5'
20% ( 1 / 5) in 'Data.Hash.CRC32.GZip'
20% ( 1 / 5) in 'Data.Hash.CRC32.Posix'
100% ( 7 / 7) in 'Data.Bits.Utils'
93% ( 14 / 15) in 'System.FileArchive.GZip'
100% ( 5 / 5) in 'Data.Tuple.Utils'
100% ( 3 / 3) in 'Data.Maybe.Utils'
100% ( 8 / 8) in 'Data.Either.Utils'
33% ( 2 / 6) in 'Network.Utils'
94% ( 16 / 17) in 'Network.SocketServer'
100% ( 2 / 2) in 'System.Time.ParseDate'
100% ( 22 / 22) in 'System.Path.NameManip'
100% ( 10 / 10) in 'Data.Quantity'
100% ( 9 / 9) in 'System.Time.Utils'
Warning: Data.Progress.Tracker: withStatus is exported separately but will be documented under ProgressStatuses. Consider exporting it together with its parent(s) for code clarity.
96% ( 26 / 27) in 'Data.Progress.Tracker'
100% ( 5 / 5) in 'Data.BinPacking'
100% ( 3 / 3) in 'Data.CSV'
95% ( 20 / 21) in 'System.Cmd.Utils'
100% ( 2 / 2) in 'Network.Email.Sendmail'
100% ( 3 / 3) in 'Control.Concurrent.Thread.Utils'
83% ( 5 / 6) in 'Network.Email.Mailbox'
86% ( 12 / 14) in 'Text.ParserCombinators.Parsec.Utils'
100% ( 2 / 2) in 'System.Daemon'
100% ( 18 / 18) in 'System.IO.HVIO'
57% ( 12 / 21) in 'System.IO.HVFS'
100% ( 29 / 29) in 'System.IO.Binary'
83% ( 5 / 6) in 'System.IO.HVFS.Utils'
100% ( 23 / 23) in 'System.IO.Utils'
100% ( 42 / 42) in 'Data.List.Utils'
100% ( 8 / 8) in 'Data.Map.Utils'
100% ( 14 / 14) in 'System.Path'
100% ( 14 / 14) in 'System.IO.HVFS.InstanceHelpers'
100% ( 5 / 5) in 'System.IO.HVFS.Combinators'
92% ( 11 / 12) in 'Data.MIME.Types'
100% ( 18 / 18) in 'Data.String.Utils'
94% ( 16 / 17) in 'Data.Progress.Meter'
100% ( 4 / 4) in 'System.Path.WildMatch'
100% ( 3 / 3) in 'System.Path.Glob'
100% ( 3 / 3) in 'System.Debian.ControlParser'
Warning: System.FileArchive.GZip: could not find link destinations for:
Control.Monad.Trans.Error.Error
Warning: Data.Either.Utils: could not find link destinations for:
Control.Monad.Error.Class.MonadError
Warning: Network.Utils: could not find link destinations for:
Network.Socket.HostName Network.Socket.Types.PortNumber Network.Socket.Types.Socket Network.Socket.Types.SockAddr
Warning: Network.SocketServer: could not find link destinations for:
Network.Socket.Types.PortNumber Network.Socket.Types.HostAddress Network.Socket.Types.Family Network.Socket.Types.SocketType Network.Socket.Types.Socket Network.Socket.Types.SockAddr
Warning: Data.BinPacking: could not find link destinations for:
Control.Monad.Trans.Error.Error
Warning: Data.CSV: could not find link destinations for:
Text.ParserCombinators.Parsec.Char.CharParser
Warning: Text.ParserCombinators.Parsec.Utils: could not find link destinations for:
Text.Parsec.Pos.SourcePos Text.Parsec.String.GenParser
Warning: System.IO.Binary: could not find link destinations for:
System.IO.Binary.hPutBlocks
Warning: Data.List.Utils: could not find link destinations for:
Control.Monad.Trans.State.Lazy.State
Warning: Data.Progress.Meter: could not find link destinations for:
Data.Progress.Meter.ProgressMeterR
Warning: System.Debian.ControlParser: could not find link destinations for:
Text.ParserCombinators.Parsec.Char.CharParser
Documentation created: dist/doc/html/MissingH/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/MissingH-1.2.0.2
Registering MissingH-1.2.0.2...
Installed MissingH-1.2.0.2
Downloading lhs2TeX-hl-0.1.1.1...
Configuring lhs2TeX-hl-0.1.1.1...
Building lhs2TeX-hl-0.1.1.1...
Preprocessing executable 'lhs2TeX-hl' for lhs2TeX-hl-0.1.1.1...
src/LiterateHighlighter.hs:1:1:
Ambiguous module name `Prelude':
it was found in multiple packages: base haskell98-2.0.0.2
Failed to install lhs2TeX-hl-0.1.1.1
cabal: Error: some packages failed to install:
lhs2TeX-hl-0.1.1.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.