Resolving dependencies... Configuring ansi-terminal-0.6.2.1... Building ansi-terminal-0.6.2.1... Preprocessing library ansi-terminal-0.6.2.1... [1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o ) [2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o ) [3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o ) In-place registering ansi-terminal-0.6.2.1... Running Haddock for ansi-terminal-0.6.2.1... Running hscolour for ansi-terminal-0.6.2.1... Preprocessing library ansi-terminal-0.6.2.1... Preprocessing library ansi-terminal-0.6.2.1... Haddock coverage: 88% ( 7 / 8) in 'System.Console.ANSI.Common' 38% ( 30 / 79) in 'System.Console.ANSI.Unix' 39% ( 31 / 79) in 'System.Console.ANSI' Documentation created: dist/doc/html/ansi-terminal/index.html, dist/doc/html/ansi-terminal/ansi-terminal.txt Creating package registration file: /tmp/pkgConf-ansi-terminal-0.6.221769.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/ansi-terminal-0.6.2.1 Registering ansi-terminal-0.6.2.1... Installed ansi-terminal-0.6.2.1 Configuring data-default-class-0.0.1... Building data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... [1 of 1] Compiling Data.Default.Class ( Data/Default/Class.hs, dist/build/Data/Default/Class.o ) In-place registering data-default-class-0.0.1... Running Haddock for data-default-class-0.0.1... Running hscolour for data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... Haddock coverage: 67% ( 2 / 3) in 'Data.Default.Class' Documentation created: dist/doc/html/data-default-class/index.html, dist/doc/html/data-default-class/data-default-class.txt Creating package registration file: /tmp/pkgConf-data-default-class-0.021769.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/data-default-class-0.0.1 Registering data-default-class-0.0.1... Installed data-default-class-0.0.1 Configuring dlist-0.7.1... Building dlist-0.7.1... Preprocessing library dlist-0.7.1... [1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o ) In-place registering dlist-0.7.1... Running Haddock for dlist-0.7.1... Running hscolour for dlist-0.7.1... Preprocessing library dlist-0.7.1... Preprocessing library dlist-0.7.1... Haddock coverage: 100% ( 20 / 20) in 'Data.DList' Documentation created: dist/doc/html/dlist/index.html, dist/doc/html/dlist/dlist.txt Creating package registration file: /tmp/pkgConf-dlist-0.721769.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dlist-0.7.1 Registering dlist-0.7.1... Installed dlist-0.7.1 Configuring marked-pretty-0.1... Building marked-pretty-0.1... Preprocessing library marked-pretty-0.1... [1 of 1] Compiling Text.PrettyPrint.MarkedHughesPJ ( Text/PrettyPrint/MarkedHughesPJ.hs, dist/build/Text/PrettyPrint/MarkedHughesPJ.o ) In-place registering marked-pretty-0.1... Running Haddock for marked-pretty-0.1... Running hscolour for marked-pretty-0.1... Preprocessing library marked-pretty-0.1... Preprocessing library marked-pretty-0.1... Haddock coverage: 97% ( 61 / 63) in 'Text.PrettyPrint.MarkedHughesPJ' Documentation created: dist/doc/html/marked-pretty/index.html, dist/doc/html/marked-pretty/marked-pretty.txt Creating package registration file: /tmp/pkgConf-marked-pretty-021769.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/marked-pretty-0.1 Registering marked-pretty-0.1... Installed marked-pretty-0.1 Configuring mtl-2.1.3.1... Building mtl-2.1.3.1... Preprocessing library mtl-2.1.3.1... [ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) In-place registering mtl-2.1.3.1... Running Haddock for mtl-2.1.3.1... Running hscolour for mtl-2.1.3.1... Preprocessing library mtl-2.1.3.1... Preprocessing library mtl-2.1.3.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' 100% ( 4 / 4) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' 100% ( 3 / 3) in 'Control.Monad.Trans' 100% ( 14 / 14) in 'Control.Monad.Error' 100% ( 5 / 5) in 'Control.Monad.List' 100% ( 21 / 21) in 'Control.Monad.RWS.Lazy' 100% ( 2 / 2) in 'Control.Monad.RWS' 100% ( 22 / 22) in 'Control.Monad.Reader' 100% ( 21 / 21) in 'Control.Monad.RWS.Strict' 100% ( 23 / 23) in 'Control.Monad.State.Lazy' 100% ( 2 / 2) in 'Control.Monad.State' 100% ( 23 / 23) in 'Control.Monad.State.Strict' 94% ( 17 / 18) in 'Control.Monad.Writer.Lazy' 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' 95% ( 20 / 21) in 'Control.Monad.Cont' Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.1.321769.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1 Registering mtl-2.1.3.1... Installed mtl-2.1.3.1 Configuring random-1.1... Building random-1.1... Preprocessing library random-1.1... [1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o ) In-place registering random-1.1... Running Haddock for random-1.1... Running hscolour for random-1.1... Preprocessing library random-1.1... Preprocessing library random-1.1... Haddock coverage: Cannot find documentation for: $intro 100% ( 16 / 16) in 'System.Random' Documentation created: dist/doc/html/random/index.html, dist/doc/html/random/random.txt Creating package registration file: /tmp/pkgConf-random-121769.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1 Registering random-1.1... Installed random-1.1 Configuring stm-2.4.4... Building stm-2.4.4... Preprocessing library stm-2.4.4... [ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o ) [ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o ) [ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o ) [ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o ) [ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o ) [ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o ) [ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o ) [ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o ) [ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o ) [10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o ) In-place registering stm-2.4.4... Running Haddock for stm-2.4.4... Running hscolour for stm-2.4.4... Preprocessing library stm-2.4.4... Preprocessing library stm-2.4.4... Haddock coverage: 0% ( 0 / 11) in 'Control.Sequential.STM' 100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue' 100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue' 100% ( 18 / 18) in 'Control.Concurrent.STM.TChan' 100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar' 100% ( 13 / 13) in 'Control.Concurrent.STM.TVar' 100% ( 2 / 2) in 'Control.Concurrent.STM.TArray' 90% ( 9 / 10) in 'Control.Monad.STM' 100% ( 8 / 8) in 'Control.Concurrent.STM' 40% ( 2 / 5) in 'Control.Concurrent.STM.TSem' Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt Creating package registration file: /tmp/pkgConf-stm-2.421769.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/stm-2.4.4 Registering stm-2.4.4... Installed stm-2.4.4 Configuring kure-2.16.8... Building kure-2.16.8... Preprocessing library kure-2.16.8... [ 1 of 15] Compiling Language.KURE.Combinators.Arrow ( Language/KURE/Combinators/Arrow.hs, dist/build/Language/KURE/Combinators/Arrow.o ) [ 2 of 15] Compiling Language.KURE.Combinators.Monad ( Language/KURE/Combinators/Monad.hs, dist/build/Language/KURE/Combinators/Monad.o ) [ 3 of 15] Compiling Language.KURE.MonadCatch ( Language/KURE/MonadCatch.hs, dist/build/Language/KURE/MonadCatch.o ) [ 4 of 15] Compiling Language.KURE.Transform ( Language/KURE/Transform.hs, dist/build/Language/KURE/Transform.o ) [ 5 of 15] Compiling Language.KURE.Injection ( Language/KURE/Injection.hs, dist/build/Language/KURE/Injection.o ) [ 6 of 15] Compiling Language.KURE.BiTransform ( Language/KURE/BiTransform.hs, dist/build/Language/KURE/BiTransform.o ) [ 7 of 15] Compiling Language.KURE.Combinators.Transform ( Language/KURE/Combinators/Transform.hs, dist/build/Language/KURE/Combinators/Transform.o ) [ 8 of 15] Compiling Language.KURE.Combinators ( Language/KURE/Combinators.hs, dist/build/Language/KURE/Combinators.o ) [ 9 of 15] Compiling Language.KURE.Path ( Language/KURE/Path.hs, dist/build/Language/KURE/Path.o ) [10 of 15] Compiling Language.KURE.ExtendableContext ( Language/KURE/ExtendableContext.hs, dist/build/Language/KURE/ExtendableContext.o ) [11 of 15] Compiling Language.KURE.Debug ( Language/KURE/Debug.hs, dist/build/Language/KURE/Debug.o ) [12 of 15] Compiling Language.KURE.Lens ( Language/KURE/Lens.hs, dist/build/Language/KURE/Lens.o ) [13 of 15] Compiling Language.KURE.Walker ( Language/KURE/Walker.hs, dist/build/Language/KURE/Walker.o ) [14 of 15] Compiling Language.KURE.Pathfinder ( Language/KURE/Pathfinder.hs, dist/build/Language/KURE/Pathfinder.o ) [15 of 15] Compiling Language.KURE ( Language/KURE.hs, dist/build/Language/KURE.o ) In-place registering kure-2.16.8... Running Haddock for kure-2.16.8... Running hscolour for kure-2.16.8... Preprocessing library kure-2.16.8... Preprocessing library kure-2.16.8... Haddock coverage: 100% ( 14 / 14) in 'Language.KURE.Combinators.Arrow' 100% ( 8 / 8) in 'Language.KURE.Combinators.Monad' 100% ( 22 / 22) in 'Language.KURE.MonadCatch' 100% ( 15 / 15) in 'Language.KURE.Transform' 95% ( 18 / 19) in 'Language.KURE.Injection' 100% ( 21 / 21) in 'Language.KURE.BiTransform' 100% ( 36 / 36) in 'Language.KURE.Combinators.Transform' 100% ( 4 / 4) in 'Language.KURE.Combinators' 94% ( 17 / 18) in 'Language.KURE.Path' 100% ( 6 / 6) in 'Language.KURE.ExtendableContext' 100% ( 2 / 2) in 'Language.KURE.Debug' 100% ( 14 / 14) in 'Language.KURE.Lens' 100% ( 50 / 50) in 'Language.KURE.Walker' 100% ( 15 / 15) in 'Language.KURE.Pathfinder' 100% ( 7 / 7) in 'Language.KURE' Warning: Language.KURE.Walker: could not find link destinations for: Language.KURE.Walker.AllT Language.KURE.Walker.OneT Documentation created: dist/doc/html/kure/index.html, dist/doc/html/kure/kure.txt Creating package registration file: /tmp/pkgConf-kure-2.1621769.8 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/kure-2.16.8 Registering kure-2.16.8... Installed kure-2.16.8 Configuring transformers-compat-0.4.0.3... Building transformers-compat-0.4.0.3... Preprocessing library transformers-compat-0.4.0.3... [1 of 5] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o ) [2 of 5] Compiling Data.Functor.Classes ( 0.3/Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o ) [3 of 5] Compiling Data.Functor.Sum ( 0.3/Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o ) [4 of 5] Compiling Control.Monad.Signatures ( 0.3/Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o ) [5 of 5] Compiling Control.Monad.Trans.Except ( 0.3/Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o ) In-place registering transformers-compat-0.4.0.3... Running Haddock for transformers-compat-0.4.0.3... Running hscolour for transformers-compat-0.4.0.3... Preprocessing library transformers-compat-0.4.0.3... Preprocessing library transformers-compat-0.4.0.3... Haddock coverage: 0% ( 0 / 8) in 'Paths_transformers_compat' 100% ( 14 / 14) in 'Data.Functor.Classes' 100% ( 2 / 2) in 'Data.Functor.Sum' 100% ( 5 / 5) in 'Control.Monad.Signatures' 100% ( 18 / 18) in 'Control.Monad.Trans.Except' Documentation created: dist/doc/html/transformers-compat/index.html, dist/doc/html/transformers-compat/transformers-compat.txt Creating package registration file: /tmp/pkgConf-transformers-compat-0.4.021769.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-compat-0.4.0.3 Registering transformers-compat-0.4.0.3... Installed transformers-compat-0.4.0.3 Configuring operational-0.2.3.2... Building operational-0.2.3.2... Preprocessing library operational-0.2.3.2... [1 of 1] Compiling Control.Monad.Operational ( src/Control/Monad/Operational.hs, dist/build/Control/Monad/Operational.o ) src/Control/Monad/Operational.hs:314:11: Warning: Defined but not used: ‘r’ In-place registering operational-0.2.3.2... Preprocessing executable 'operational-TicTacToe' for operational-0.2.3.2... [1 of 2] Compiling Control.Monad.Operational ( src/Control/Monad/Operational.hs, dist/build/operational-TicTacToe/operational-TicTacToe-tmp/Control/Monad/Operational.o ) [2 of 2] Compiling Main ( doc/examples/TicTacToe.hs, dist/build/operational-TicTacToe/operational-TicTacToe-tmp/Main.o ) Linking dist/build/operational-TicTacToe/operational-TicTacToe ... Running Haddock for operational-0.2.3.2... Running hscolour for operational-0.2.3.2... Preprocessing library operational-0.2.3.2... Preprocessing executable 'operational-TicTacToe' for operational-0.2.3.2... Preprocessing library operational-0.2.3.2... src/Control/Monad/Operational.hs:314:11: Warning: Defined but not used: ‘r’ Haddock coverage: 94% ( 17 / 18) in 'Control.Monad.Operational' Documentation created: dist/doc/html/operational/index.html, dist/doc/html/operational/operational.txt Preprocessing executable 'operational-TicTacToe' for operational-0.2.3.2... Creating package registration file: /tmp/pkgConf-operational-0.2.321769.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/operational-0.2.3.2 Installing executable(s) in /home/builder/hackage-server/build-cache/tmp-install/bin Warning: The directory /home/builder/hackage-server/build-cache/tmp-install/bin is not in the system search path. Registering operational-0.2.3.2... Installed operational-0.2.3.2 Configuring exceptions-0.8.0.2... Building exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... [1 of 2] Compiling Control.Monad.Catch ( src/Control/Monad/Catch.hs, dist/build/Control/Monad/Catch.o ) [2 of 2] Compiling Control.Monad.Catch.Pure ( src/Control/Monad/Catch/Pure.hs, dist/build/Control/Monad/Catch/Pure.o ) In-place registering exceptions-0.8.0.2... Running Haddock for exceptions-0.8.0.2... Running hscolour for exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... Haddock coverage: 100% ( 31 / 31) in 'Control.Monad.Catch' 80% ( 8 / 10) in 'Control.Monad.Catch.Pure' Documentation created: dist/doc/html/exceptions/index.html, dist/doc/html/exceptions/exceptions.txt Creating package registration file: /tmp/pkgConf-exceptions-0.8.021769.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/exceptions-0.8.0.2 Registering exceptions-0.8.0.2... Installed exceptions-0.8.0.2 Configuring temporary-1.2.0.3... Building temporary-1.2.0.3... Preprocessing library temporary-1.2.0.3... [1 of 3] Compiling Distribution.Compat.Exception ( Distribution/Compat/Exception.hs, dist/build/Distribution/Compat/Exception.o ) [2 of 3] Compiling Distribution.Compat.TempFile ( Distribution/Compat/TempFile.hs, dist/build/Distribution/Compat/TempFile.o ) [3 of 3] Compiling System.IO.Temp ( System/IO/Temp.hs, dist/build/System/IO/Temp.o ) In-place registering temporary-1.2.0.3... Running Haddock for temporary-1.2.0.3... Running hscolour for temporary-1.2.0.3... Preprocessing library temporary-1.2.0.3... Preprocessing library temporary-1.2.0.3... Haddock coverage: 0% ( 0 / 5) in 'Distribution.Compat.Exception' 40% ( 2 / 5) in 'Distribution.Compat.TempFile' 67% ( 6 / 9) in 'System.IO.Temp' Documentation created: dist/doc/html/temporary/index.html, dist/doc/html/temporary/temporary.txt Creating package registration file: /tmp/pkgConf-temporary-1.2.021769.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/temporary-1.2.0.3 Registering temporary-1.2.0.3... Installed temporary-1.2.0.3 Downloading hermit-0.7.1.0... Configuring hermit-0.7.1.0... Building hermit-0.7.1.0... Preprocessing library hermit-0.7.1.0... unused terminals: 28 unused terminals: 30 [ 1 of 69] Compiling HERMIT.Syntax ( src/HERMIT/Syntax.hs, dist/build/HERMIT/Syntax.o ) [ 2 of 69] Compiling HERMIT.Parser ( dist/build/HERMIT/Parser.hs, dist/build/HERMIT/Parser.o ) [ 3 of 69] Compiling HERMIT.GHC.Typechecker ( src/HERMIT/GHC/Typechecker.hs, dist/build/HERMIT/GHC/Typechecker.o ) [ 4 of 69] Compiling Paths_hermit ( dist/build/autogen/Paths_hermit.hs, dist/build/Paths_hermit.o ) [ 5 of 69] Compiling HERMIT.Driver ( src/HERMIT/Driver.hs, dist/build/HERMIT/Driver.o ) [ 6 of 69] Compiling HERMIT.Utilities ( src/HERMIT/Utilities.hs, dist/build/HERMIT/Utilities.o ) [ 7 of 69] Compiling HERMIT.GHC ( src/HERMIT/GHC.hs, dist/build/HERMIT/GHC.o ) [ 8 of 69] Compiling HERMIT.Core ( src/HERMIT/Core.hs, dist/build/HERMIT/Core.o ) [ 9 of 69] Compiling HERMIT.Context ( src/HERMIT/Context.hs, dist/build/HERMIT/Context.o ) [10 of 69] Compiling HERMIT.Lemma ( src/HERMIT/Lemma.hs, dist/build/HERMIT/Lemma.o ) [11 of 69] Compiling HERMIT.Kure.Universes ( src/HERMIT/Kure/Universes.hs, dist/build/HERMIT/Kure/Universes.o ) [12 of 69] Compiling HERMIT.Monad ( src/HERMIT/Monad.hs, dist/build/HERMIT/Monad.o ) [13 of 69] Compiling HERMIT.Kure ( src/HERMIT/Kure.hs, dist/build/HERMIT/Kure.o ) src/HERMIT/Kure.hs:126:1: Warning: Local definition of ‘<*>’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal. [14 of 69] Compiling HERMIT.External ( src/HERMIT/External.hs, dist/build/HERMIT/External.o ) [15 of 69] Compiling HERMIT.Dictionary.Debug ( src/HERMIT/Dictionary/Debug.hs, dist/build/HERMIT/Dictionary/Debug.o ) [16 of 69] Compiling HERMIT.Dictionary.Kure ( src/HERMIT/Dictionary/Kure.hs, dist/build/HERMIT/Dictionary/Kure.o ) [17 of 69] Compiling HERMIT.Dictionary.Navigation.Crumbs ( src/HERMIT/Dictionary/Navigation/Crumbs.hs, dist/build/HERMIT/Dictionary/Navigation/Crumbs.o ) [18 of 69] Compiling HERMIT.Name ( src/HERMIT/Name.hs, dist/build/HERMIT/Name.o ) [19 of 69] Compiling HERMIT.Dictionary.Common ( src/HERMIT/Dictionary/Common.hs, dist/build/HERMIT/Dictionary/Common.o ) [20 of 69] Compiling HERMIT.Dictionary.Local.Bind ( src/HERMIT/Dictionary/Local/Bind.hs, dist/build/HERMIT/Dictionary/Local/Bind.o ) [21 of 69] Compiling HERMIT.Dictionary.Local.Cast ( src/HERMIT/Dictionary/Local/Cast.hs, dist/build/HERMIT/Dictionary/Local/Cast.o ) [22 of 69] Compiling HERMIT.Dictionary.Function ( src/HERMIT/Dictionary/Function.hs, dist/build/HERMIT/Dictionary/Function.o ) [23 of 69] Compiling HERMIT.Dictionary.GHC ( src/HERMIT/Dictionary/GHC.hs, dist/build/HERMIT/Dictionary/GHC.o ) src/HERMIT/Dictionary/GHC.hs:212:10: Warning: Defined but not used: ‘wCs'’ [24 of 69] Compiling HERMIT.Dictionary.AlphaConversion ( src/HERMIT/Dictionary/AlphaConversion.hs, dist/build/HERMIT/Dictionary/AlphaConversion.o ) [25 of 69] Compiling HERMIT.Dictionary.Inline ( src/HERMIT/Dictionary/Inline.hs, dist/build/HERMIT/Dictionary/Inline.o ) [26 of 69] Compiling HERMIT.Dictionary.Navigation ( src/HERMIT/Dictionary/Navigation.hs, dist/build/HERMIT/Dictionary/Navigation.o ) [27 of 69] Compiling HERMIT.Dictionary.Query ( src/HERMIT/Dictionary/Query.hs, dist/build/HERMIT/Dictionary/Query.o ) [28 of 69] Compiling HERMIT.Dictionary.Unfold ( src/HERMIT/Dictionary/Unfold.hs, dist/build/HERMIT/Dictionary/Unfold.o ) [29 of 69] Compiling HERMIT.ParserCore ( dist/build/HERMIT/ParserCore.hs, dist/build/HERMIT/ParserCore.o ) [30 of 69] Compiling HERMIT.Dictionary.Unsafe ( src/HERMIT/Dictionary/Unsafe.hs, dist/build/HERMIT/Dictionary/Unsafe.o ) [31 of 69] Compiling HERMIT.PrettyPrinter.Common ( src/HERMIT/PrettyPrinter/Common.hs, dist/build/HERMIT/PrettyPrinter/Common.o ) [32 of 69] Compiling HERMIT.Dictionary.Fold ( src/HERMIT/Dictionary/Fold.hs, dist/build/HERMIT/Dictionary/Fold.o ) src/HERMIT/Dictionary/Fold.hs:564:25: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Quantified _ (Conj _ _) Quantified _ (Disj _ _) Quantified _ (Impl _ _) [33 of 69] Compiling HERMIT.PrettyPrinter.AST ( src/HERMIT/PrettyPrinter/AST.hs, dist/build/HERMIT/PrettyPrinter/AST.o ) [34 of 69] Compiling HERMIT.PrettyPrinter.Clean ( src/HERMIT/PrettyPrinter/Clean.hs, dist/build/HERMIT/PrettyPrinter/Clean.o ) [35 of 69] Compiling HERMIT.PrettyPrinter.GHC ( src/HERMIT/PrettyPrinter/GHC.hs, dist/build/HERMIT/PrettyPrinter/GHC.o ) [36 of 69] Compiling HERMIT.Shell.Dictionary ( src/HERMIT/Shell/Dictionary.hs, dist/build/HERMIT/Shell/Dictionary.o ) [37 of 69] Compiling HERMIT.Dictionary.Local.Let ( src/HERMIT/Dictionary/Local/Let.hs, dist/build/HERMIT/Dictionary/Local/Let.o ) [38 of 69] Compiling HERMIT.Dictionary.New ( src/HERMIT/Dictionary/New.hs, dist/build/HERMIT/Dictionary/New.o ) [39 of 69] Compiling HERMIT.ParserType ( dist/build/HERMIT/ParserType.hs, dist/build/HERMIT/ParserType.o ) [40 of 69] Compiling HERMIT.Dictionary.Reasoning ( src/HERMIT/Dictionary/Reasoning.hs, dist/build/HERMIT/Dictionary/Reasoning.o ) [41 of 69] Compiling HERMIT.Dictionary.Remembered ( src/HERMIT/Dictionary/Remembered.hs, dist/build/HERMIT/Dictionary/Remembered.o ) [42 of 69] Compiling HERMIT.Dictionary.Rules ( src/HERMIT/Dictionary/Rules.hs, dist/build/HERMIT/Dictionary/Rules.o ) [43 of 69] Compiling HERMIT.Dictionary.Undefined ( src/HERMIT/Dictionary/Undefined.hs, dist/build/HERMIT/Dictionary/Undefined.o ) [44 of 69] Compiling HERMIT.Dictionary.FixPoint ( src/HERMIT/Dictionary/FixPoint.hs, dist/build/HERMIT/Dictionary/FixPoint.o ) [45 of 69] Compiling HERMIT.Dictionary.Local.Case ( src/HERMIT/Dictionary/Local/Case.hs, dist/build/HERMIT/Dictionary/Local/Case.o ) [46 of 69] Compiling HERMIT.Dictionary.Local ( src/HERMIT/Dictionary/Local.hs, dist/build/HERMIT/Dictionary/Local.o ) [47 of 69] Compiling HERMIT.Dictionary.Composite ( src/HERMIT/Dictionary/Composite.hs, dist/build/HERMIT/Dictionary/Composite.o ) [48 of 69] Compiling HERMIT.Dictionary.Induction ( src/HERMIT/Dictionary/Induction.hs, dist/build/HERMIT/Dictionary/Induction.o ) [49 of 69] Compiling HERMIT.Dictionary.WorkerWrapper.Common ( src/HERMIT/Dictionary/WorkerWrapper/Common.hs, dist/build/HERMIT/Dictionary/WorkerWrapper/Common.o ) [50 of 69] Compiling HERMIT.Dictionary.WorkerWrapper.Fix ( src/HERMIT/Dictionary/WorkerWrapper/Fix.hs, dist/build/HERMIT/Dictionary/WorkerWrapper/Fix.o ) [51 of 69] Compiling HERMIT.Dictionary.WorkerWrapper.FixResult ( src/HERMIT/Dictionary/WorkerWrapper/FixResult.hs, dist/build/HERMIT/Dictionary/WorkerWrapper/FixResult.o ) [52 of 69] Compiling HERMIT.Dictionary ( src/HERMIT/Dictionary.hs, dist/build/HERMIT/Dictionary.o ) [53 of 69] Compiling HERMIT.Kernel ( src/HERMIT/Kernel.hs, dist/build/HERMIT/Kernel.o ) [54 of 69] Compiling HERMIT.Plugin.Builder ( src/HERMIT/Plugin/Builder.hs, dist/build/HERMIT/Plugin/Builder.o ) [55 of 69] Compiling HERMIT.Plugin.Types ( src/HERMIT/Plugin/Types.hs, dist/build/HERMIT/Plugin/Types.o ) [56 of 69] Compiling HERMIT.Plugin.Display ( src/HERMIT/Plugin/Display.hs, dist/build/HERMIT/Plugin/Display.o ) [57 of 69] Compiling HERMIT.Plugin.Renderer ( src/HERMIT/Plugin/Renderer.hs, dist/build/HERMIT/Plugin/Renderer.o ) [58 of 69] Compiling HERMIT.Shell.Types ( src/HERMIT/Shell/Types.hs, dist/build/HERMIT/Shell/Types.o ) [59 of 69] Compiling HERMIT.Shell.Interpreter ( src/HERMIT/Shell/Interpreter.hs, dist/build/HERMIT/Shell/Interpreter.o ) [60 of 69] Compiling HERMIT.Shell.KernelEffect ( src/HERMIT/Shell/KernelEffect.hs, dist/build/HERMIT/Shell/KernelEffect.o ) [61 of 69] Compiling HERMIT.Shell.ShellEffect ( src/HERMIT/Shell/ShellEffect.hs, dist/build/HERMIT/Shell/ShellEffect.o ) [62 of 69] Compiling HERMIT.Shell.ScriptToRewrite ( src/HERMIT/Shell/ScriptToRewrite.hs, dist/build/HERMIT/Shell/ScriptToRewrite.o ) [63 of 69] Compiling HERMIT.Shell.Proof ( src/HERMIT/Shell/Proof.hs, dist/build/HERMIT/Shell/Proof.o ) [64 of 69] Compiling HERMIT.Shell.Completion ( src/HERMIT/Shell/Completion.hs, dist/build/HERMIT/Shell/Completion.o ) [65 of 69] Compiling HERMIT.Shell.Externals ( src/HERMIT/Shell/Externals.hs, dist/build/HERMIT/Shell/Externals.o ) [66 of 69] Compiling HERMIT.Shell.Command ( src/HERMIT/Shell/Command.hs, dist/build/HERMIT/Shell/Command.o ) [67 of 69] Compiling HERMIT.Plugin ( src/HERMIT/Plugin.hs, dist/build/HERMIT/Plugin.o ) [68 of 69] Compiling HERMIT.Libraries.Int ( src/HERMIT/Libraries/Int.hs, dist/build/HERMIT/Libraries/Int.o ) [69 of 69] Compiling HERMIT ( src/HERMIT.hs, dist/build/HERMIT.o ) In-place registering hermit-0.7.1.0... Preprocessing executable 'hermit' for hermit-0.7.1.0... [1 of 1] Compiling Main ( driver/Main.hs, dist/build/hermit/hermit-tmp/Main.o ) Linking dist/build/hermit/hermit ... Running Haddock for hermit-0.7.1.0... Running hscolour for hermit-0.7.1.0... Preprocessing library hermit-0.7.1.0... Preprocessing executable 'hermit' for hermit-0.7.1.0... Preprocessing library hermit-0.7.1.0... src/HERMIT/Kure.hs:126:1: Warning: Local definition of ‘<*>’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal. src/HERMIT/Dictionary/GHC.hs:212:10: Warning: Defined but not used: ‘wCs'’ Haddock coverage: 82% ( 9 / 11) in 'HERMIT.Syntax' 14% ( 1 / 7) in 'HERMIT.Parser' 25% ( 1 / 4) in 'HERMIT.GHC.Typechecker' 0% ( 0 / 8) in 'Paths_hermit' 17% ( 1 / 6) in 'HERMIT.Driver' 80% ( 8 / 10) in 'HERMIT.Utilities' 65% ( 34 / 52) in 'HERMIT.GHC' 97% ( 67 / 69) in 'HERMIT.Core' 80% ( 32 / 40) in 'HERMIT.Context' 50% ( 12 / 24) in 'HERMIT.Lemma' 98% ( 52 / 53) in 'HERMIT.Kure.Universes' 52% ( 13 / 25) in 'HERMIT.Monad' 95% (189 /198) in 'HERMIT.Kure' 51% ( 25 / 49) in 'HERMIT.External' 86% ( 6 / 7) in 'HERMIT.Dictionary.Debug' 80% ( 4 / 5) in 'HERMIT.Dictionary.Kure' 67% ( 2 / 3) in 'HERMIT.Dictionary.Navigation.Crumbs' 45% ( 19 / 42) in 'HERMIT.Name' 100% ( 36 / 36) in 'HERMIT.Dictionary.Common' 80% ( 4 / 5) in 'HERMIT.Dictionary.Local.Bind' 25% ( 2 / 8) in 'HERMIT.Dictionary.Local.Cast' 75% ( 9 / 12) in 'HERMIT.Dictionary.Function' 76% ( 19 / 25) in 'HERMIT.Dictionary.GHC' 86% ( 24 / 28) in 'HERMIT.Dictionary.AlphaConversion' 75% ( 12 / 16) in 'HERMIT.Dictionary.Inline' 88% ( 15 / 17) in 'HERMIT.Dictionary.Navigation' 67% ( 4 / 6) in 'HERMIT.Dictionary.Query' 22% ( 2 / 9) in 'HERMIT.Dictionary.Unfold' 8% ( 1 / 12) in 'HERMIT.ParserCore' 0% ( 0 / 3) in 'HERMIT.Dictionary.Unsafe' Warning: HERMIT.PrettyPrinter.Common: renderSpecial is exported separately but will be documented under RenderSpecial. Consider exporting it together with its parent(s) for code clarity. 22% ( 10 / 46) in 'HERMIT.PrettyPrinter.Common' 57% ( 12 / 21) in 'HERMIT.Dictionary.Fold' 23% ( 3 / 13) in 'HERMIT.PrettyPrinter.AST' 14% ( 2 / 14) in 'HERMIT.PrettyPrinter.Clean' 23% ( 3 / 13) in 'HERMIT.PrettyPrinter.GHC' 50% ( 2 / 4) in 'HERMIT.Shell.Dictionary' 90% ( 35 / 39) in 'HERMIT.Dictionary.Local.Let' 50% ( 2 / 4) in 'HERMIT.Dictionary.New' 80% ( 4 / 5) in 'HERMIT.ParserType' 42% ( 18 / 43) in 'HERMIT.Dictionary.Reasoning' 67% ( 6 / 9) in 'HERMIT.Dictionary.Remembered' 83% ( 15 / 18) in 'HERMIT.Dictionary.Rules' 90% ( 19 / 21) in 'HERMIT.Dictionary.Undefined' 75% ( 9 / 12) in 'HERMIT.Dictionary.FixPoint' 87% ( 26 / 30) in 'HERMIT.Dictionary.Local.Case' 95% ( 21 / 22) in 'HERMIT.Dictionary.Local' 55% ( 6 / 11) in 'HERMIT.Dictionary.Composite' 33% ( 1 / 3) in 'HERMIT.Dictionary.Induction' 10% ( 1 / 10) in 'HERMIT.Dictionary.WorkerWrapper.Common' 92% ( 11 / 12) in 'HERMIT.Dictionary.WorkerWrapper.Fix' 92% ( 11 / 12) in 'HERMIT.Dictionary.WorkerWrapper.FixResult' 96% ( 25 / 26) in 'HERMIT.Dictionary' 71% ( 12 / 17) in 'HERMIT.Kernel' 56% ( 5 / 9) in 'HERMIT.Plugin.Builder' 0% ( 0 / 13) in 'HERMIT.Plugin.Types' 0% ( 0 / 4) in 'HERMIT.Plugin.Display' 0% ( 0 / 13) in 'HERMIT.Plugin.Renderer' 11% ( 9 / 84) in 'HERMIT.Shell.Types' 75% ( 6 / 8) in 'HERMIT.Shell.Interpreter' 20% ( 1 / 5) in 'HERMIT.Shell.KernelEffect' 0% ( 0 / 5) in 'HERMIT.Shell.ShellEffect' 23% ( 3 / 13) in 'HERMIT.Shell.ScriptToRewrite' 11% ( 1 / 9) in 'HERMIT.Shell.Proof' 0% ( 0 / 2) in 'HERMIT.Shell.Completion' 0% ( 0 / 12) in 'HERMIT.Shell.Externals' 33% ( 4 / 12) in 'HERMIT.Shell.Command' 22% ( 6 / 27) in 'HERMIT.Plugin' 0% ( 0 / 2) in 'HERMIT.Libraries.Int' 0% ( 0 / 2) in 'HERMIT' Warning: HERMIT.GHC: could not find link destinations for: Encoding.UserString Encoding.EncodedString Warning: HERMIT.Monad: could not find link destinations for: HERMIT.Monad.DebugChan Warning: HERMIT.External: could not find link destinations for: HERMIT.External.toTagE Warning: HERMIT.Name: could not find link destinations for: HERMIT.Name.findInNSPackageDB Warning: HERMIT.PrettyPrinter.Common: could not find link destinations for: HERMIT.PrettyPrinter.Common.HermitMark Warning: HERMIT.Dictionary.Fold: could not find link destinations for: HERMIT.Dictionary.Fold.mkEquality Warning: HERMIT.Shell.Dictionary: could not find link destinations for: HERMIT.Shell.Dictionary.Dictionary Warning: HERMIT.Dictionary.Rules: could not find link destinations for: HERMIT.Dictionary.Rules.idSpecRules Warning: HERMIT.Dictionary.Composite: could not find link destinations for: HERMIT.Dictionary.Composite.bashComponents Warning: HERMIT.Dictionary.WorkerWrapper.Fix: could not find link destinations for: HERMIT.Dictionary.WorkerWrapper.Fix.wwSplit Warning: HERMIT.Dictionary.WorkerWrapper.FixResult: could not find link destinations for: HERMIT.Dictionary.WorkerWrapper.FixResult.wwSplit Warning: HERMIT.Kernel: could not find link destinations for: HERMIT.Kernel.KernelState Warning: HERMIT.Shell.ScriptToRewrite: could not find link destinations for: HERMIT.Shell.ScriptToRewrite.RewriteName Documentation created: dist/doc/html/hermit/index.html, dist/doc/html/hermit/hermit.txt Preprocessing executable 'hermit' for hermit-0.7.1.0... Creating package registration file: /tmp/pkgConf-hermit-0.7.121769.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hermit-0.7.1.0 Installing executable(s) in /home/builder/hackage-server/build-cache/tmp-install/bin Warning: The directory /home/builder/hackage-server/build-cache/tmp-install/bin is not in the system search path. Registering hermit-0.7.1.0... Installed hermit-0.7.1.0