Resolving dependencies... Configuring QuickCheck-2.6... Building QuickCheck-2.6... Preprocessing library QuickCheck-2.6... [ 1 of 13] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o ) [ 2 of 13] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o ) [ 3 of 13] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o ) [ 4 of 13] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o ) [ 5 of 13] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o ) [ 6 of 13] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [ 7 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 8 of 13] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [11 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [12 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) [13 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) In-place registering QuickCheck-2.6... Running Haddock for QuickCheck-2.6... Running hscolour for QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, random-1.0.1.1 Haddock coverage: 12% ( 1 / 8) in 'Test.QuickCheck.Exception' 0% ( 0 / 18) in 'Test.QuickCheck.Text' 50% ( 1 / 2) in 'Test.QuickCheck.State' 95% ( 20 / 21) in 'Test.QuickCheck.Gen' 92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 92% ( 12 / 13) in 'Test.QuickCheck.Modifiers' 14% ( 1 / 7) in 'Test.QuickCheck.Function' 59% ( 34 / 58) in 'Test.QuickCheck.Property' 48% ( 13 / 27) in 'Test.QuickCheck.Test' 7% ( 1 / 15) in 'Test.QuickCheck.Monadic' 100% ( 9 / 9) in 'Test.QuickCheck.All' 93% ( 95 /102) in 'Test.QuickCheck' Warning: Test.QuickCheck.Text: could not find link destinations for: Test.QuickCheck.Text.Output Warning: Test.QuickCheck.State: could not find link destinations for: System.Random.StdGen Warning: Test.QuickCheck.Gen: could not find link destinations for: System.Random.StdGen System.Random.Random Warning: Test.QuickCheck.Arbitrary: could not find link destinations for: System.Random.Random Warning: Test.QuickCheck.Property: could not find link destinations for: Test.QuickCheck.Exception.AnException Warning: Test.QuickCheck.Test: could not find link destinations for: System.Random.StdGen Warning: Test.QuickCheck: could not find link destinations for: System.Random.StdGen System.Random.Random Documentation created: dist/doc/html/QuickCheck/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/QuickCheck-2.6/ghc-7.6.3 Registering QuickCheck-2.6... Installed QuickCheck-2.6 Configuring extensible-exceptions-0.1.1.4... Building extensible-exceptions-0.1.1.4... Preprocessing library extensible-exceptions-0.1.1.4... [1 of 1] Compiling Control.Exception.Extensible ( Control/Exception/Extensible.hs, dist/build/Control/Exception/Extensible.o ) In-place registering extensible-exceptions-0.1.1.4... Running Haddock for extensible-exceptions-0.1.1.4... Running hscolour for extensible-exceptions-0.1.1.4... Preprocessing library extensible-exceptions-0.1.1.4... Preprocessing library extensible-exceptions-0.1.1.4... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 Haddock coverage: 100% ( 2 / 2) in 'Control.Exception.Extensible' Documentation created: dist/doc/html/extensible-exceptions/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/extensible-exceptions-0.1.1.4/ghc-7.6.3 Registering extensible-exceptions-0.1.1.4... Installed extensible-exceptions-0.1.1.4 Configuring html-1.0.1.2... Building html-1.0.1.2... Preprocessing library html-1.0.1.2... [1 of 2] Compiling Text.Html.BlockTable ( Text/Html/BlockTable.hs, dist/build/Text/Html/BlockTable.o ) [2 of 2] Compiling Text.Html ( Text/Html.hs, dist/build/Text/Html.o ) In-place registering html-1.0.1.2... Running Haddock for html-1.0.1.2... Running hscolour for html-1.0.1.2... Preprocessing library html-1.0.1.2... Preprocessing library html-1.0.1.2... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 Haddock coverage: 11% ( 1 / 9) in 'Text.Html.BlockTable' 0% ( 1 /222) in 'Text.Html' Documentation created: dist/doc/html/html/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/html-1.0.1.2/ghc-7.6.3 Registering html-1.0.1.2... Installed html-1.0.1.2 Configuring xhtml-3000.2.1... Building xhtml-3000.2.1... Preprocessing library xhtml-3000.2.1... [ 1 of 15] Compiling Text.XHtml.BlockTable ( Text/XHtml/BlockTable.hs, dist/build/Text/XHtml/BlockTable.o ) [ 2 of 15] Compiling Text.XHtml.Internals ( Text/XHtml/Internals.hs, dist/build/Text/XHtml/Internals.o ) [ 3 of 15] Compiling Text.XHtml.Transitional.Elements ( Text/XHtml/Transitional/Elements.hs, dist/build/Text/XHtml/Transitional/Elements.o ) [ 4 of 15] Compiling Text.XHtml.Transitional.Attributes ( Text/XHtml/Transitional/Attributes.hs, dist/build/Text/XHtml/Transitional/Attributes.o ) [ 5 of 15] Compiling Text.XHtml.Frameset.Attributes ( Text/XHtml/Frameset/Attributes.hs, dist/build/Text/XHtml/Frameset/Attributes.o ) [ 6 of 15] Compiling Text.XHtml.Strict.Attributes ( Text/XHtml/Strict/Attributes.hs, dist/build/Text/XHtml/Strict/Attributes.o ) [ 7 of 15] Compiling Text.XHtml.Frameset.Elements ( Text/XHtml/Frameset/Elements.hs, dist/build/Text/XHtml/Frameset/Elements.o ) [ 8 of 15] Compiling Text.XHtml.Strict.Elements ( Text/XHtml/Strict/Elements.hs, dist/build/Text/XHtml/Strict/Elements.o ) [ 9 of 15] Compiling Text.XHtml.Extras ( Text/XHtml/Extras.hs, dist/build/Text/XHtml/Extras.o ) [10 of 15] Compiling Text.XHtml.Strict ( Text/XHtml/Strict.hs, dist/build/Text/XHtml/Strict.o ) [11 of 15] Compiling Text.XHtml.Frameset ( Text/XHtml/Frameset.hs, dist/build/Text/XHtml/Frameset.o ) [12 of 15] Compiling Text.XHtml.Table ( Text/XHtml/Table.hs, dist/build/Text/XHtml/Table.o ) [13 of 15] Compiling Text.XHtml.Debug ( Text/XHtml/Debug.hs, dist/build/Text/XHtml/Debug.o ) [14 of 15] Compiling Text.XHtml.Transitional ( Text/XHtml/Transitional.hs, dist/build/Text/XHtml/Transitional.o ) [15 of 15] Compiling Text.XHtml ( Text/XHtml.hs, dist/build/Text/XHtml.o ) In-place registering xhtml-3000.2.1... Running Haddock for xhtml-3000.2.1... Running hscolour for xhtml-3000.2.1... Preprocessing library xhtml-3000.2.1... Preprocessing library xhtml-3000.2.1... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 Haddock coverage: 73% ( 8 / 11) in 'Text.XHtml.BlockTable' 71% ( 27 / 38) in 'Text.XHtml.Internals' 8% ( 1 / 12) in 'Text.XHtml.Transitional.Elements' 5% ( 2 / 37) in 'Text.XHtml.Transitional.Attributes' 14% ( 1 / 7) in 'Text.XHtml.Frameset.Attributes' 2% ( 1 / 50) in 'Text.XHtml.Strict.Attributes' 20% ( 1 / 5) in 'Text.XHtml.Frameset.Elements' 1% ( 1 / 79) in 'Text.XHtml.Strict.Elements' 34% ( 11 / 32) in 'Text.XHtml.Extras' 19% ( 37 /190) in 'Text.XHtml.Strict' 18% ( 36 /197) in 'Text.XHtml.Frameset' 30% ( 3 / 10) in 'Text.XHtml.Table' 60% ( 3 / 5) in 'Text.XHtml.Debug' 16% ( 39 /244) in 'Text.XHtml.Transitional' 71% ( 5 / 7) in 'Text.XHtml' Documentation created: dist/doc/html/xhtml/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/xhtml-3000.2.1/ghc-7.6.3 Registering xhtml-3000.2.1... Installed xhtml-3000.2.1 Configuring MonadCatchIO-mtl-0.3.0.5... Building MonadCatchIO-mtl-0.3.0.5... Preprocessing library MonadCatchIO-mtl-0.3.0.5... [1 of 1] Compiling Control.Monad.CatchIO ( Control/Monad/CatchIO.hs, dist/build/Control/Monad/CatchIO.o ) Control/Monad/CatchIO.hs:55:15: Warning: In the use of `E.block' (imported from Control.Exception.Extensible, but defined in GHC.IO): Deprecated: "use Control.Exception.mask instead" Control/Monad/CatchIO.hs:56:15: Warning: In the use of `E.unblock' (imported from Control.Exception.Extensible, but defined in GHC.IO): Deprecated: "use Control.Exception.mask instead" In-place registering MonadCatchIO-mtl-0.3.0.5... Running Haddock for MonadCatchIO-mtl-0.3.0.5... Running hscolour for MonadCatchIO-mtl-0.3.0.5... Preprocessing library MonadCatchIO-mtl-0.3.0.5... Preprocessing library MonadCatchIO-mtl-0.3.0.5... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, mtl-2.1.2, transformers-0.3.0.0 dist/build/tmp-17845/Control/Monad/CatchIO.hs:55:15: Warning: In the use of `E.block' (imported from Control.Exception.Extensible, but defined in GHC.IO): Deprecated: "use Control.Exception.mask instead" dist/build/tmp-17845/Control/Monad/CatchIO.hs:56:15: Warning: In the use of `E.unblock' (imported from Control.Exception.Extensible, but defined in GHC.IO): Deprecated: "use Control.Exception.mask instead" Haddock coverage: 85% ( 11 / 13) in 'Control.Monad.CatchIO' Warning: Control.Monad.CatchIO: could not find link destinations for: Control.Monad.IO.Class.MonadIO Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.RWS.Lazy.RWST Documentation created: dist/doc/html/MonadCatchIO-mtl/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/MonadCatchIO-mtl-0.3.0.5/ghc-7.6.3 Registering MonadCatchIO-mtl-0.3.0.5... Installed MonadCatchIO-mtl-0.3.0.5 Configuring cgi-3001.1.8.4... Building cgi-3001.1.8.4... Preprocessing library cgi-3001.1.8.4... Network/CGI.hs:1:16: Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances #-} instead Network/CGI/Monad.hs:1:16: Warning: -fglasgow-exts is deprecated: Use individual extensions instead [1 of 8] Compiling Network.CGI.Header ( Network/CGI/Header.hs, dist/build/Network/CGI/Header.o ) [2 of 8] Compiling Network.CGI.Multipart ( Network/CGI/Multipart.hs, dist/build/Network/CGI/Multipart.o ) [3 of 8] Compiling Network.CGI.Protocol ( Network/CGI/Protocol.hs, dist/build/Network/CGI/Protocol.o ) Network/CGI/Protocol.hs:76:28: Warning: In the use of `mkTyCon' (imported from Data.Typeable): Deprecated: "either derive Typeable, or use mkTyCon3 instead" [4 of 8] Compiling Network.CGI.Monad ( Network/CGI/Monad.hs, dist/build/Network/CGI/Monad.o ) Network/CGI/Monad.hs:30:1: Warning: Module `Prelude' does not export `catch' Network/CGI/Monad.hs:60:28: Warning: In the use of `mkTyCon' (imported from Data.Typeable): Deprecated: "either derive Typeable, or use mkTyCon3 instead" [5 of 8] Compiling Network.CGI.Accept ( Network/CGI/Accept.hs, dist/build/Network/CGI/Accept.o ) [6 of 8] Compiling Network.CGI.Cookie ( Network/CGI/Cookie.hs, dist/build/Network/CGI/Cookie.o ) [7 of 8] Compiling Network.CGI.Compat ( Network/CGI/Compat.hs, dist/build/Network/CGI/Compat.o ) [8 of 8] Compiling Network.CGI ( Network/CGI.hs, dist/build/Network/CGI.o ) In-place registering cgi-3001.1.8.4... Running Haddock for cgi-3001.1.8.4... Running hscolour for cgi-3001.1.8.4... Preprocessing library cgi-3001.1.8.4... Preprocessing library cgi-3001.1.8.4... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, mtl-2.1.2, network-2.4.1.2, parsec-3.1.3, text-0.11.2.3, transformers-0.3.0.0 Network/CGI.hs:1:16: Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances #-} instead Network/CGI/Monad.hs:1:16: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Network/CGI.hs:1:16: Warning: -fallow-overlapping-instances is deprecated: use -XOverlappingInstances or pragma {-# LANGUAGE OverlappingInstances #-} instead Network/CGI/Monad.hs:1:16: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Network/CGI/Protocol.hs:76:28: Warning: In the use of `mkTyCon' (imported from Data.Typeable): Deprecated: "either derive Typeable, or use mkTyCon3 instead" Network/CGI/Monad.hs:30:1: Warning: Module `Prelude' does not export `catch' Network/CGI/Monad.hs:60:28: Warning: In the use of `mkTyCon' (imported from Data.Typeable): Deprecated: "either derive Typeable, or use mkTyCon3 instead" Haddock coverage: 46% ( 11 / 24) in 'Network.CGI.Header' 47% ( 7 / 15) in 'Network.CGI.Multipart' 96% ( 25 / 26) in 'Network.CGI.Protocol' 100% ( 14 / 14) in 'Network.CGI.Monad' 22% ( 2 / 9) in 'Network.CGI.Accept' 100% ( 7 / 7) in 'Network.CGI.Cookie' 80% ( 4 / 5) in 'Network.CGI.Compat' Warning: Couldn't find .haddock for export Control.Monad.IO.Class.MonadIO Warning: Couldn't find .haddock for export Control.Monad.IO.Class.liftIO 85% ( 81 / 95) in 'Network.CGI' Warning: Network.CGI.Monad: could not find link destinations for: Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.Class.MonadTrans Control.Monad.Error.Class.MonadError Warning: Network.CGI.Compat: could not find link destinations for: Network.PortID Warning: Network.CGI: could not find link destinations for: Control.Monad.Trans.Class.MonadTrans Control.Monad.Error.Class.MonadError Control.Monad.Trans.Maybe.MaybeT Control.Monad.Trans.List.ListT Control.Monad.Trans.Identity.IdentityT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.State.Lazy.StateT Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.Writer.Strict.WriterT Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Cont.ContT Text.Parsec.Prim.ParsecT Control.Monad.Trans.RWS.Lazy.RWST Control.Monad.Trans.RWS.Strict.RWST Network.URI.URI Documentation created: dist/doc/html/cgi/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/cgi-3001.1.8.4/ghc-7.6.3 Registering cgi-3001.1.8.4... Installed cgi-3001.1.8.4 Downloading tableaux-0.2... Configuring tableaux-0.2... Building tableaux-0.2... Preprocessing executable 'tableaux.cgi' for tableaux-0.2... [ 1 of 10] Compiling CSS ( src/CSS.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/CSS.o ) [ 2 of 10] Compiling Util ( src/Util.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Util.o ) [ 3 of 10] Compiling Zipper ( src/Zipper.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Zipper.o ) [ 4 of 10] Compiling FOL ( src/FOL.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/FOL.o ) [ 5 of 10] Compiling Examples ( src/Examples.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Examples.o ) [ 6 of 10] Compiling Parser ( src/Parser.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Parser.o ) [ 7 of 10] Compiling Unify ( src/Unify.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Unify.o ) [ 8 of 10] Compiling Tableaux ( src/Tableaux.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Tableaux.o ) [ 9 of 10] Compiling Markup ( src/Markup.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Markup.o ) [10 of 10] Compiling Main ( src/Main.hs, dist/build/tableaux.cgi/tableaux.cgi-tmp/Main.o ) Linking dist/build/tableaux.cgi/tableaux.cgi ... Warning: No documentation was generated as this package does not contain a library. Perhaps you want to use the --executables flag. Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Installed tableaux-0.2