Hackage: Build #1 for Agda-2.4.0

Build #1 for Agda-2.4.0

Package	Agda-2.4.0
Install	InstallOk
Docs	Ok
Tests	NotTried
Time submitted	unknown
Compiler	ghc-7.6.3
OS	linux
Arch	x86_64
Dependencies	zlib-0.5.4.1, xhtml-3000.2.1, unordered-containers-0.2.4.0, transformers-0.3.0.0, time-1.4.0.1, text-0.11.2.3, strict-0.3.2, process-1.1.0.2, pretty-1.1.1.0, parallel-3.2.0.4, mtl-2.1.2, haskell-src-exts-1.15.0.1, haskeline-0.7.1.2, hashtables-1.1.2.1, hashable-1.2.2.0, geniplate-0.6.0.4, filepath-1.3.0.1, equivalence-0.2.3, directory-1.2.0.1, deepseq-1.3.0.1, data-hash-0.2.0.0, containers-0.5.0.0, bytestring-0.10.0.2, boxes-0.1.3, binary-0.7.2.1, base-4.6.0.1, array-0.4.0.1, STMonadTrans-0.3.2, QuickCheck-2.7.5
Flags	-epic
Code Coverage

No Code Coverage was submitted for this report.
Build log

[view raw]
Resolving dependencies...
Configuring STMonadTrans-0.3.2...
Building STMonadTrans-0.3.2...
Preprocessing library STMonadTrans-0.3.2...
[1 of 2] Compiling Control.Monad.ST.Trans.Internal ( Control/Monad/ST/Trans/Internal.hs, dist/build/Control/Monad/ST/Trans/Internal.o )
[2 of 2] Compiling Control.Monad.ST.Trans ( Control/Monad/ST/Trans.hs, dist/build/Control/Monad/ST/Trans.o )
In-place registering STMonadTrans-0.3.2...
Running Haddock for STMonadTrans-0.3.2...
Running hscolour for STMonadTrans-0.3.2...
Preprocessing library STMonadTrans-0.3.2...
Preprocessing library STMonadTrans-0.3.2...
Haddock coverage:
  75% (  3 /  4) in 'Control.Monad.ST.Trans.Internal'
  83% ( 20 / 24) in 'Control.Monad.ST.Trans'
Documentation created: dist/doc/html/STMonadTrans/index.html,
dist/doc/html/STMonadTrans/STMonadTrans.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/STMonadTrans-0.3.2
Registering STMonadTrans-0.3.2...
Installed STMonadTrans-0.3.2
Configuring binary-0.7.2.1...
Building binary-0.7.2.1...
Preprocessing library binary-0.7.2.1...
[1 of 9] Compiling Data.Binary.Builder.Base ( src/Data/Binary/Builder/Base.hs, dist/build/Data/Binary/Builder/Base.o )
[2 of 9] Compiling Data.Binary.Builder.Internal ( src/Data/Binary/Builder/Internal.hs, dist/build/Data/Binary/Builder/Internal.o )
[3 of 9] Compiling Data.Binary.Get.Internal ( src/Data/Binary/Get/Internal.hs, dist/build/Data/Binary/Get/Internal.o )
[4 of 9] Compiling Data.Binary.Builder ( src/Data/Binary/Builder.hs, dist/build/Data/Binary/Builder.o )
[5 of 9] Compiling Data.Binary.Get  ( src/Data/Binary/Get.hs, dist/build/Data/Binary/Get.o )
[6 of 9] Compiling Data.Binary.Put  ( src/Data/Binary/Put.hs, dist/build/Data/Binary/Put.o )
[7 of 9] Compiling Data.Binary.Class ( src/Data/Binary/Class.hs, dist/build/Data/Binary/Class.o )
[8 of 9] Compiling Data.Binary.Generic ( src/Data/Binary/Generic.hs, dist/build/Data/Binary/Generic.o )
[9 of 9] Compiling Data.Binary      ( src/Data/Binary.hs, dist/build/Data/Binary.o )
In-place registering binary-0.7.2.1...
Running Haddock for binary-0.7.2.1...
Running hscolour for binary-0.7.2.1...
Preprocessing library binary-0.7.2.1...
Preprocessing library binary-0.7.2.1...
Haddock coverage:
 100% ( 31 / 31) in 'Data.Binary.Builder.Base'
 100% (  4 /  4) in 'Data.Binary.Builder.Internal'
  81% ( 21 / 26) in 'Data.Binary.Get.Internal'
 100% ( 28 / 28) in 'Data.Binary.Builder'
  96% ( 47 / 49) in 'Data.Binary.Get'
  96% ( 26 / 27) in 'Data.Binary.Put'
  80% (  4 /  5) in 'Data.Binary.Class'
 100% (  1 /  1) in 'Data.Binary.Generic'
  91% ( 21 / 23) in 'Data.Binary'
Warning: Data.Binary.Get.Internal: could not find link destinations for:
    Data.Binary.Get.Internal.Success
Warning: Data.Binary.Put: could not find link destinations for:
    Data.Binary.Put.PairS
Warning: Data.Binary: could not find link destinations for:
    Data.Binary.Generic.GSum Data.Binary.Generic.SumSize
Documentation created: dist/doc/html/binary/index.html,
dist/doc/html/binary/binary.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/binary-0.7.2.1
Registering binary-0.7.2.1...
Installed binary-0.7.2.1
Configuring data-hash-0.2.0.0...
Building data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
[1 of 4] Compiling Data.Hash.Base   ( src/Data/Hash/Base.hs, dist/build/Data/Hash/Base.o )
[2 of 4] Compiling Data.Hash.Instances ( src/Data/Hash/Instances.hs, dist/build/Data/Hash/Instances.o )
[3 of 4] Compiling Data.Hash.Rolling ( src/Data/Hash/Rolling.hs, dist/build/Data/Hash/Rolling.o )
[4 of 4] Compiling Data.Hash        ( src/Data/Hash.hs, dist/build/Data/Hash.o )
In-place registering data-hash-0.2.0.0...
Running Haddock for data-hash-0.2.0.0...
Running hscolour for data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
Haddock coverage:
  21% (  3 / 14) in 'Data.Hash.Base'
   0% (  0 /  3) in 'Data.Hash.Instances'
  70% (  7 / 10) in 'Data.Hash.Rolling'
  56% ( 10 / 18) in 'Data.Hash'
Documentation created: dist/doc/html/data-hash/index.html,
dist/doc/html/data-hash/data-hash.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-hash-0.2.0.0
Registering data-hash-0.2.0.0...
Installed data-hash-0.2.0.0
Configuring geniplate-0.6.0.4...
Building geniplate-0.6.0.4...
Preprocessing library geniplate-0.6.0.4...
[1 of 1] Compiling Data.Generics.Geniplate ( Data/Generics/Geniplate.hs, dist/build/Data/Generics/Geniplate.o )
In-place registering geniplate-0.6.0.4...
Running Haddock for geniplate-0.6.0.4...
Running hscolour for geniplate-0.6.0.4...
Preprocessing library geniplate-0.6.0.4...
Preprocessing library geniplate-0.6.0.4...
Haddock coverage:
  68% ( 13 / 19) in 'Data.Generics.Geniplate'
Documentation created: dist/doc/html/geniplate/index.html,
dist/doc/html/geniplate/geniplate.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/geniplate-0.6.0.4
Registering geniplate-0.6.0.4...
Installed geniplate-0.6.0.4
Configuring hashable-1.2.2.0...
Building hashable-1.2.2.0...
Preprocessing library hashable-1.2.2.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.2.0...
Running Haddock for hashable-1.2.2.0...
Running hscolour for hashable-1.2.2.0...
Preprocessing library hashable-1.2.2.0...
Preprocessing library hashable-1.2.2.0...
Haddock coverage:
 100% ( 11 / 11) in 'Data.Hashable.Class'
 100% (  1 /  1) in 'Data.Hashable.Generic'
 100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
    Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hashable-1.2.2.0
Registering hashable-1.2.2.0...
Installed hashable-1.2.2.0
Configuring parallel-3.2.0.4...
Building parallel-3.2.0.4...
Preprocessing library parallel-3.2.0.4...
[1 of 3] Compiling Control.Parallel ( Control/Parallel.hs, dist/build/Control/Parallel.o )
[2 of 3] Compiling Control.Seq      ( Control/Seq.hs, dist/build/Control/Seq.o )
[3 of 3] Compiling Control.Parallel.Strategies ( Control/Parallel/Strategies.hs, dist/build/Control/Parallel/Strategies.o )
In-place registering parallel-3.2.0.4...
Running Haddock for parallel-3.2.0.4...
Running hscolour for parallel-3.2.0.4...
Preprocessing library parallel-3.2.0.4...
Preprocessing library parallel-3.2.0.4...
Haddock coverage:
 100% (  3 /  3) in 'Control.Parallel'
  72% ( 21 / 29) in 'Control.Seq'
  81% ( 68 / 84) in 'Control.Parallel.Strategies'
Documentation created: dist/doc/html/parallel/index.html,
dist/doc/html/parallel/parallel.txt
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 polyparse-1.9...
Building polyparse-1.9...
Preprocessing library polyparse-1.9...
[ 1 of 18] Compiling Text.ParserCombinators.Poly.Result ( src/Text/ParserCombinators/Poly/Result.hs, dist/build/Text/ParserCombinators/Poly/Result.o )
[ 2 of 18] Compiling Text.ParserCombinators.Poly.Base ( src/Text/ParserCombinators/Poly/Base.hs, dist/build/Text/ParserCombinators/Poly/Base.o )
[ 3 of 18] Compiling Text.ParserCombinators.Poly.Parser ( src/Text/ParserCombinators/Poly/Parser.hs, dist/build/Text/ParserCombinators/Poly/Parser.o )
[ 4 of 18] Compiling Text.ParserCombinators.Poly.Lazy ( src/Text/ParserCombinators/Poly/Lazy.hs, dist/build/Text/ParserCombinators/Poly/Lazy.o )
[ 5 of 18] Compiling Text.ParserCombinators.Poly.StateParser ( src/Text/ParserCombinators/Poly/StateParser.hs, dist/build/Text/ParserCombinators/Poly/StateParser.o )
[ 6 of 18] Compiling Text.ParserCombinators.Poly.State ( src/Text/ParserCombinators/Poly/State.hs, dist/build/Text/ParserCombinators/Poly/State.o )
[ 7 of 18] Compiling Text.ParserCombinators.Poly.StateLazy ( src/Text/ParserCombinators/Poly/StateLazy.hs, dist/build/Text/ParserCombinators/Poly/StateLazy.o )
[ 8 of 18] Compiling Text.ParserCombinators.Poly.Lex ( src/Text/ParserCombinators/Poly/Lex.hs, dist/build/Text/ParserCombinators/Poly/Lex.o )
[ 9 of 18] Compiling Text.ParserCombinators.Poly.ByteString ( src/Text/ParserCombinators/Poly/ByteString.hs, dist/build/Text/ParserCombinators/Poly/ByteString.o )
[10 of 18] Compiling Text.ParserCombinators.Poly.ByteStringChar ( src/Text/ParserCombinators/Poly/ByteStringChar.hs, dist/build/Text/ParserCombinators/Poly/ByteStringChar.o )
[11 of 18] Compiling Text.Parse.ByteString ( src/Text/Parse/ByteString.hs, dist/build/Text/Parse/ByteString.o )
[12 of 18] Compiling Text.ParserCombinators.Poly.Text ( src/Text/ParserCombinators/Poly/Text.hs, dist/build/Text/ParserCombinators/Poly/Text.o )
[13 of 18] Compiling Text.ParserCombinators.Poly.StateText ( src/Text/ParserCombinators/Poly/StateText.hs, dist/build/Text/ParserCombinators/Poly/StateText.o )
[14 of 18] Compiling Text.ParserCombinators.Poly.Plain ( src/Text/ParserCombinators/Poly/Plain.hs, dist/build/Text/ParserCombinators/Poly/Plain.o )
[15 of 18] Compiling Text.ParserCombinators.Poly ( src/Text/ParserCombinators/Poly.hs, dist/build/Text/ParserCombinators/Poly.o )
[16 of 18] Compiling Text.Parse       ( src/Text/Parse.hs, dist/build/Text/Parse.o )
[17 of 18] Compiling Text.ParserCombinators.HuttonMeijerWallace ( src/Text/ParserCombinators/HuttonMeijerWallace.hs, dist/build/Text/ParserCombinators/HuttonMeijerWallace.o )
[18 of 18] Compiling Text.ParserCombinators.HuttonMeijer ( src/Text/ParserCombinators/HuttonMeijer.hs, dist/build/Text/ParserCombinators/HuttonMeijer.o )
In-place registering polyparse-1.9...
Running Haddock for polyparse-1.9...
Running hscolour for polyparse-1.9...
Preprocessing library polyparse-1.9...
Preprocessing library polyparse-1.9...
Haddock coverage:
  75% (  3 /  4) in 'Text.ParserCombinators.Poly.Result'
  96% ( 23 / 24) in 'Text.ParserCombinators.Poly.Base'
 100% ( 11 / 11) in 'Text.ParserCombinators.Poly.Parser'
  93% ( 14 / 15) in 'Text.ParserCombinators.Poly.Lazy'
 100% ( 15 / 15) in 'Text.ParserCombinators.Poly.StateParser'
  95% ( 18 / 19) in 'Text.ParserCombinators.Poly.State'
  90% ( 18 / 20) in 'Text.ParserCombinators.Poly.StateLazy'
 100% ( 16 / 16) in 'Text.ParserCombinators.Poly.Lex'
  94% ( 16 / 17) in 'Text.ParserCombinators.Poly.ByteString'
  94% ( 16 / 17) in 'Text.ParserCombinators.Poly.ByteStringChar'
  97% ( 29 / 30) in 'Text.Parse.ByteString'
  94% ( 17 / 18) in 'Text.ParserCombinators.Poly.Text'
  95% ( 21 / 22) in 'Text.ParserCombinators.Poly.StateText'
  93% ( 14 / 15) in 'Text.ParserCombinators.Poly.Plain'
  50% (  1 /  2) in 'Text.ParserCombinators.Poly'
  71% ( 20 / 28) in 'Text.Parse'
  77% ( 24 / 31) in 'Text.ParserCombinators.HuttonMeijerWallace'
   6% (  2 / 36) in 'Text.ParserCombinators.HuttonMeijer'
Warning: Text.ParserCombinators.HuttonMeijerWallace: could not find link destinations for:
    Text.ParserCombinators.HuttonMeijerWallace.ParseResult
Warning: Text.ParserCombinators.HuttonMeijer: could not find link destinations for:
    Text.ParserCombinators.HuttonMeijer.Token
Documentation created: dist/doc/html/polyparse/index.html,
dist/doc/html/polyparse/polyparse.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/polyparse-1.9
Registering polyparse-1.9...
Installed polyparse-1.9
Configuring primitive-0.5.3.0...
Building primitive-0.5.3.0...
Preprocessing library primitive-0.5.3.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 )

Data/Primitive/Array.hs:32:1: Warning:
    The import of `Control.Monad.ST' is redundant
      except perhaps to import instances from `Control.Monad.ST'
    To import instances alone, use: import Control.Monad.ST()
[ 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.3.0...
Running Haddock for primitive-0.5.3.0...
Running hscolour for primitive-0.5.3.0...
Preprocessing library primitive-0.5.3.0...
Preprocessing library primitive-0.5.3.0...

Data/Primitive/Array.hs:32:1: Warning:
    The import of `Control.Monad.ST' is redundant
      except perhaps to import instances from `Control.Monad.ST'
    To import instances alone, use: import Control.Monad.ST()
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% ( 15 / 15) 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% (  9 /  9) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/primitive-0.5.3.0
Registering primitive-0.5.3.0...
Installed primitive-0.5.3.0
Configuring split-0.2.2...
Building split-0.2.2...
Preprocessing library split-0.2.2...
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o )
[2 of 2] Compiling Data.List.Split  ( src/Data/List/Split.hs, dist/build/Data/List/Split.o )
In-place registering split-0.2.2...
Running Haddock for split-0.2.2...
Running hscolour for split-0.2.2...
Preprocessing library split-0.2.2...
Preprocessing library split-0.2.2...
Haddock coverage:
  91% ( 61 / 67) in 'Data.List.Split.Internals'
  90% ( 44 / 49) in 'Data.List.Split'
Documentation created: dist/doc/html/split/index.html,
dist/doc/html/split/split.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/split-0.2.2
Registering split-0.2.2...
Installed split-0.2.2
Configuring strict-0.3.2...
Building strict-0.3.2...
Preprocessing library strict-0.3.2...

Data/Strict/Tuple.hs:17:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[1 of 5] Compiling System.IO.Strict ( System/IO/Strict.hs, dist/build/System/IO/Strict.o )
[2 of 5] Compiling Data.Strict.Either ( Data/Strict/Either.hs, dist/build/Data/Strict/Either.o )
[3 of 5] Compiling Data.Strict.Maybe ( Data/Strict/Maybe.hs, dist/build/Data/Strict/Maybe.o )
[4 of 5] Compiling Data.Strict.Tuple ( Data/Strict/Tuple.hs, dist/build/Data/Strict/Tuple.o )
[5 of 5] Compiling Data.Strict      ( Data/Strict.hs, dist/build/Data/Strict.o )
In-place registering strict-0.3.2...
Running Haddock for strict-0.3.2...
Running hscolour for strict-0.3.2...
Preprocessing library strict-0.3.2...
Preprocessing library strict-0.3.2...

Data/Strict/Tuple.hs:17:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

Data/Strict/Tuple.hs:17:16: Warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
Haddock coverage:
 100% (  7 /  7) in 'System.IO.Strict'
 100% (  7 /  7) in 'Data.Strict.Either'
 100% (  7 /  7) in 'Data.Strict.Maybe'
  86% (  6 /  7) in 'Data.Strict.Tuple'
 100% (  4 /  4) in 'Data.Strict'
Documentation created: dist/doc/html/strict/index.html,
dist/doc/html/strict/strict.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/strict-0.3.2
Registering strict-0.3.2...
Installed strict-0.3.2
Configuring terminfo-0.4.0.0...
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.4.0.0...
Preprocessing library terminfo-0.4.0.0...
[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.4.0.0...
Running Haddock for terminfo-0.4.0.0...
Running hscolour for terminfo-0.4.0.0...
Preprocessing library terminfo-0.4.0.0...
Preprocessing library terminfo-0.4.0.0...
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,
dist/doc/html/terminfo/terminfo.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/terminfo-0.4.0.0
Registering terminfo-0.4.0.0...
Installed terminfo-0.4.0.0
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,
dist/doc/html/xhtml/xhtml.txt
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
Downloading equivalence-0.2.3...
Configuring equivalence-0.2.3...
Building equivalence-0.2.3...
Preprocessing library equivalence-0.2.3...
[1 of 2] Compiling Data.Equivalence.STT ( src/Data/Equivalence/STT.hs, dist/build/Data/Equivalence/STT.o )
[2 of 2] Compiling Data.Equivalence.Monad ( src/Data/Equivalence/Monad.hs, dist/build/Data/Equivalence/Monad.o )
In-place registering equivalence-0.2.3...
Running Haddock for equivalence-0.2.3...
Running hscolour for equivalence-0.2.3...
Preprocessing library equivalence-0.2.3...
Preprocessing library equivalence-0.2.3...
Haddock coverage:
  94% ( 17 / 18) in 'Data.Equivalence.STT'
 100% ( 10 / 10) in 'Data.Equivalence.Monad'
Warning: Data.Equivalence.STT: could not find link destinations for:
    Data.Equivalence.STT.EntryData Data.Equivalence.STT.Entry
Documentation created: dist/doc/html/equivalence/index.html,
dist/doc/html/equivalence/equivalence.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/equivalence-0.2.3
Registering equivalence-0.2.3...
Installed equivalence-0.2.3
Configuring unordered-containers-0.2.4.0...
Building unordered-containers-0.2.4.0...
Preprocessing library unordered-containers-0.2.4.0...
[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.4.0...
Running Haddock for unordered-containers-0.2.4.0...
Running hscolour for unordered-containers-0.2.4.0...
Preprocessing library unordered-containers-0.2.4.0...
Preprocessing library unordered-containers-0.2.4.0...
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'
  87% ( 54 / 62) in 'Data.HashMap.Base'
 100% ( 46 / 46) in 'Data.HashMap.Strict'
 100% ( 46 / 46) in 'Data.HashMap.Lazy'
 100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/unordered-containers-0.2.4.0
Registering unordered-containers-0.2.4.0...
Installed unordered-containers-0.2.4.0
Configuring cpphs-1.18.4...
Building cpphs-1.18.4...
Preprocessing library cpphs-1.18.4...
[ 1 of 11] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/Language/Preprocessor/Cpphs/HashDefine.o )
[ 2 of 11] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/Language/Preprocessor/Cpphs/SymTab.o )
[ 3 of 11] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/Language/Preprocessor/Unlit.o )
[ 4 of 11] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/Language/Preprocessor/Cpphs/Options.o )
[ 5 of 11] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/Language/Preprocessor/Cpphs/Position.o )
[ 6 of 11] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 7 of 11] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/Language/Preprocessor/Cpphs/Tokenise.o )
[ 8 of 11] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/Language/Preprocessor/Cpphs/MacroPass.o )
[ 9 of 11] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/Language/Preprocessor/Cpphs/CppIfdef.o )
[10 of 11] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/Language/Preprocessor/Cpphs/RunCpphs.o )
[11 of 11] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/Language/Preprocessor/Cpphs.o )
In-place registering cpphs-1.18.4...
Preprocessing executable 'cpphs' for cpphs-1.18.4...
[ 1 of 12] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/SymTab.o )
[ 2 of 12] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Position.o )
[ 3 of 12] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 4 of 12] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Options.o )
[ 5 of 12] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/HashDefine.o )
[ 6 of 12] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Tokenise.o )
[ 7 of 12] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/MacroPass.o )
[ 8 of 12] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/CppIfdef.o )
[ 9 of 12] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Unlit.o )
[10 of 12] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/RunCpphs.o )
[11 of 12] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs.o )
[12 of 12] Compiling Main             ( cpphs.hs, dist/build/cpphs/cpphs-tmp/Main.o )
Linking dist/build/cpphs/cpphs ...
Running Haddock for cpphs-1.18.4...
Running hscolour for cpphs-1.18.4...
Preprocessing library cpphs-1.18.4...
Preprocessing executable 'cpphs' for cpphs-1.18.4...
Preprocessing library cpphs-1.18.4...
Haddock coverage:
  83% (  5 /  6) in 'Language.Preprocessor.Cpphs.HashDefine'
  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,
dist/doc/html/cpphs/cpphs.txt
Preprocessing executable 'cpphs' for cpphs-1.18.4...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cpphs-1.18.4
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering cpphs-1.18.4...
Installed cpphs-1.18.4
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
In-place registering tf-random-0.5...
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...
cabal: dist/doc/html/tf-random/haddock-prolog5867.txt: invalid argument
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tf-random-0.5
Registering tf-random-0.5...
Installed tf-random-0.5
Configuring vector-0.10.10.0...
Building vector-0.10.10.0...
Preprocessing library vector-0.10.10.0...
[ 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.3.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.10.0...
Running Haddock for vector-0.10.10.0...
Running hscolour for vector-0.10.10.0...
Preprocessing library vector-0.10.10.0...
Preprocessing library vector-0.10.10.0...

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,
dist/doc/html/vector/vector.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/vector-0.10.10.0
Registering vector-0.10.10.0...
Installed vector-0.10.10.0
Configuring boxes-0.1.3...
Building boxes-0.1.3...
Preprocessing library boxes-0.1.3...
[1 of 1] Compiling Text.PrettyPrint.Boxes ( Text/PrettyPrint/Boxes.hs, dist/build/Text/PrettyPrint/Boxes.o )
In-place registering boxes-0.1.3...
Running Haddock for boxes-0.1.3...
Running hscolour for boxes-0.1.3...
Preprocessing library boxes-0.1.3...
Preprocessing library boxes-0.1.3...
Haddock coverage:
  95% ( 39 / 41) in 'Text.PrettyPrint.Boxes'
Warning: Text.PrettyPrint.Boxes: could not find link destinations for:
    Text.PrettyPrint.Boxes.takeP
Documentation created: dist/doc/html/boxes/index.html,
dist/doc/html/boxes/boxes.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/boxes-0.1.3
Registering boxes-0.1.3...
Installed boxes-0.1.3
[1 of 1] Compiling Main             ( /tmp/haskeline-0.7.1.2-5867/haskeline-0.7.1.2/Setup.hs, /tmp/haskeline-0.7.1.2-5867/haskeline-0.7.1.2/dist/setup/Main.o )
Linking /tmp/haskeline-0.7.1.2-5867/haskeline-0.7.1.2/dist/setup/setup ...
Configuring haskeline-0.7.1.2...
Building haskeline-0.7.1.2...
Preprocessing library haskeline-0.7.1.2...
[ 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.2...
Running Haddock for haskeline-0.7.1.2...
Running hscolour for haskeline-0.7.1.2...
Preprocessing library haskeline-0.7.1.2...
Preprocessing library haskeline-0.7.1.2...

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'
  32% (  6 / 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'
Documentation created: dist/doc/html/haskeline/index.html,
dist/doc/html/haskeline/haskeline.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskeline-0.7.1.2
Registering haskeline-0.7.1.2...
Installed haskeline-0.7.1.2
[1 of 1] Compiling Main             ( /tmp/haskell-src-exts-1.15.0.1-5867/haskell-src-exts-1.15.0.1/Setup.hs, /tmp/haskell-src-exts-1.15.0.1-5867/haskell-src-exts-1.15.0.1/dist/setup/Main.o )
Linking /tmp/haskell-src-exts-1.15.0.1-5867/haskell-src-exts-1.15.0.1/dist/setup/setup ...
Configuring haskell-src-exts-1.15.0.1...
Building haskell-src-exts-1.15.0.1...
Preprocessing library haskell-src-exts-1.15.0.1...
[ 1 of 22] Compiling Language.Haskell.Exts.Annotated.Syntax ( src/Language/Haskell/Exts/Annotated/Syntax.hs, dist/build/Language/Haskell/Exts/Annotated/Syntax.o )
[ 2 of 22] Compiling Language.Haskell.Exts.ParseSyntax ( src/Language/Haskell/Exts/ParseSyntax.hs, dist/build/Language/Haskell/Exts/ParseSyntax.o )
[ 3 of 22] Compiling Language.Haskell.Exts.Annotated.Build ( src/Language/Haskell/Exts/Annotated/Build.hs, dist/build/Language/Haskell/Exts/Annotated/Build.o )
[ 4 of 22] Compiling Language.Haskell.Exts.SrcLoc ( src/Language/Haskell/Exts/SrcLoc.hs, dist/build/Language/Haskell/Exts/SrcLoc.o )
[ 5 of 22] Compiling Language.Haskell.Exts.Comments ( src/Language/Haskell/Exts/Comments.hs, dist/build/Language/Haskell/Exts/Comments.o )
[ 6 of 22] Compiling Language.Haskell.Exts.Annotated.ExactPrint ( src/Language/Haskell/Exts/Annotated/ExactPrint.hs, dist/build/Language/Haskell/Exts/Annotated/ExactPrint.o )
[ 7 of 22] Compiling Language.Haskell.Exts.Extension ( src/Language/Haskell/Exts/Extension.hs, dist/build/Language/Haskell/Exts/Extension.o )
[ 8 of 22] Compiling Language.Haskell.Exts.ExtScheme ( src/Language/Haskell/Exts/ExtScheme.hs, dist/build/Language/Haskell/Exts/ExtScheme.o )
[ 9 of 22] Compiling Language.Haskell.Exts.Syntax ( src/Language/Haskell/Exts/Syntax.hs, dist/build/Language/Haskell/Exts/Syntax.o )
[10 of 22] Compiling Language.Haskell.Exts.Build ( src/Language/Haskell/Exts/Build.hs, dist/build/Language/Haskell/Exts/Build.o )
[11 of 22] Compiling Language.Haskell.Exts.Fixity ( src/Language/Haskell/Exts/Fixity.hs, dist/build/Language/Haskell/Exts/Fixity.o )
[12 of 22] Compiling Language.Haskell.Exts.ParseMonad ( src/Language/Haskell/Exts/ParseMonad.hs, dist/build/Language/Haskell/Exts/ParseMonad.o )
[13 of 22] Compiling Language.Haskell.Exts.InternalLexer ( src/Language/Haskell/Exts/InternalLexer.hs, dist/build/Language/Haskell/Exts/InternalLexer.o )
[14 of 22] Compiling Language.Haskell.Exts.Lexer ( src/Language/Haskell/Exts/Lexer.hs, dist/build/Language/Haskell/Exts/Lexer.o )
[15 of 22] Compiling Language.Haskell.Exts.Annotated.Simplify ( src/Language/Haskell/Exts/Annotated/Simplify.hs, dist/build/Language/Haskell/Exts/Annotated/Simplify.o )
[16 of 22] Compiling Language.Haskell.Exts.Pretty ( src/Language/Haskell/Exts/Pretty.hs, dist/build/Language/Haskell/Exts/Pretty.o )
[17 of 22] Compiling Language.Haskell.Exts.ParseUtils ( src/Language/Haskell/Exts/ParseUtils.hs, dist/build/Language/Haskell/Exts/ParseUtils.o )
[18 of 22] Compiling Language.Haskell.Exts.Annotated.Fixity ( src/Language/Haskell/Exts/Annotated/Fixity.hs, dist/build/Language/Haskell/Exts/Annotated/Fixity.o )
[19 of 22] Compiling Language.Haskell.Exts.InternalParser ( dist/build/Language/Haskell/Exts/InternalParser.hs, dist/build/Language/Haskell/Exts/InternalParser.o )
[20 of 22] Compiling Language.Haskell.Exts.Parser ( src/Language/Haskell/Exts/Parser.hs, dist/build/Language/Haskell/Exts/Parser.o )
[21 of 22] Compiling Language.Haskell.Exts.Annotated ( src/Language/Haskell/Exts/Annotated.hs, dist/build/Language/Haskell/Exts/Annotated.o )
[22 of 22] Compiling Language.Haskell.Exts ( src/Language/Haskell/Exts.hs, dist/build/Language/Haskell/Exts.o )
In-place registering haskell-src-exts-1.15.0.1...
Running Haddock for haskell-src-exts-1.15.0.1...
Running hscolour for haskell-src-exts-1.15.0.1...
Preprocessing library haskell-src-exts-1.15.0.1...
Preprocessing library haskell-src-exts-1.15.0.1...
Haddock coverage:
  70% ( 93 /132) 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% ( 84 /124) 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'
   4% (  3 / 67) in 'Language.Haskell.Exts.Annotated.Simplify'
  93% ( 14 / 15) in 'Language.Haskell.Exts.Pretty'
   2% (  1 / 46) 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,
dist/doc/html/haskell-src-exts/haskell-src-exts.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskell-src-exts-1.15.0.1
Registering haskell-src-exts-1.15.0.1...
Installed haskell-src-exts-1.15.0.1
Configuring QuickCheck-2.7.5...
Building QuickCheck-2.7.5...
Preprocessing library QuickCheck-2.7.5...
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck  ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.7.5...
Running Haddock for QuickCheck-2.7.5...
Running hscolour for QuickCheck-2.7.5...
Preprocessing library QuickCheck-2.7.5...
Preprocessing library QuickCheck-2.7.5...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: tf-random-0.5
Haddock coverage:
  12% (  2 / 17) in 'Test.QuickCheck.Random'
  25% (  2 /  8) in 'Test.QuickCheck.Exception'
   6% (  1 / 18) in 'Test.QuickCheck.Text'
 100% (  2 /  2) in 'Test.QuickCheck.State'
 100% ( 22 / 22) in 'Test.QuickCheck.Gen'
  80% (  4 /  5) in 'Test.QuickCheck.Gen.Unsafe'
 100% ( 30 / 30) in 'Test.QuickCheck.Arbitrary'
  93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
  14% (  1 /  7) in 'Test.QuickCheck.Poly'
  14% (  1 /  7) in 'Test.QuickCheck.Function'
  65% ( 40 / 62) in 'Test.QuickCheck.Property'
  52% ( 14 / 27) in 'Test.QuickCheck.Test'
 100% (  9 /  9) in 'Test.QuickCheck.All'
   7% (  1 / 15) in 'Test.QuickCheck.Monadic'
  98% (121 /123) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Random: could not find link destinations for:
    System.Random.TF.Gen.TFGen
Warning: Test.QuickCheck.Text: could not find link destinations for:
    Test.QuickCheck.Text.Output
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
    Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms
Warning: Test.QuickCheck: could not find link destinations for:
    Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.7.5
Registering QuickCheck-2.7.5...
Installed QuickCheck-2.7.5
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...
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,
dist/doc/html/hashtables/hashtables.txt
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
Downloading Agda-2.4.0...
[1 of 1] Compiling Main             ( /tmp/Agda-2.4.0-5867/Agda-2.4.0/Setup.hs, /tmp/Agda-2.4.0-5867/Agda-2.4.0/dist/setup/Main.o )
Linking /tmp/Agda-2.4.0-5867/Agda-2.4.0/dist/setup/setup ...
Configuring Agda-2.4.0...
Building Agda-2.4.0...
Preprocessing library Agda-2.4.0...
[  1 of 273] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o )
[  2 of 273] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o )
[  3 of 273] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.o )
[  4 of 273] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.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.2.0 ... linking ... done.
Loading package unordered-containers-0.2.4.0 ... linking ... done.
Loading package strict-0.3.2 ... 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 polyparse-1.9 ... linking ... done.
Loading package cpphs-1.18.4 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package haskell-src-exts-1.15.0.1 ... linking ... done.
Loading package terminfo-0.4.0.0 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package haskeline-0.7.1.2 ... linking ... done.
Loading package primitive-0.5.3.0 ... linking ... done.
Loading package vector-0.10.10.0 ... 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.4 ... linking ... done.
Loading package STMonadTrans-0.3.2 ... linking ... done.
Loading package equivalence-0.2.3 ... linking ... done.
Loading package data-hash-0.2.0.0 ... linking ... done.
Loading package split-0.2.2 ... linking ... done.
Loading package boxes-0.1.3 ... linking ... done.
Loading package binary-0.7.2.1 ... linking ... done.
Loading package random-1.0.1.1 ... linking ... done.
Loading package tf-random-0.5 ... linking ... done.
Loading package QuickCheck-2.7.5 ... linking ... done.
[  5 of 273] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o )
[  6 of 273] Compiling Agda.Utils.Pointed ( src/full/Agda/Utils/Pointed.hs, dist/build/Agda/Utils/Pointed.o )
[  7 of 273] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o )
[  8 of 273] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o )
[  9 of 273] Compiling Agda.Utils.Unicode ( src/full/Agda/Utils/Unicode.hs, dist/build/Agda/Utils/Unicode.o )
[ 10 of 273] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o )
[ 11 of 273] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o )
[ 12 of 273] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o )
[ 13 of 273] Compiling Agda.Utils.Fresh ( src/full/Agda/Utils/Fresh.hs, dist/build/Agda/Utils/Fresh.o )
[ 14 of 273] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o )
[ 15 of 273] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o )
[ 16 of 273] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o )
[ 17 of 273] Compiling Agda.Packaging.Types ( src/full/Agda/Packaging/Types.hs, dist/build/Agda/Packaging/Types.o )
[ 18 of 273] Compiling Agda.Packaging.Monad ( src/full/Agda/Packaging/Monad.hs, dist/build/Agda/Packaging/Monad.o )
[ 19 of 273] Compiling Agda.Packaging.Database ( src/full/Agda/Packaging/Database.hs, dist/build/Agda/Packaging/Database.o )
[ 20 of 273] Compiling Agda.Packaging.Config ( src/full/Agda/Packaging/Config.hs, dist/build/Agda/Packaging/Config.o )
[ 21 of 273] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist/build/Agda/Utils/TestHelpers.o )
[ 22 of 273] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist/build/Agda/Utils/QuickCheck.o )
[ 23 of 273] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o )
[ 24 of 273] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o )
[ 25 of 273] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist/build/Agda/Utils/ReadP.o )
[ 26 of 273] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o )
[ 27 of 273] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o )
[ 28 of 273] Compiling Agda.Utils.Graph.AdjacencyMap ( src/full/Agda/Utils/Graph/AdjacencyMap.hs, dist/build/Agda/Utils/Graph/AdjacencyMap.o )
[ 29 of 273] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o )
[ 30 of 273] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o )
[ 31 of 273] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot )
[ 32 of 273] Compiling Paths_Agda       ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o )
[ 33 of 273] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o )
[ 34 of 273] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.o )
[ 35 of 273] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist/build/Agda/Interaction/Response.o-boot )
[ 36 of 273] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o )
[ 37 of 273] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o )
[ 38 of 273] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o )
[ 39 of 273] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o )
[ 40 of 273] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o )
[ 41 of 273] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o )
[ 42 of 273] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o )
[ 43 of 273] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o )
[ 44 of 273] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o )
[ 45 of 273] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o )
[ 46 of 273] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
[ 47 of 273] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o )
[ 48 of 273] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.o )
[ 49 of 273] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.o )
[ 50 of 273] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.o )
[ 51 of 273] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.o )
[ 52 of 273] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist/build/Agda/Compiler/JS/Parser.o )
[ 53 of 273] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.o )
[ 54 of 273] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.o )
[ 55 of 273] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o )
[ 56 of 273] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.o )
[ 57 of 273] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.o )
[ 58 of 273] Compiling Agda.Interaction.FindFile[boot] ( src/full/Agda/Interaction/FindFile.hs-boot, dist/build/Agda/Interaction/FindFile.o-boot )
[ 59 of 273] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist/build/Agda/Compiler/JS/Case.o )
[ 60 of 273] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o )
[ 61 of 273] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.o )
[ 62 of 273] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.o )
[ 63 of 273] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.o )
[ 64 of 273] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.o )
[ 65 of 273] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.o )
[ 66 of 273] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o )
[ 67 of 273] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o )
[ 68 of 273] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.o )
[ 69 of 273] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o )
[ 70 of 273] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist/build/Agda/TypeChecking/SizedTypes/Tests.o )
[ 71 of 273] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o )
[ 72 of 273] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o )
[ 73 of 273] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o )
[ 74 of 273] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o )
[ 75 of 273] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o )
[ 76 of 273] Compiling Agda.Version     ( src/full/Agda/Version.hs, dist/build/Agda/Version.o )
[ 77 of 273] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o )
[ 78 of 273] Compiling Agda.TypeChecking.Monad.Base.Benchmark ( src/full/Agda/TypeChecking/Monad/Base/Benchmark.hs, dist/build/Agda/TypeChecking/Monad/Base/Benchmark.o )
[ 79 of 273] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o )
[ 80 of 273] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.o )
[ 81 of 273] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.o-boot )
[ 82 of 273] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.o )
[ 83 of 273] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.o-boot )
[ 84 of 273] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.o )
[ 85 of 273] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.o )
[ 86 of 273] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.o )
[ 87 of 273] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.o )
[ 88 of 273] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.o )
[ 89 of 273] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o )
[ 90 of 273] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.o )
[ 91 of 273] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.o )
[ 92 of 273] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o )
[ 93 of 273] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o )
[ 94 of 273] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.o )
[ 95 of 273] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.o )
[ 96 of 273] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.o )
[ 97 of 273] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.o )
[ 98 of 273] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.o )
[ 99 of 273] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.o )
[100 of 273] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist/build/Agda/Utils/Geniplate.o )
[101 of 273] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.o )
[102 of 273] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.o )
[103 of 273] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o )
[104 of 273] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.o )
[105 of 273] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist/build/Agda/Compiler/Epic/Interface.o )
[106 of 273] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist/build/Agda/Compiler/Epic/AuxAST.o )
[107 of 273] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.o )
[108 of 273] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.o )
[109 of 273] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.o )
[110 of 273] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.o )
[111 of 273] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.o )
[112 of 273] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.o )
[113 of 273] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.o )
[114 of 273] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.o )
[115 of 273] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.o )
[116 of 273] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.o )
[117 of 273] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist/build/Agda/Interaction/Exceptions.o )
[118 of 273] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.o )
[119 of 273] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist/build/Agda/Interaction/Imports.o-boot )
[120 of 273] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist/build/Agda/TypeChecking/Errors.o-boot )
[121 of 273] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist/build/Agda/TypeChecking/MetaVars.o-boot )
[122 of 273] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist/build/Agda/TypeChecking/Substitute.o )
[123 of 273] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist/build/Agda/TypeChecking/Abstract.o )
[124 of 273] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist/build/Agda/TypeChecking/Test/Generators.o )
[125 of 273] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist/build/Agda/Interaction/Highlighting/Generate.o-boot )
[126 of 273] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist/build/Agda/TypeChecking/Monad/Builtin.o )
[127 of 273] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist/build/Agda/TypeChecking/Monad/Options.o-boot )
[128 of 273] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist/build/Agda/Interaction/FindFile.o )
[129 of 273] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.o )
[130 of 273] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist/build/Agda/TypeChecking/Constraints.o-boot )
[131 of 273] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist/build/Agda/TypeChecking/Monad/State.o )
[132 of 273] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist/build/Agda/Interaction/Options/Lenses.o )
[133 of 273] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist/build/Agda/TypeChecking/Monad/Options.o )
[134 of 273] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist/build/Agda/TypeChecking/Monad/Benchmark.o )
[135 of 273] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist/build/Agda/Syntax/Translation/AbstractToConcrete.o )
[136 of 273] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist/build/Agda/Syntax/Scope/Monad.o )
[137 of 273] Compiling Agda.TypeChecking.Monad.Sharing ( src/full/Agda/TypeChecking/Monad/Sharing.hs, dist/build/Agda/TypeChecking/Monad/Sharing.o )
[138 of 273] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist/build/Agda/Syntax/Abstract/Copatterns.o )
[139 of 273] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.o )
[140 of 273] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist/build/Agda/Syntax/Concrete/Operators.o )
[141 of 273] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist/build/Agda/TypeChecking/Monad/Trace.o )
[142 of 273] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist/build/Agda/TypeChecking/Monad/Env.o )
[143 of 273] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist/build/Agda/TypeChecking/Rules/Term.o-boot )
[144 of 273] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist/build/Agda/TypeChecking/ProjectionLike.o-boot )
[145 of 273] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.o-boot )
[146 of 273] Compiling Agda.TypeChecking.InstanceArguments[boot] ( src/full/Agda/TypeChecking/InstanceArguments.hs-boot, dist/build/Agda/TypeChecking/InstanceArguments.o-boot )
[147 of 273] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist/build/Agda/TypeChecking/LevelConstraints.o )
[148 of 273] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist/build/Agda/TypeChecking/Polarity.o-boot )
[149 of 273] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist/build/Agda/TypeChecking/Monad/Closure.o )
[150 of 273] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist/build/Agda/TypeChecking/Monad/Exception.o )
[151 of 273] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist/build/Agda/TypeChecking/Monad/Context.o-boot )
[152 of 273] Compiling Agda.TypeChecking.Monad.Base.KillRange ( src/full/Agda/TypeChecking/Monad/Base/KillRange.hs, dist/build/Agda/TypeChecking/Monad/Base/KillRange.o )
[153 of 273] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist/build/Agda/TypeChecking/Monad/Constraints.o )
[154 of 273] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist/build/Agda/TypeChecking/Monad/Open.o )
[155 of 273] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist/build/Agda/TypeChecking/Monad/Context.o )
[156 of 273] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist/build/Agda/TypeChecking/Monad/MetaVars.o )
[157 of 273] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist/build/Agda/Syntax/Translation/ConcreteToAbstract.o )
[158 of 273] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist/build/Agda/TypeChecking/Monad/Imports.o )
[159 of 273] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist/build/Agda/TypeChecking/Monad/Mutual.o )
[160 of 273] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.o )
[161 of 273] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist/build/Agda/TypeChecking/Datatypes.o-boot )
[162 of 273] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist/build/Agda/TypeChecking/Monad/SizedTypes.o )
[163 of 273] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist/build/Agda/TypeChecking/Monad/Statistics.o )
[164 of 273] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist/build/Agda/TypeChecking/Monad.o )
[165 of 273] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist/build/Agda/Interaction/Monad.o )
[166 of 273] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist/build/Agda/Interaction/Highlighting/Dot.o )
[167 of 273] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist/build/Agda/Interaction/Highlighting/HTML.o )
[168 of 273] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist/build/Agda/Compiler/MAlonzo/Compiler.o-boot )
[169 of 273] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist/build/Agda/TypeChecking/Conversion.o-boot )
[170 of 273] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist/build/Agda/TypeChecking/Records.o-boot )
[171 of 273] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist/build/Agda/TypeChecking/Irrelevance.o )
[172 of 273] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist/build/Agda/TypeChecking/Pretty.o-boot )
[173 of 273] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist/build/Agda/Interaction/Highlighting/Emacs.o )
[174 of 273] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist/build/Agda/Syntax/Abstract/Pretty.o )
[175 of 273] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist/build/Agda/Compiler/CallCompiler.o )
[176 of 273] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist/build/Agda/Interaction/Highlighting/LaTeX.o )
[177 of 273] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist/build/Agda/Compiler/MAlonzo/Misc.o )
[178 of 273] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist/build/Agda/Compiler/MAlonzo/Encode.o )
[179 of 273] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist/build/Agda/Compiler/MAlonzo/Pretty.o )
[180 of 273] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist/build/Agda/Interaction/Highlighting/Vim.o )
[181 of 273] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist/build/Agda/TypeChecking/DropArgs.o )
[182 of 273] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist/build/Agda/Termination/RecCheck.o )
[183 of 273] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist/build/Agda/TypeChecking/Rules/Decl.o-boot )
[184 of 273] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist/build/Agda/TypeChecking/Reduce/Monad.o )
[185 of 273] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist/build/Agda/TypeChecking/EtaContract.o )
[186 of 273] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.o-boot )
[187 of 273] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist/build/Agda/TypeChecking/Empty.o-boot )
[188 of 273] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist/build/Agda/TypeChecking/Forcing.o )
[189 of 273] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist/build/Agda/TypeChecking/MetaVars/Mention.o )
[190 of 273] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist/build/Agda/TypeChecking/Patterns/Abstract.o )
[191 of 273] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist/build/Agda/TypeChecking/Patterns/Match.o-boot )
[192 of 273] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist/build/Agda/TypeChecking/Reduce.o )
[193 of 273] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist/build/Agda/TypeChecking/Telescope.o )
[194 of 273] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist/build/Agda/TypeChecking/Datatypes.o )
[195 of 273] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist/build/Agda/TypeChecking/Tests.o )
[196 of 273] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist/build/Agda/Compiler/Epic/CompileState.o )
[197 of 273] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist/build/Agda/Compiler/Epic/CaseOpts.o )
[198 of 273] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist/build/Agda/Compiler/Epic/ForceConstrs.o )
[199 of 273] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist/build/Agda/Compiler/Epic/Epic.o )
[200 of 273] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist/build/Agda/Compiler/Epic/NatDetection.o )
[201 of 273] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist/build/Agda/Compiler/Epic/Primitive.o )
[202 of 273] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist/build/Agda/TypeChecking/Level.o )
[203 of 273] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist/build/Agda/TypeChecking/DisplayForm.o )
[204 of 273] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.o )
[205 of 273] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist/build/Agda/TypeChecking/Pretty.o )
[206 of 273] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist/build/Agda/TypeChecking/Errors.o )
[207 of 273] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist/build/Agda/TypeChecking/Records.o )
[208 of 273] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist/build/Agda/Compiler/HaskellTypes.o )
[209 of 273] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist/build/Agda/TypeChecking/Serialise.o )
[210 of 273] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist/build/Agda/Compiler/Epic/Erasure.o )
[211 of 273] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist/build/Agda/Compiler/Epic/Injection.o )
[212 of 273] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist/build/Agda/Compiler/Epic/Smashing.o )
[213 of 273] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist/build/Agda/TypeChecking/Rules/LHS/Problem.o )
[214 of 273] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist/build/Agda/Termination/Monad.o )
[215 of 273] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist/build/Agda/Compiler/Epic/Static.o )
[216 of 273] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist/build/Agda/Compiler/Epic/FromAgda.o )
[217 of 273] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist/build/Agda/Compiler/MAlonzo/Primitives.o )
[218 of 273] Compiling Agda.Termination.Inlining ( src/full/Agda/Termination/Inlining.hs, dist/build/Agda/Termination/Inlining.o )
[219 of 273] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist/build/Agda/TypeChecking/SizedTypes.o )
[220 of 273] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist/build/Agda/Termination/TermCheck.o )
[221 of 273] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist/build/Agda/TypeChecking/RecordPatterns.o )
[222 of 273] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist/build/Agda/TypeChecking/CompiledClause/Match.o )
[223 of 273] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist/build/Agda/TypeChecking/InstanceArguments.o )
[224 of 273] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist/build/Agda/TypeChecking/Constraints.o )
[225 of 273] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.o )
[226 of 273] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist/build/Agda/TypeChecking/MetaVars.o )
[227 of 273] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist/build/Agda/Interaction/Highlighting/Generate.o )
[228 of 273] Compiling Agda.Tests       ( src/full/Agda/Tests.hs, dist/build/Agda/Tests.o )
[229 of 273] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist/build/Agda/TypeChecking/SyntacticEquality.o )
[230 of 273] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist/build/Agda/TypeChecking/Polarity.o )
[231 of 273] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist/build/Agda/TypeChecking/Implicit.o )
[232 of 273] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist/build/Agda/TypeChecking/Rules/LHS/Instantiate.o )
[233 of 273] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist/build/Agda/TypeChecking/Patterns/Match.o )
[234 of 273] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist/build/Agda/TypeChecking/Positivity.o )
[235 of 273] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist/build/Agda/TypeChecking/ProjectionLike.o )
[236 of 273] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist/build/Agda/TypeChecking/Quote.o )
[237 of 273] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.o )
[238 of 273] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist/build/Agda/TypeChecking/Injectivity.o )
[239 of 273] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist/build/Agda/TypeChecking/Conversion.o )
[240 of 273] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.o )
[241 of 273] Compiling Agda.Compiler.Epic.Forcing ( src/full/Agda/Compiler/Epic/Forcing.hs, dist/build/Agda/Compiler/Epic/Forcing.o )
[242 of 273] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist/build/Agda/TypeChecking/CheckInternal.o )
[243 of 273] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist/build/Agda/TypeChecking/Rules/LHS/Split.o )
[244 of 273] 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 )
[245 of 273] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist/build/Agda/TypeChecking/Rules/Data.o )
[246 of 273] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist/build/Agda/TypeChecking/SizedTypes/Solve.o )
[247 of 273] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist/build/Agda/TypeChecking/Rules/Def.o-boot )
[248 of 273] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.o )
[249 of 273] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist/build/Agda/TypeChecking/With.o )
[250 of 273] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o )
[251 of 273] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist/build/Agda/TypeChecking/Rules/LHS.o )
[252 of 273] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist/build/Agda/TypeChecking/Coverage.o )
[253 of 273] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist/build/Agda/TypeChecking/CompiledClause/Compile.o )
[254 of 273] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist/build/Agda/TypeChecking/Empty.o )
[255 of 273] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist/build/Agda/TypeChecking/Rules/Term.o )
[256 of 273] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist/build/Agda/TypeChecking/Rules/Builtin.o )
[257 of 273] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o )
[258 of 273] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist/build/Agda/TypeChecking/Rules/Record.o )
[259 of 273] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist/build/Agda/TypeChecking/Rules/Def.o )
[260 of 273] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist/build/Agda/TypeChecking/Rules/Decl.o )
[261 of 273] Compiling Agda.TypeChecker ( src/full/Agda/TypeChecker.hs, dist/build/Agda/TypeChecker.o )
[262 of 273] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist/build/Agda/Interaction/Imports.o )
[263 of 273] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist/build/Agda/Compiler/MAlonzo/Compiler.o )
[264 of 273] Compiling Agda.Compiler.Epic.Compiler ( src/full/Agda/Compiler/Epic/Compiler.hs, dist/build/Agda/Compiler/Epic/Compiler.o )
[265 of 273] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist/build/Agda/Compiler/JS/Compiler.o )
[266 of 273] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist/build/Agda/Interaction/BasicOps.o )
[267 of 273] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist/build/Agda/Interaction/CommandLine/CommandLine.o )
[268 of 273] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist/build/Agda/Interaction/MakeCase.o )
[269 of 273] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist/build/Agda/Auto/Convert.o )
[270 of 273] Compiling Agda.Auto.Auto   ( src/full/Agda/Auto/Auto.hs, dist/build/Agda/Auto/Auto.o )
[271 of 273] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.o )
[272 of 273] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist/build/Agda/Interaction/EmacsTop.o )
[273 of 273] Compiling Agda.Main        ( src/full/Agda/Main.hs, dist/build/Agda/Main.o )
In-place registering Agda-2.4.0...
Preprocessing executable 'agda' for Agda-2.4.0...
[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.4.0...
[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.4.0...
Running hscolour for Agda-2.4.0...
Preprocessing library Agda-2.4.0...
Preprocessing executable 'agda' for Agda-2.4.0...
Preprocessing executable 'agda-mode' for Agda-2.4.0...
Preprocessing library Agda-2.4.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: tf-random-0.5
Haddock coverage:
  91% ( 20 / 22) in 'Agda.Utils.Maybe.Strict'
   0% (  0 /  2) in 'Agda.Utils.SemiRing'
   0% (  0 /  2) in 'Agda.TypeChecking.Monad.Debug'
  75% (  3 /  4) in 'Agda.Utils.Cluster'
  87% ( 13 / 15) in 'Agda.Utils.BiMap'
  50% (  1 /  2) in 'Agda.Utils.Pointed'
  85% ( 11 / 13) in 'Agda.Utils.VarSet'
   0% (  0 /  4) in 'Agda.Utils.Char'
  33% (  1 /  3) in 'Agda.Utils.Unicode'
  14% (  1 /  7) in 'Agda.Utils.Pointer'
  91% ( 10 / 11) in 'Agda.Utils.Functor'
 100% (  2 /  2) in 'Agda.Termination.CutOff'
  25% (  1 /  4) in 'Agda.Utils.Fresh'
 100% (  2 /  2) in 'Agda.Utils.IO.Binary'
  56% (  9 / 16) in 'Agda.Utils.Tuple'
  73% (  8 / 11) in 'Agda.Utils.Update'
   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'
 100% ( 20 / 20) in 'Agda.Utils.TestHelpers'
  17% (  1 /  6) in 'Agda.Utils.QuickCheck'
  67% (  6 /  9) in 'Agda.Termination.Semiring'
  95% ( 39 / 41) in 'Agda.Utils.PartialOrd'
  95% ( 38 / 40) in 'Agda.Utils.ReadP'
 100% (  4 /  4) in 'Agda.Utils.IO.UTF8'
  89% (  8 /  9) in 'Agda.Utils.Function'
  79% ( 22 / 28) in 'Agda.Utils.Graph.AdjacencyMap'
  11% (  1 /  9) in 'Agda.TypeChecking.SizedTypes.Utils'
  82% ( 27 / 33) in 'Agda.TypeChecking.SizedTypes.Syntax'
   0% (  0 /  8) in 'Paths_Agda'
 100% (  3 /  3) in 'Agda.Utils.Time'
Warning: Agda-2.4.0:Agda.Utils.HashMap: Could not find documentation for exported module: HashMap
   0% (  0 /  1) in 'Agda.Utils.HashMap'
  67% (  4 /  6) in 'Agda.Utils.String'
   0% (  0 /  2) in 'Agda.Utils.Size'
  43% (  3 /  7) in 'Agda.Utils.Pretty'
 100% (  7 /  7) in 'Agda.Interaction.EmacsCommand'
 100% ( 16 / 16) in 'Agda.Utils.Maybe'
 100% (  4 /  4) in 'Agda.Utils.Impossible'
   0% (  0 /  2) in 'Agda.ImpossibleTest'
  71% ( 30 / 42) in 'Agda.Utils.List'
  84% ( 37 / 44) in 'Agda.Utils.Graph.AdjacencyMap.Unidirectional'
  88% ( 14 / 16) in 'Agda.Utils.Permutation'
  89% (  8 /  9) in 'Agda.Utils.FileName'
  53% ( 30 / 57) in 'Agda.Syntax.Position'
  53% ( 34 / 64) 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 / 35) in 'Agda.Compiler.JS.Parser'
  38% ( 18 / 47) in 'Agda.Utils.Warshall'
 100% ( 12 / 12) in 'Agda.Interaction.Highlighting.Range'
  33% (  2 /  6) in 'Agda.Utils.Hash'
  71% ( 24 / 34) in 'Agda.Syntax.Parser.Monad'
  77% ( 23 / 30) in 'Agda.Syntax.Concrete.Name'
   0% (  0 / 14) in 'Agda.Compiler.JS.Case'
  38% (  3 /  8) in 'Agda.Utils.Suffix'
  62% (  8 / 13) in 'Agda.Syntax.Notation'
  68% ( 13 / 19) in 'Agda.Syntax.Fixity'
  56% ( 23 / 41) in 'Agda.Syntax.Abstract.Name'
   0% (  0 /  2) in 'Agda.Syntax.Literal'
   0% (  0 /  5) in 'Agda.Syntax.Parser.Tokens'
  90% (  9 / 10) in 'Agda.Utils.Either'
  60% (  6 / 10) in 'Agda.Utils.Map'
  76% ( 16 / 21) in 'Agda.Utils.Favorites'
doc comment parse failed:  If we have an edge @X + n <= X@ (with n >= 0), we must set @X = oo@.
  51% ( 40 / 79) in 'Agda.TypeChecking.SizedTypes.WarshallSolver'
  21% (  7 / 34) in 'Agda.TypeChecking.SizedTypes.Tests'
   3% (  2 / 61) in 'Agda.Auto.NarrowingSearch'
  29% ( 14 / 48) in 'Agda.Auto.Syntax'
   0% (  0 / 44) in 'Agda.Auto.SearchControl'
   3% (  1 / 37) in 'Agda.Auto.Typecheck'
   0% (  0 / 37) in 'Agda.Auto.CaseSplit'
  50% (  1 /  2) in 'Agda.Version'
 100% ( 13 / 13) in 'Agda.Utils.Trie'
 100% (  7 /  7) in 'Agda.TypeChecking.Monad.Base.Benchmark'
  75% ( 21 / 28) in 'Agda.Utils.Monad'
  72% ( 13 / 18) in 'Agda.Syntax.Parser.Alex'
 100% ( 14 / 14) in 'Agda.Syntax.Parser.LookAhead'
 100% (  3 /  3) in 'Agda.Syntax.Parser.StringLiterals'
 100% (  6 /  6) in 'Agda.Syntax.Parser.Comments'
  86% ( 12 / 14) in 'Agda.Syntax.Parser.Lexer'
 100% ( 25 / 25) in 'Agda.Syntax.Parser.LexActions'
 100% (  7 /  7) in 'Agda.Syntax.Parser.Layout'
  93% ( 28 / 30) in 'Agda.Termination.SparseMatrix'
  68% ( 13 / 19) in 'Agda.Termination.Order'
  83% ( 19 / 23) in 'Agda.Termination.CallMatrix'
  82% ( 18 / 22) in 'Agda.Termination.CallGraph'
  50% (  3 /  6) in 'Agda.Termination.Termination'
  54% (  7 / 13) in 'Agda.TypeChecking.Coverage.SplitTree'
  57% ( 12 / 21) in 'Agda.Interaction.Options'
  51% ( 27 / 53) in 'Agda.Syntax.Concrete'
   7% (  1 / 15) in 'Agda.Syntax.Concrete.Pretty'
  79% ( 58 / 73) in 'Agda.Syntax.Scope.Base'
  29% (  4 / 14) in 'Agda.Syntax.Info'
 100% (  4 /  4) in 'Agda.Utils.Geniplate'
  40% ( 24 / 60) in 'Agda.Syntax.Abstract'
  70% (  7 / 10) in 'Agda.Syntax.Abstract.Views'
  53% ( 49 / 92) in 'Agda.Syntax.Internal'
  41% (  7 / 17) in 'Agda.TypeChecking.Free'
  17% (  2 / 12) in 'Agda.Compiler.Epic.Interface'
  50% (  9 / 18) in 'Agda.Compiler.Epic.AuxAST'
  27% (  3 / 11) in 'Agda.TypeChecking.CompiledClause'
  62% (  8 / 13) in 'Agda.Syntax.Internal.Pattern'
  83% (  5 /  6) in 'Agda.Syntax.Internal.Defs'
  67% (  4 /  6) in 'Agda.Syntax.Internal.Generic'
  59% ( 10 / 17) in 'Agda.TypeChecking.Coverage.Match'
 100% (  5 /  5) in 'Agda.Syntax.Concrete.Generic'
  96% ( 27 / 28) in 'Agda.Interaction.Highlighting.Precise'
  50% (  5 / 10) in 'Agda.Syntax.Concrete.Definitions'
 100% (  5 /  5) in 'Agda.Syntax.Parser.Parser'
  64% (  9 / 14) in 'Agda.Syntax.Parser'
  67% (  2 /  3) in 'Agda.Interaction.Exceptions'
  38% ( 67 /178) in 'Agda.TypeChecking.Monad.Base'
  41% ( 28 / 68) in 'Agda.TypeChecking.Substitute'
  50% (  2 /  4) in 'Agda.TypeChecking.Abstract'
   5% (  2 / 37) in 'Agda.TypeChecking.Test.Generators'
   4% (  6 /161) in 'Agda.TypeChecking.Monad.Builtin'
  93% ( 14 / 15) in 'Agda.Interaction.FindFile'
 100% (  8 /  8) in 'Agda.Interaction.Response'
  76% ( 29 / 38) in 'Agda.TypeChecking.Monad.State'
  28% (  7 / 25) in 'Agda.Interaction.Options.Lenses'
  58% ( 21 / 36) in 'Agda.TypeChecking.Monad.Options'
 100% ( 12 / 12) in 'Agda.TypeChecking.Monad.Benchmark'
  21% (  3 / 14) in 'Agda.Syntax.Translation.AbstractToConcrete'
  65% ( 32 / 49) in 'Agda.Syntax.Scope.Monad'
   0% (  0 /  6) in 'Agda.TypeChecking.Monad.Sharing'
   0% (  0 /  2) in 'Agda.Syntax.Abstract.Copatterns'
  55% ( 11 / 20) in 'Agda.Syntax.Concrete.Operators.Parser'
  62% ( 10 / 16) in 'Agda.Syntax.Concrete.Operators'
  20% (  2 / 10) in 'Agda.TypeChecking.Monad.Trace'
  58% ( 11 / 19) in 'Agda.TypeChecking.Monad.Env'
  50% (  1 /  2) in 'Agda.TypeChecking.LevelConstraints'
   0% (  0 /  2) in 'Agda.TypeChecking.Monad.Closure'
  33% (  1 /  3) in 'Agda.TypeChecking.Monad.Exception'
 100% (  4 /  4) in 'Agda.TypeChecking.Monad.Base.KillRange'
  32% (  6 / 19) in 'Agda.TypeChecking.Monad.Constraints'
  60% (  3 /  5) in 'Agda.TypeChecking.Monad.Open'
  79% ( 26 / 33) in 'Agda.TypeChecking.Monad.Context'
  52% ( 26 / 50) in 'Agda.TypeChecking.Monad.MetaVars'
  24% (  5 / 21) in 'Agda.Syntax.Translation.ConcreteToAbstract'
   6% (  1 / 18) in 'Agda.TypeChecking.Monad.Imports'
  38% (  3 /  8) in 'Agda.TypeChecking.Monad.Mutual'
  51% ( 35 / 69) in 'Agda.TypeChecking.Monad.Signature'
  50% ( 19 / 38) in 'Agda.TypeChecking.Monad.SizedTypes'
 100% (  5 /  5) in 'Agda.TypeChecking.Monad.Statistics'
  94% ( 17 / 18) in 'Agda.TypeChecking.Monad'
  50% (  2 /  4) in 'Agda.Interaction.Monad'
   0% (  0 /  8) in 'Agda.Interaction.Highlighting.Dot'
 100% (  2 /  2) in 'Agda.Interaction.Highlighting.HTML'
  86% ( 18 / 21) in 'Agda.TypeChecking.Irrelevance'
 100% (  3 /  3) in 'Agda.Interaction.Highlighting.Emacs'
  33% (  2 /  6) in 'Agda.Syntax.Abstract.Pretty'
 100% (  3 /  3) in 'Agda.Compiler.CallCompiler'
 100% (  2 /  2) in 'Agda.Interaction.Highlighting.LaTeX'
   7% (  3 / 41) in 'Agda.Compiler.MAlonzo.Misc'
  67% (  2 /  3) in 'Agda.Compiler.MAlonzo.Encode'
  67% (  2 /  3) in 'Agda.Compiler.MAlonzo.Pretty'
   0% (  0 /  9) in 'Agda.Interaction.Highlighting.Vim'
  67% (  2 /  3) in 'Agda.TypeChecking.DropArgs'
   0% (  0 /  2) in 'Agda.Termination.RecCheck'
   9% (  1 / 11) in 'Agda.TypeChecking.Reduce.Monad'
  40% (  2 /  5) in 'Agda.TypeChecking.EtaContract'
   0% (  0 /  4) in 'Agda.TypeChecking.Forcing'
   0% (  0 /  2) in 'Agda.TypeChecking.MetaVars.Mention'
 100% (  3 /  3) in 'Agda.TypeChecking.Patterns.Abstract'
  42% ( 14 / 33) in 'Agda.TypeChecking.Reduce'
  71% ( 12 / 17) in 'Agda.TypeChecking.Telescope'
  75% ( 12 / 16) in 'Agda.TypeChecking.Datatypes'
  80% (  8 / 10) in 'Agda.TypeChecking.Tests'
  35% ( 12 / 34) in 'Agda.Compiler.Epic.CompileState'
  67% (  2 /  3) in 'Agda.Compiler.Epic.CaseOpts'
  75% (  3 /  4) in 'Agda.Compiler.Epic.ForceConstrs'
 100% (  3 /  3) in 'Agda.Compiler.Epic.Epic'
  67% (  4 /  6) in 'Agda.Compiler.Epic.NatDetection'
  53% ( 10 / 19) in 'Agda.Compiler.Epic.Primitive'
  21% (  3 / 14) in 'Agda.TypeChecking.Level'
   0% (  0 /  4) in 'Agda.TypeChecking.DisplayForm'
  25% (  1 /  4) in 'Agda.Syntax.Translation.InternalToAbstract'
   6% (  2 / 32) in 'Agda.TypeChecking.Pretty'
  33% (  2 /  6) in 'Agda.TypeChecking.Errors'
  82% ( 31 / 38) in 'Agda.TypeChecking.Records'
  12% (  2 / 16) in 'Agda.Compiler.HaskellTypes'
  56% (  5 /  9) in 'Agda.TypeChecking.Serialise'
  47% (  7 / 15) in 'Agda.Compiler.Epic.Erasure'
  16% (  4 / 25) in 'Agda.Compiler.Epic.Injection'
  50% (  4 /  8) in 'Agda.Compiler.Epic.Smashing'
  35% (  6 / 17) in 'Agda.TypeChecking.Rules.LHS.Problem'
  46% ( 24 / 52) in 'Agda.Termination.Monad'
  20% (  1 /  5) in 'Agda.Compiler.Epic.Static'
  86% (  6 /  7) in 'Agda.Compiler.Epic.FromAgda'
   5% (  1 / 21) in 'Agda.Compiler.MAlonzo.Primitives'
  25% (  1 /  4) in 'Agda.Termination.Inlining'
  90% ( 26 / 29) in 'Agda.TypeChecking.SizedTypes'
  75% (  3 /  4) in 'Agda.Termination.TermCheck'
  80% (  4 /  5) in 'Agda.TypeChecking.RecordPatterns'
  38% (  3 /  8) in 'Agda.TypeChecking.CompiledClause.Match'
  70% (  7 / 10) in 'Agda.TypeChecking.InstanceArguments'
  35% (  6 / 17) in 'Agda.TypeChecking.Constraints'
  47% ( 14 / 30) in 'Agda.TypeChecking.MetaVars.Occurs'
  60% ( 37 / 62) in 'Agda.TypeChecking.MetaVars'
  92% ( 12 / 13) in 'Agda.Interaction.Highlighting.Generate'
  50% (  1 /  2) in 'Agda.Tests'
 100% (  3 /  3) in 'Agda.TypeChecking.SyntacticEquality'
  88% ( 21 / 24) in 'Agda.TypeChecking.Polarity'
  67% (  4 /  6) in 'Agda.TypeChecking.Implicit'
  67% (  2 /  3) in 'Agda.TypeChecking.Rules.LHS.Instantiate'
  62% (  5 /  8) in 'Agda.TypeChecking.Patterns.Match'
  42% ( 10 / 24) in 'Agda.TypeChecking.Positivity'
  88% (  7 /  8) in 'Agda.TypeChecking.ProjectionLike'
   0% (  0 / 15) in 'Agda.TypeChecking.Quote'
  13% (  7 / 52) in 'Agda.TypeChecking.Primitive'
  17% (  1 /  6) in 'Agda.TypeChecking.Injectivity'
  56% ( 20 / 36) in 'Agda.TypeChecking.Conversion'
  38% ( 23 / 61) in 'Agda.TypeChecking.Rules.LHS.Unify'
  57% (  8 / 14) in 'Agda.Compiler.Epic.Forcing'
 100% (  3 /  3) in 'Agda.TypeChecking.CheckInternal'
  80% (  4 /  5) in 'Agda.TypeChecking.Rules.LHS.Split'
  89% (  8 /  9) in 'Agda.TypeChecking.Rules.Data'
  79% ( 11 / 14) in 'Agda.TypeChecking.SizedTypes.Solve'
  57% (  4 /  7) in 'Agda.TypeChecking.Rules.LHS.Implicit'
  50% (  3 /  6) in 'Agda.TypeChecking.With'
  67% (  4 /  6) in 'Agda.TypeChecking.Rules.LHS.ProblemRest'
  73% (  8 / 11) in 'Agda.TypeChecking.Rules.LHS'
  65% ( 13 / 20) in 'Agda.TypeChecking.Coverage'
  36% (  4 / 11) in 'Agda.TypeChecking.CompiledClause.Compile'
  50% (  1 /  2) in 'Agda.TypeChecking.Empty'
  70% ( 33 / 47) 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.TypeChecking.Rules.Record'
  67% (  8 / 12) in 'Agda.TypeChecking.Rules.Def'
  95% ( 18 / 19) in 'Agda.TypeChecking.Rules.Decl'
  80% (  4 /  5) in 'Agda.TypeChecker'
  67% ( 14 / 21) in 'Agda.Interaction.Imports'
  12% (  4 / 32) in 'Agda.Compiler.MAlonzo.Compiler'
 100% (  2 /  2) in 'Agda.Compiler.Epic.Compiler'
   0% (  0 / 35) in 'Agda.Compiler.JS.Compiler'
  29% ( 10 / 34) in 'Agda.Interaction.BasicOps'
  12% (  3 / 24) in 'Agda.Interaction.CommandLine.CommandLine'
  50% (  4 /  8) in 'Agda.Interaction.MakeCase'
   0% (  0 / 46) in 'Agda.Auto.Convert'
   0% (  0 /  2) in 'Agda.Auto.Auto'
  70% ( 33 / 47) in 'Agda.Interaction.InteractionTop'
  50% (  1 /  2) in 'Agda.Interaction.EmacsTop'
 100% (  6 /  6) in 'Agda.Main'
Warning: Agda.Utils.Cluster: could not find link destinations for:
    Agda.Utils.Cluster.C
Warning: Agda.Utils.Update: could not find link destinations for:
    Agda.Utils.Update.EndoFun
Warning: Agda.Utils.PartialOrd: could not find link destinations for:
    Agda.Termination.Order.Unknown
Warning: Agda.Syntax.Position: could not find link destinations for:
    Agda.Syntax.Position.SrcFile
Warning: Agda.Syntax.Parser.StringLiterals: could not find link destinations for:
    Agda.Syntax.Parser.StringLiterals.readNum
Warning: Agda.Termination.SparseMatrix: could not find link destinations for:
    Agda.Termination.SparseMatrix.supSize Agda.Termination.SparseMatrix.Transpose Agda.Termination.SparseMatrix.zipAssocWith Agda.Termination.SparseMatrix.interAssocWith
Warning: Agda.Termination.Order: could not find link destinations for:
    Agda.Termination.Order.Unknown Agda.Termination.Order.maxO
Warning: Agda.Syntax.Concrete.Definitions: could not find link destinations for:
    Agda.Syntax.Concrete.Definitions.TerminationCheck Agda.Syntax.Concrete.Definitions.DataRecOrFun Agda.Syntax.Concrete.Definitions.NiceEnv
Warning: Agda.Syntax.Abstract.Copatterns: could not find link destinations for:
    Agda.Syntax.Abstract.Copatterns.groupClauses
Warning: Agda.Syntax.Concrete.Operators: could not find link destinations for:
    Agda.Syntax.Concrete.Operators.FlatScope
Warning: Agda.TypeChecking.Serialise: could not find link destinations for:
    Agda.TypeChecking.Serialise.nodeMemo
Warning: Agda.Termination.Inlining: could not find link destinations for:
    Agda.Termination.Inlining.withExprClauses Agda.Termination.Inlining.inlinedClauses
Warning: Agda.Termination.TermCheck: could not find link destinations for:
    Agda.Termination.TermCheck.makeCM Agda.Termination.TermCheck.compareArgs Agda.Termination.TermCheck.addGuardedness
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.Interaction.Highlighting.Generate: could not find link destinations for:
    Agda.Interaction.Highlighting.Generate.NameKinds Agda.Interaction.Highlighting.Generate.nameToFile
Documentation created: dist/doc/html/Agda/index.html,
dist/doc/html/Agda/Agda.txt
Preprocessing executable 'agda' for Agda-2.4.0...
Preprocessing executable 'agda-mode' for Agda-2.4.0...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Agda-2.4.0
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.4.0...
Generating Agda library interface files...
Installed Agda-2.4.0
Test log

No test log was submitted for this report.