Build #1 for free-theorems-counterexamples-0.3.1.0

[all reports]

Package free-theorems-counterexamples-0.3.1.0
Install InstallOk
Docs Failed
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies xhtml-3000.2.1, utf8-string-0.3.7, syb-0.4.1, pretty-1.1.1.0, mtl-2.1.2, haskell-src-exts-1.14.0, haskell-src-1.0.1.5, free-theorems-0.3.2.0, containers-0.5.0.0, cgi-3001.1.8.4, base-4.6.0.1, HUnit-1.2.5.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring HUnit-1.2.5.2...
Building HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang  ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base  ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text  ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit       ( Test/HUnit.hs, dist/build/Test/HUnit.o )
In-place registering HUnit-1.2.5.2...
Running Haddock for HUnit-1.2.5.2...
Running hscolour for HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
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/HUnit-1.2.5.2/ghc-7.6.3
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
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...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
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/cpphs-1.17.1/ghc-7.6.3
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Registering cpphs-1.17.1...
Installed cpphs-1.17.1
Configuring extensible-exceptions-0.1.1.4...
Building extensible-exceptions-0.1.1.4...
Preprocessing library extensible-exceptions-0.1.1.4...
[1 of 1] Compiling Control.Exception.Extensible ( Control/Exception/Extensible.hs, dist/build/Control/Exception/Extensible.o )
In-place registering extensible-exceptions-0.1.1.4...
Running Haddock for extensible-exceptions-0.1.1.4...
Running hscolour for extensible-exceptions-0.1.1.4...
Preprocessing library extensible-exceptions-0.1.1.4...
Preprocessing library extensible-exceptions-0.1.1.4...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
 100% (  2 /  2) in 'Control.Exception.Extensible'
Documentation created: dist/doc/html/extensible-exceptions/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/extensible-exceptions-0.1.1.4/ghc-7.6.3
Registering extensible-exceptions-0.1.1.4...
Installed extensible-exceptions-0.1.1.4
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...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
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/syb-0.4.1/ghc-7.6.3
Registering syb-0.4.1...
Installed syb-0.4.1
Configuring utf8-string-0.3.7...
Building utf8-string-0.3.7...
Preprocessing library utf8-string-0.3.7...
[1 of 7] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o )
[2 of 7] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o )
[3 of 7] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[4 of 7] Compiling System.IO.UTF8   ( System/IO/UTF8.hs, dist/build/System/IO/UTF8.o )
[5 of 7] Compiling System.Environment.UTF8 ( System/Environment/UTF8.hs, dist/build/System/Environment/UTF8.o )
[6 of 7] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o )
[7 of 7] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o )
In-place registering utf8-string-0.3.7...
Running Haddock for utf8-string-0.3.7...
Running hscolour for utf8-string-0.3.7...
Preprocessing library utf8-string-0.3.7...
Preprocessing library utf8-string-0.3.7...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
 100% (  8 /  8) in 'Codec.Binary.UTF8.String'
  94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
  89% ( 24 / 27) in 'Data.String.UTF8'
  82% ( 14 / 17) in 'System.IO.UTF8'
  14% (  1 /  7) in 'System.Environment.UTF8'
 100% ( 17 / 17) in 'Data.ByteString.UTF8'
 100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
Documentation created: dist/doc/html/utf8-string/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/utf8-string-0.3.7/ghc-7.6.3
Registering utf8-string-0.3.7...
Installed utf8-string-0.3.7
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...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
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/xhtml-3000.2.1/ghc-7.6.3
Registering xhtml-3000.2.1...
Installed xhtml-3000.2.1
[1 of 1] Compiling Main             ( /tmp/haskell-src-exts-1.14.0-13411/haskell-src-exts-1.14.0/Setup.hs, /tmp/haskell-src-exts-1.14.0-13411/haskell-src-exts-1.14.0/dist/setup/Main.o )
Linking /tmp/haskell-src-exts-1.14.0-13411/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/haskell-src-exts-1.14.0/ghc-7.6.3
Registering haskell-src-exts-1.14.0...
Installed haskell-src-exts-1.14.0
Configuring MonadCatchIO-mtl-0.3.0.5...
Building MonadCatchIO-mtl-0.3.0.5...
Preprocessing library MonadCatchIO-mtl-0.3.0.5...
[1 of 1] Compiling Control.Monad.CatchIO ( Control/Monad/CatchIO.hs, dist/build/Control/Monad/CatchIO.o )

Control/Monad/CatchIO.hs:55:15: Warning:
    In the use of `E.block'
    (imported from Control.Exception.Extensible, but defined in GHC.IO):
    Deprecated: "use Control.Exception.mask instead"

Control/Monad/CatchIO.hs:56:15: Warning:
    In the use of `E.unblock'
    (imported from Control.Exception.Extensible, but defined in GHC.IO):
    Deprecated: "use Control.Exception.mask instead"
In-place registering MonadCatchIO-mtl-0.3.0.5...
Running Haddock for MonadCatchIO-mtl-0.3.0.5...
Running hscolour for MonadCatchIO-mtl-0.3.0.5...
Preprocessing library MonadCatchIO-mtl-0.3.0.5...
Preprocessing library MonadCatchIO-mtl-0.3.0.5...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2,
transformers-0.3.0.0

dist/build/tmp-13411/Control/Monad/CatchIO.hs:55:15: Warning:
    In the use of `E.block'
    (imported from Control.Exception.Extensible, but defined in GHC.IO):
    Deprecated: "use Control.Exception.mask instead"

dist/build/tmp-13411/Control/Monad/CatchIO.hs:56:15: Warning:
    In the use of `E.unblock'
    (imported from Control.Exception.Extensible, but defined in GHC.IO):
    Deprecated: "use Control.Exception.mask instead"
Haddock coverage:
  85% ( 11 / 13) in 'Control.Monad.CatchIO'
Warning: Control.Monad.CatchIO: could not find link destinations for:
    Control.Monad.IO.Class.MonadIO Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.RWS.Lazy.RWST
Documentation created: dist/doc/html/MonadCatchIO-mtl/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/MonadCatchIO-mtl-0.3.0.5/ghc-7.6.3
Registering MonadCatchIO-mtl-0.3.0.5...
Installed MonadCatchIO-mtl-0.3.0.5
Configuring haskell-src-1.0.1.5...
Building haskell-src-1.0.1.5...
Preprocessing library haskell-src-1.0.1.5...

dist/build/Language/Haskell/Parser.hs:2:12: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[1 of 6] Compiling Language.Haskell.Syntax ( Language/Haskell/Syntax.hs, dist/build/Language/Haskell/Syntax.o )
[2 of 6] Compiling Language.Haskell.Pretty ( Language/Haskell/Pretty.hs, dist/build/Language/Haskell/Pretty.o )
[3 of 6] Compiling Language.Haskell.ParseMonad ( Language/Haskell/ParseMonad.hs, dist/build/Language/Haskell/ParseMonad.o )
[4 of 6] Compiling Language.Haskell.ParseUtils ( Language/Haskell/ParseUtils.hs, dist/build/Language/Haskell/ParseUtils.o )
[5 of 6] Compiling Language.Haskell.Lexer ( Language/Haskell/Lexer.hs, dist/build/Language/Haskell/Lexer.o )
[6 of 6] Compiling Language.Haskell.Parser ( dist/build/Language/Haskell/Parser.hs, dist/build/Language/Haskell/Parser.o )

templates/GenericTemplate.hs:219:14: Warning:
    Pattern bindings containing unlifted types should use an outermost bang pattern:
      sts1@((HappyCons (st1@(action)) (_)))
        = happyDrop k (HappyCons (st) (sts))
    In an equation for `happyMonadReduce':
        happyMonadReduce k nt fn j tk st sts stk
          = happyThen1
              (fn stk tk)
              (\ r -> happyGoto nt j tk st1 sts1 (r `HappyStk` drop_stk))
          where
              sts1@((HappyCons (st1@(action)) (_)))
                = happyDrop k (HappyCons (st) (sts))
              drop_stk = happyDropStk k stk

templates/GenericTemplate.hs:226:14: Warning:
    Pattern bindings containing unlifted types should use an outermost bang pattern:
      sts1@((HappyCons (st1@(action)) (_)))
        = happyDrop k (HappyCons (st) (sts))
    In an equation for `happyMonad2Reduce':
        happyMonad2Reduce k nt fn j tk st sts stk
          = happyThen1
              (fn stk tk)
              (\ r -> happyNewToken new_state sts1 (r `HappyStk` drop_stk))
          where
              sts1@((HappyCons (st1@(action)) (_)))
                = happyDrop k (HappyCons (st) (sts))
              drop_stk = happyDropStk k stk
              off = indexShortOffAddr happyGotoOffsets st1
              off_i = (off Happy_GHC_Exts.+# nt)
              ....
In-place registering haskell-src-1.0.1.5...
Running Haddock for haskell-src-1.0.1.5...
Running hscolour for haskell-src-1.0.1.5...
Preprocessing library haskell-src-1.0.1.5...
Preprocessing library haskell-src-1.0.1.5...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0

dist/build/Language/Haskell/Parser.hs:2:12: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

dist/build/Language/Haskell/Parser.hs:2:12: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

templates/GenericTemplate.hs:219:14: Warning:
    Pattern bindings containing unlifted types should use an outermost bang pattern:
      sts1@((HappyCons (st1@(action)) (_)))
        = happyDrop k (HappyCons (st) (sts))
    In an equation for `happyMonadReduce':
        happyMonadReduce k nt fn j tk st sts stk
          = happyThen1
              (fn stk tk)
              (\ r -> happyGoto nt j tk st1 sts1 (r `HappyStk` drop_stk))
          where
              sts1@((HappyCons (st1@(action)) (_)))
                = happyDrop k (HappyCons (st) (sts))
              drop_stk = happyDropStk k stk

templates/GenericTemplate.hs:226:14: Warning:
    Pattern bindings containing unlifted types should use an outermost bang pattern:
      sts1@((HappyCons (st1@(action)) (_)))
        = happyDrop k (HappyCons (st) (sts))
    In an equation for `happyMonad2Reduce':
        happyMonad2Reduce k nt fn j tk st sts stk
          = happyThen1
              (fn stk tk)
              (\ r -> happyNewToken new_state sts1 (r `HappyStk` drop_stk))
          where
              sts1@((HappyCons (st1@(action)) (_)))
                = happyDrop k (HappyCons (st) (sts))
              drop_stk = happyDropStk k stk
              off = indexShortOffAddr happyGotoOffsets st1
              off_i = (off Happy_GHC_Exts.+# nt)
              ....
Haddock coverage:
  70% ( 45 / 64) in 'Language.Haskell.Syntax'
  93% ( 14 / 15) in 'Language.Haskell.Pretty'
  37% ( 10 / 27) in 'Language.Haskell.ParseMonad'
   7% (  1 / 15) in 'Language.Haskell.ParseUtils'
  33% (  1 /  3) in 'Language.Haskell.Lexer'
 100% (  6 /  6) in 'Language.Haskell.Parser'
Documentation created: dist/doc/html/haskell-src/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/haskell-src-1.0.1.5/ghc-7.6.3
Registering haskell-src-1.0.1.5...
Installed haskell-src-1.0.1.5
Configuring cgi-3001.1.8.4...
Building cgi-3001.1.8.4...
Preprocessing library cgi-3001.1.8.4...

Network/CGI.hs:1:16: Warning:
    -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances #-} instead

Network/CGI/Monad.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[1 of 8] Compiling Network.CGI.Header ( Network/CGI/Header.hs, dist/build/Network/CGI/Header.o )
[2 of 8] Compiling Network.CGI.Multipart ( Network/CGI/Multipart.hs, dist/build/Network/CGI/Multipart.o )
[3 of 8] Compiling Network.CGI.Protocol ( Network/CGI/Protocol.hs, dist/build/Network/CGI/Protocol.o )

Network/CGI/Protocol.hs:76:28: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"
[4 of 8] Compiling Network.CGI.Monad ( Network/CGI/Monad.hs, dist/build/Network/CGI/Monad.o )

Network/CGI/Monad.hs:30:1: Warning:
    Module `Prelude' does not export `catch'

Network/CGI/Monad.hs:60:28: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"
[5 of 8] Compiling Network.CGI.Accept ( Network/CGI/Accept.hs, dist/build/Network/CGI/Accept.o )
[6 of 8] Compiling Network.CGI.Cookie ( Network/CGI/Cookie.hs, dist/build/Network/CGI/Cookie.o )
[7 of 8] Compiling Network.CGI.Compat ( Network/CGI/Compat.hs, dist/build/Network/CGI/Compat.o )
[8 of 8] Compiling Network.CGI      ( Network/CGI.hs, dist/build/Network/CGI.o )
In-place registering cgi-3001.1.8.4...
Running Haddock for cgi-3001.1.8.4...
Running hscolour for cgi-3001.1.8.4...
Preprocessing library cgi-3001.1.8.4...
Preprocessing library cgi-3001.1.8.4...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2,
network-2.4.1.2, parsec-3.1.3, text-0.11.2.3, transformers-0.3.0.0

Network/CGI.hs:1:16: Warning:
    -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances #-} instead

Network/CGI/Monad.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

Network/CGI.hs:1:16: Warning:
    -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances #-} instead

Network/CGI/Monad.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

Network/CGI/Protocol.hs:76:28: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"

Network/CGI/Monad.hs:30:1: Warning:
    Module `Prelude' does not export `catch'

Network/CGI/Monad.hs:60:28: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"
Haddock coverage:
  46% ( 11 / 24) in 'Network.CGI.Header'
  47% (  7 / 15) in 'Network.CGI.Multipart'
  96% ( 25 / 26) in 'Network.CGI.Protocol'
 100% ( 14 / 14) in 'Network.CGI.Monad'
  22% (  2 /  9) in 'Network.CGI.Accept'
 100% (  7 /  7) in 'Network.CGI.Cookie'
  80% (  4 /  5) in 'Network.CGI.Compat'
Warning: Couldn't find .haddock for export Control.Monad.IO.Class.MonadIO
Warning: Couldn't find .haddock for export Control.Monad.IO.Class.liftIO
  85% ( 81 / 95) in 'Network.CGI'
Warning: Network.CGI.Monad: could not find link destinations for:
    Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.Class.MonadTrans Control.Monad.Error.Class.MonadError
Warning: Network.CGI.Compat: could not find link destinations for:
    Network.PortID
Warning: Network.CGI: could not find link destinations for:
    Control.Monad.Trans.Class.MonadTrans Control.Monad.Error.Class.MonadError Control.Monad.Trans.Maybe.MaybeT Control.Monad.Trans.List.ListT Control.Monad.Trans.Identity.IdentityT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.Writer.Strict.WriterT Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Cont.ContT Text.Parsec.Prim.ParsecT Control.Monad.Trans.RWS.Lazy.RWST Control.Monad.Trans.RWS.Strict.RWST Network.URI.URI
Documentation created: dist/doc/html/cgi/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/cgi-3001.1.8.4/ghc-7.6.3
Registering cgi-3001.1.8.4...
Installed cgi-3001.1.8.4
Downloading free-theorems-0.3.2.0...
Configuring free-theorems-0.3.2.0...
Building free-theorems-0.3.2.0...
Preprocessing library free-theorems-0.3.2.0...

src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[ 1 of 20] Compiling Language.Haskell.FreeTheorems.PrettyBase ( src/Language/Haskell/FreeTheorems/PrettyBase.hs, dist/build/Language/Haskell/FreeTheorems/PrettyBase.o )
[ 2 of 20] Compiling Language.Haskell.FreeTheorems.NameStores ( src/Language/Haskell/FreeTheorems/NameStores.hs, dist/build/Language/Haskell/FreeTheorems/NameStores.o )
[ 3 of 20] Compiling Language.Haskell.FreeTheorems.LanguageSubsets ( src/Language/Haskell/FreeTheorems/LanguageSubsets.hs, dist/build/Language/Haskell/FreeTheorems/LanguageSubsets.o )
[ 4 of 20] Compiling Language.Haskell.FreeTheorems.BasicSyntax ( src/Language/Haskell/FreeTheorems/BasicSyntax.hs, dist/build/Language/Haskell/FreeTheorems/BasicSyntax.o )
[ 5 of 20] Compiling Language.Haskell.FreeTheorems.ValidSyntax ( src/Language/Haskell/FreeTheorems/ValidSyntax.hs, dist/build/Language/Haskell/FreeTheorems/ValidSyntax.o )
[ 6 of 20] Compiling Language.Haskell.FreeTheorems.Theorems ( src/Language/Haskell/FreeTheorems/Theorems.hs, dist/build/Language/Haskell/FreeTheorems/Theorems.o )
[ 7 of 20] Compiling Language.Haskell.FreeTheorems.Theorems.Simplify ( src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs, dist/build/Language/Haskell/FreeTheorems/Theorems/Simplify.o )
[ 8 of 20] Compiling Language.Haskell.FreeTheorems.PrettyTypes ( src/Language/Haskell/FreeTheorems/PrettyTypes.hs, dist/build/Language/Haskell/FreeTheorems/PrettyTypes.o )
[ 9 of 20] Compiling Language.Haskell.FreeTheorems.Syntax ( src/Language/Haskell/FreeTheorems/Syntax.hs, dist/build/Language/Haskell/FreeTheorems/Syntax.o )
[10 of 20] Compiling Language.Haskell.FreeTheorems.PrettyTheorems ( src/Language/Haskell/FreeTheorems/PrettyTheorems.hs, dist/build/Language/Haskell/FreeTheorems/PrettyTheorems.o )
[11 of 20] Compiling Language.Haskell.FreeTheorems.Frontend.Error ( src/Language/Haskell/FreeTheorems/Frontend/Error.hs, dist/build/Language/Haskell/FreeTheorems/Frontend/Error.o )
[12 of 20] Compiling Language.Haskell.FreeTheorems.Parser.Haskell98 ( src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs, dist/build/Language/Haskell/FreeTheorems/Parser/Haskell98.o )
[13 of 20] Compiling Language.Haskell.FreeTheorems.Parser.Hsx ( src/Language/Haskell/FreeTheorems/Parser/Hsx.hs, dist/build/Language/Haskell/FreeTheorems/Parser/Hsx.o )
[14 of 20] Compiling Language.Haskell.FreeTheorems.Frontend.TypeExpressions ( src/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.hs, dist/build/Language/Haskell/FreeTheorems/Frontend/TypeExpressions.o )
[15 of 20] Compiling Language.Haskell.FreeTheorems.Intermediate ( src/Language/Haskell/FreeTheorems/Intermediate.hs, dist/build/Language/Haskell/FreeTheorems/Intermediate.o )
[16 of 20] Compiling Language.Haskell.FreeTheorems.Unfold ( src/Language/Haskell/FreeTheorems/Unfold.hs, dist/build/Language/Haskell/FreeTheorems/Unfold.o )
[17 of 20] Compiling Language.Haskell.FreeTheorems.Frontend.CheckLocal ( src/Language/Haskell/FreeTheorems/Frontend/CheckLocal.hs, dist/build/Language/Haskell/FreeTheorems/Frontend/CheckLocal.o )
[18 of 20] Compiling Language.Haskell.FreeTheorems.Frontend.CheckGlobal ( src/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.hs, dist/build/Language/Haskell/FreeTheorems/Frontend/CheckGlobal.o )
[19 of 20] Compiling Language.Haskell.FreeTheorems.Frontend ( src/Language/Haskell/FreeTheorems/Frontend.hs, dist/build/Language/Haskell/FreeTheorems/Frontend.o )
[20 of 20] Compiling Language.Haskell.FreeTheorems ( src/Language/Haskell/FreeTheorems.hs, dist/build/Language/Haskell/FreeTheorems.o )
In-place registering free-theorems-0.3.2.0...
Running Haddock for free-theorems-0.3.2.0...
Running hscolour for free-theorems-0.3.2.0...
Preprocessing library free-theorems-0.3.2.0...
Preprocessing library free-theorems-0.3.2.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2,
transformers-0.3.0.0

dist/build/tmp-13411/src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs:1:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
Haddock coverage:
  83% (  5 /  6) in 'Language.Haskell.FreeTheorems.PrettyBase'
 100% (  7 /  7) in 'Language.Haskell.FreeTheorems.NameStores'
 100% (  4 /  4) in 'Language.Haskell.FreeTheorems.LanguageSubsets'
 100% ( 17 / 17) in 'Language.Haskell.FreeTheorems.BasicSyntax'
 100% (  4 /  4) in 'Language.Haskell.FreeTheorems.ValidSyntax'
 100% ( 15 / 15) in 'Language.Haskell.FreeTheorems.Theorems'
   0% (  0 /  3) in 'Language.Haskell.FreeTheorems.Theorems.Simplify'
 100% ( 17 / 17) in 'Language.Haskell.FreeTheorems.PrettyTypes'
 100% ( 20 / 20) in 'Language.Haskell.FreeTheorems.Syntax'
 100% (  6 /  6) in 'Language.Haskell.FreeTheorems.PrettyTheorems'
 100% ( 12 / 12) in 'Language.Haskell.FreeTheorems.Frontend.Error'
 100% (  2 /  2) in 'Language.Haskell.FreeTheorems.Parser.Haskell98'
  50% (  1 /  2) in 'Language.Haskell.FreeTheorems.Parser.Hsx'
 100% (  9 /  9) in 'Language.Haskell.FreeTheorems.Frontend.TypeExpressions'
 100% (  7 /  7) in 'Language.Haskell.FreeTheorems.Intermediate'
  83% (  5 /  6) in 'Language.Haskell.FreeTheorems.Unfold'
 100% (  3 /  3) in 'Language.Haskell.FreeTheorems.Frontend.CheckLocal'
 100% (  2 /  2) in 'Language.Haskell.FreeTheorems.Frontend.CheckGlobal'
 100% (  6 /  6) in 'Language.Haskell.FreeTheorems.Frontend'
  95% ( 37 / 39) in 'Language.Haskell.FreeTheorems'
Warning: Language.Haskell.FreeTheorems.Parser.Haskell98: could not find link destinations for:
    Language.Haskell.FreeTheorems.Parser.Haskell98.hsNameToIdentifier Language.Haskell.FreeTheorems.Frontend.Error.ErrorOr
Warning: Language.Haskell.FreeTheorems.Parser.Hsx: could not find link destinations for:
    Language.Haskell.FreeTheorems.Parser.Hsx.hsNameToIdentifier Language.Haskell.FreeTheorems.Frontend.Error.ErrorOr
Warning: Language.Haskell.FreeTheorems: could not find link destinations for:
    Control.Monad.Trans.Writer.Lazy.Writer
Documentation created: dist/doc/html/free-theorems/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/free-theorems-0.3.2.0/ghc-7.6.3
Registering free-theorems-0.3.2.0...
Installed free-theorems-0.3.2.0
Downloading free-theorems-counterexamples-0.3.1.0...
Configuring free-theorems-counterexamples-0.3.1.0...
Building free-theorems-counterexamples-0.3.1.0...
Preprocessing library free-theorems-counterexamples-0.3.1.0...
[1 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.TimeOut ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/TimeOut.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/TimeOut.o )
[2 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Parser.ParseType ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Parser/ParseType.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/Parser/ParseType.o )
[3 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.FTSync ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/FTSync.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/FTSync.o )
[4 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.M ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/M.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/M.o )
[5 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Common.AlgCommon ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Common/AlgCommon.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/Common/AlgCommon.o )
[6 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.ExFindExtended ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/ExFindExtended.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/ExFindExtended.o )
[7 of 7] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.ExFind ( Language/Haskell/FreeTheorems/Variations/CounterExamples/ExFind.hs, dist/build/Language/Haskell/FreeTheorems/Variations/CounterExamples/ExFind.o )
In-place registering free-theorems-counterexamples-0.3.1.0...
Preprocessing executable 'counterexamples.cgi' for
free-theorems-counterexamples-0.3.1.0...
[1 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.M ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/M.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/M.o )
[2 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.FTSync ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/FTSync.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/FTSync.o )
[3 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.TimeOut ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/TimeOut.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/TimeOut.o )
[4 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Parser.ParseType ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Parser/ParseType.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/Parser/ParseType.o )
[5 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Common.AlgCommon ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Common/AlgCommon.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/Common/AlgCommon.o )
[6 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.Internal.ExFindExtended ( Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/ExFindExtended.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/ExFindExtended.o )
[7 of 8] Compiling Language.Haskell.FreeTheorems.Variations.CounterExamples.ExFind ( Language/Haskell/FreeTheorems/Variations/CounterExamples/ExFind.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Language/Haskell/FreeTheorems/Variations/CounterExamples/ExFind.o )
[8 of 8] Compiling Main             ( counterexamples-cgi.hs, dist/build/counterexamples.cgi/counterexamples.cgi-tmp/Main.o )
Linking dist/build/counterexamples.cgi/counterexamples.cgi ...
Running Haddock for free-theorems-counterexamples-0.3.1.0...
Running hscolour for free-theorems-counterexamples-0.3.1.0...
Preprocessing library free-theorems-counterexamples-0.3.1.0...
Preprocessing executable 'counterexamples.cgi' for
free-theorems-counterexamples-0.3.1.0...
Preprocessing library free-theorems-counterexamples-0.3.1.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2,
network-2.4.1.2, parsec-3.1.3, text-0.11.2.3, transformers-0.3.0.0

<no location info>:
    module `free-theorems-counterexamples-0.3.1.0:Main' is defined in multiple files: dist/build/tmp-13411/Language/Haskell/FreeTheorems/Variations/CounterExamples/ExFind.hs
                                                                                      dist/build/tmp-13411/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/ExFindExtended.hs
Installing library in
/srv/hackage/var/build/tmp-install/lib/free-theorems-counterexamples-0.3.1.0/ghc-7.6.3
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Registering free-theorems-counterexamples-0.3.1.0...
Installed free-theorems-counterexamples-0.3.1.0

Test log

No test log was submitted for this report.