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.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [ 8 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [11 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) [12 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [13 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) In-place registering QuickCheck-2.6... Running Haddock for QuickCheck-2.6... Running hscolour for QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: random-1.0.1.1 Haddock coverage: 12% ( 1 / 8) in 'Test.QuickCheck.Exception' 0% ( 0 / 18) in 'Test.QuickCheck.Text' 50% ( 1 / 2) in 'Test.QuickCheck.State' 95% ( 20 / 21) in 'Test.QuickCheck.Gen' 92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 14% ( 1 / 7) in 'Test.QuickCheck.Function' 92% ( 12 / 13) in 'Test.QuickCheck.Modifiers' 59% ( 34 / 58) in 'Test.QuickCheck.Property' 48% ( 13 / 27) in 'Test.QuickCheck.Test' 100% ( 9 / 9) in 'Test.QuickCheck.All' 7% ( 1 / 15) in 'Test.QuickCheck.Monadic' 93% ( 95 /102) in 'Test.QuickCheck' Warning: Test.QuickCheck.Text: could not find link destinations for: Test.QuickCheck.Text.Output Warning: Test.QuickCheck.State: could not find link destinations for: System.Random.StdGen Warning: Test.QuickCheck.Gen: could not find link destinations for: System.Random.StdGen System.Random.Random Warning: Test.QuickCheck.Arbitrary: could not find link destinations for: System.Random.Random Warning: Test.QuickCheck.Property: could not find link destinations for: Test.QuickCheck.Exception.AnException Warning: Test.QuickCheck.Test: could not find link destinations for: System.Random.StdGen Warning: Test.QuickCheck: could not find link destinations for: System.Random.StdGen System.Random.Random Documentation created: dist/doc/html/QuickCheck/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.6 Registering QuickCheck-2.6... Installed QuickCheck-2.6 Configuring 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... 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/x86_64-linux-ghc-7.6.3/extensible-exceptions-0.1.1.4 Registering extensible-exceptions-0.1.1.4... Installed extensible-exceptions-0.1.1.4 Configuring uulib-0.9.15... Building uulib-0.9.15... Preprocessing library uulib-0.9.15... [ 1 of 27] Compiling UU.Util.Utils ( src/UU/Util/Utils.hs, dist/build/UU/Util/Utils.o ) [ 2 of 27] Compiling UU.Util.PermTree ( src/UU/Util/PermTree.hs, dist/build/UU/Util/PermTree.o ) [ 3 of 27] Compiling UU.Util.BinaryTrees ( src/UU/Util/BinaryTrees.hs, dist/build/UU/Util/BinaryTrees.o ) [ 4 of 27] Compiling UU.Pretty.Basic ( src/UU/Pretty/Basic.hs, dist/build/UU/Pretty/Basic.o ) [ 5 of 27] Compiling UU.Pretty.Ext ( src/UU/Pretty/Ext.hs, dist/build/UU/Pretty/Ext.o ) [ 6 of 27] Compiling UU.Pretty ( src/UU/Pretty.hs, dist/build/UU/Pretty.o ) [ 7 of 27] Compiling UU.PPrint ( src/UU/PPrint.hs, dist/build/UU/PPrint.o ) [ 8 of 27] Compiling UU.Parsing.MachineInterface ( src/UU/Parsing/MachineInterface.hs, dist/build/UU/Parsing/MachineInterface.o ) [ 9 of 27] Compiling UU.Parsing.Machine ( src/UU/Parsing/Machine.hs, dist/build/UU/Parsing/Machine.o ) [10 of 27] Compiling UU.Parsing.StateParser ( src/UU/Parsing/StateParser.hs, dist/build/UU/Parsing/StateParser.o ) [11 of 27] Compiling UU.Scanner.Position ( src/UU/Scanner/Position.hs, dist/build/UU/Scanner/Position.o ) [12 of 27] Compiling UU.Scanner.GenToken ( src/UU/Scanner/GenToken.hs, dist/build/UU/Scanner/GenToken.o ) [13 of 27] Compiling UU.Scanner.GenTokenOrd ( src/UU/Scanner/GenTokenOrd.hs, dist/build/UU/Scanner/GenTokenOrd.o ) [14 of 27] Compiling UU.Scanner.GenTokenSymbol ( src/UU/Scanner/GenTokenSymbol.hs, dist/build/UU/Scanner/GenTokenSymbol.o ) [15 of 27] Compiling UU.Scanner.Token ( src/UU/Scanner/Token.hs, dist/build/UU/Scanner/Token.o ) [16 of 27] Compiling UU.Scanner.Scanner ( src/UU/Scanner/Scanner.hs, dist/build/UU/Scanner/Scanner.o ) [17 of 27] Compiling UU.Scanner.TokenShow ( src/UU/Scanner/TokenShow.hs, dist/build/UU/Scanner/TokenShow.o ) [18 of 27] Compiling UU.Parsing.Interface ( src/UU/Parsing/Interface.hs, dist/build/UU/Parsing/Interface.o ) [19 of 27] Compiling UU.Parsing.Derived ( src/UU/Parsing/Derived.hs, dist/build/UU/Parsing/Derived.o ) [20 of 27] Compiling UU.Parsing.Offside ( src/UU/Parsing/Offside.hs, dist/build/UU/Parsing/Offside.o ) [21 of 27] Compiling UU.Scanner.GenTokenParser ( src/UU/Scanner/GenTokenParser.hs, dist/build/UU/Scanner/GenTokenParser.o ) [22 of 27] Compiling UU.Scanner.TokenParser ( src/UU/Scanner/TokenParser.hs, dist/build/UU/Scanner/TokenParser.o ) [23 of 27] Compiling UU.Scanner ( src/UU/Scanner.hs, dist/build/UU/Scanner.o ) [24 of 27] Compiling UU.Parsing ( src/UU/Parsing.hs, dist/build/UU/Parsing.o ) [25 of 27] Compiling UU.Parsing.Merge ( src/UU/Parsing/Merge.hs, dist/build/UU/Parsing/Merge.o ) [26 of 27] Compiling UU.Parsing.Perms ( src/UU/Parsing/Perms.hs, dist/build/UU/Parsing/Perms.o ) [27 of 27] Compiling UU.Parsing.CharParser ( src/UU/Parsing/CharParser.hs, dist/build/UU/Parsing/CharParser.o ) In-place registering uulib-0.9.15... Running Haddock for uulib-0.9.15... Running hscolour for uulib-0.9.15... Preprocessing library uulib-0.9.15... Preprocessing library uulib-0.9.15... Haddock coverage: 0% ( 0 / 7) in 'UU.Util.Utils' 0% ( 0 / 9) in 'UU.Util.PermTree' 0% ( 0 / 6) in 'UU.Util.BinaryTrees' 0% ( 0 / 31) in 'UU.Pretty.Basic' 0% ( 0 / 30) in 'UU.Pretty.Ext' 67% ( 2 / 3) in 'UU.Pretty' Warning: UU.PPrint: pretty is exported separately but will be documented under Pretty. Consider exporting it together with its parent(s) for code clarity. 3% ( 2 / 77) in 'UU.PPrint' 5% ( 1 / 19) in 'UU.Parsing.MachineInterface' 0% ( 0 / 64) in 'UU.Parsing.Machine' 0% ( 0 / 2) in 'UU.Parsing.StateParser' 0% ( 0 / 19) in 'UU.Scanner.Position' 0% ( 0 / 3) in 'UU.Scanner.GenToken' 0% ( 0 / 1) in 'UU.Scanner.GenTokenOrd' 0% ( 0 / 1) in 'UU.Scanner.GenTokenSymbol' 0% ( 0 / 6) in 'UU.Scanner.Token' 0% ( 0 / 13) in 'UU.Scanner.Scanner' 0% ( 0 / 1) in 'UU.Scanner.TokenShow' 12% ( 2 / 16) in 'UU.Parsing.Interface' 16% ( 8 / 50) in 'UU.Parsing.Derived' 12% ( 2 / 16) in 'UU.Parsing.Offside' 0% ( 0 / 10) in 'UU.Scanner.GenTokenParser' 0% ( 0 / 55) in 'UU.Scanner.TokenParser' 80% ( 4 / 5) in 'UU.Scanner' 0% ( 0 / 6) in 'UU.Parsing.CharParser' 50% ( 2 / 4) in 'UU.Parsing' 0% ( 0 / 4) in 'UU.Parsing.Merge' 0% ( 0 / 7) in 'UU.Parsing.Perms' Documentation created: dist/doc/html/uulib/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/uulib-0.9.15 Registering uulib-0.9.15... Installed uulib-0.9.15 Configuring xhtml-3000.2.1... Building xhtml-3000.2.1... Preprocessing library xhtml-3000.2.1... [ 1 of 15] Compiling Text.XHtml.BlockTable ( Text/XHtml/BlockTable.hs, dist/build/Text/XHtml/BlockTable.o ) [ 2 of 15] Compiling Text.XHtml.Internals ( Text/XHtml/Internals.hs, dist/build/Text/XHtml/Internals.o ) [ 3 of 15] Compiling Text.XHtml.Transitional.Elements ( Text/XHtml/Transitional/Elements.hs, dist/build/Text/XHtml/Transitional/Elements.o ) [ 4 of 15] Compiling Text.XHtml.Transitional.Attributes ( Text/XHtml/Transitional/Attributes.hs, dist/build/Text/XHtml/Transitional/Attributes.o ) [ 5 of 15] Compiling Text.XHtml.Frameset.Attributes ( Text/XHtml/Frameset/Attributes.hs, dist/build/Text/XHtml/Frameset/Attributes.o ) [ 6 of 15] Compiling Text.XHtml.Strict.Attributes ( Text/XHtml/Strict/Attributes.hs, dist/build/Text/XHtml/Strict/Attributes.o ) [ 7 of 15] Compiling Text.XHtml.Frameset.Elements ( Text/XHtml/Frameset/Elements.hs, dist/build/Text/XHtml/Frameset/Elements.o ) [ 8 of 15] Compiling Text.XHtml.Strict.Elements ( Text/XHtml/Strict/Elements.hs, dist/build/Text/XHtml/Strict/Elements.o ) [ 9 of 15] Compiling Text.XHtml.Extras ( Text/XHtml/Extras.hs, dist/build/Text/XHtml/Extras.o ) [10 of 15] Compiling Text.XHtml.Strict ( Text/XHtml/Strict.hs, dist/build/Text/XHtml/Strict.o ) [11 of 15] Compiling Text.XHtml.Frameset ( Text/XHtml/Frameset.hs, dist/build/Text/XHtml/Frameset.o ) [12 of 15] Compiling Text.XHtml.Table ( Text/XHtml/Table.hs, dist/build/Text/XHtml/Table.o ) [13 of 15] Compiling Text.XHtml.Debug ( Text/XHtml/Debug.hs, dist/build/Text/XHtml/Debug.o ) [14 of 15] Compiling Text.XHtml.Transitional ( Text/XHtml/Transitional.hs, dist/build/Text/XHtml/Transitional.o ) [15 of 15] Compiling Text.XHtml ( Text/XHtml.hs, dist/build/Text/XHtml.o ) In-place registering xhtml-3000.2.1... Running Haddock for xhtml-3000.2.1... Running hscolour for xhtml-3000.2.1... Preprocessing library xhtml-3000.2.1... Preprocessing library xhtml-3000.2.1... Haddock coverage: 73% ( 8 / 11) in 'Text.XHtml.BlockTable' 71% ( 27 / 38) in 'Text.XHtml.Internals' 8% ( 1 / 12) in 'Text.XHtml.Transitional.Elements' 5% ( 2 / 37) in 'Text.XHtml.Transitional.Attributes' 14% ( 1 / 7) in 'Text.XHtml.Frameset.Attributes' 2% ( 1 / 50) in 'Text.XHtml.Strict.Attributes' 20% ( 1 / 5) in 'Text.XHtml.Frameset.Elements' 1% ( 1 / 79) in 'Text.XHtml.Strict.Elements' 34% ( 11 / 32) in 'Text.XHtml.Extras' 19% ( 37 /190) in 'Text.XHtml.Strict' 18% ( 36 /197) in 'Text.XHtml.Frameset' 30% ( 3 / 10) in 'Text.XHtml.Table' 60% ( 3 / 5) in 'Text.XHtml.Debug' 16% ( 39 /244) in 'Text.XHtml.Transitional' 71% ( 5 / 7) in 'Text.XHtml' Documentation created: dist/doc/html/xhtml/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/xhtml-3000.2.1 Registering xhtml-3000.2.1... Installed xhtml-3000.2.1 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: mtl-2.1.2, transformers-0.3.0.0 dist/build/tmp-14874/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-14874/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/x86_64-linux-ghc-7.6.3/MonadCatchIO-mtl-0.3.0.5 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: 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/x86_64-linux-ghc-7.6.3/cgi-3001.1.8.4 Registering cgi-3001.1.8.4... Installed cgi-3001.1.8.4 Downloading ideas-0.6... Configuring ideas-0.6... Building ideas-0.6... Preprocessing executable 'ideas' for ideas-0.6... [ 1 of 159] Compiling Domain.Math.Numeric.Laws ( src/Domain/Math/Numeric/Laws.hs, dist/build/ideas/ideas-tmp/Domain/Math/Numeric/Laws.o ) src/Domain/Math/Numeric/Laws.hs:22:31: Could not deduce (Eq a) arising from a use of `==' from the context (Num a) bound by the type signature for testNumLaws :: Num a => String -> Gen a -> IO () at src/Domain/Math/Numeric/Laws.hs:21:16-48 Possible fix: add (Eq a) to the context of the type signature for testNumLaws :: Num a => String -> Gen a -> IO () In the first argument of `testNumLawsWith', namely `(==)' In the expression: testNumLawsWith (==) In an equation for `testNumLaws': testNumLaws = testNumLawsWith (==) src/Domain/Math/Numeric/Laws.hs:30:33: Could not deduce (Eq a) arising from a use of `==' from the context (Fractional a) bound by the type signature for testFracLaws :: Fractional a => String -> Gen a -> IO () at src/Domain/Math/Numeric/Laws.hs:29:17-56 Possible fix: add (Eq a) to the context of the type signature for testFracLaws :: Fractional a => String -> Gen a -> IO () In the first argument of `testFracLawsWith', namely `(==)' In the expression: testFracLawsWith (==) In an equation for `testFracLaws': testFracLaws = testFracLawsWith (==) src/Domain/Math/Numeric/Laws.hs:39:6: Could not deduce (Show a) arising from a use of `law1' from the context (Num a) bound by the type signature for numLaws :: Num a => (a -> a -> Bool) -> [Gen a -> IO ()] at src/Domain/Math/Numeric/Laws.hs:37:12-56 Possible fix: add (Show a) to the context of the type signature for numLaws :: Num a => (a -> a -> Bool) -> [Gen a -> IO ()] In the expression: law1 "plus zero left" In the expression: law1 "plus zero left" $ \ a -> 0 + a == a In the expression: [law1 "plus zero left" $ \ a -> 0 + a == a, law1 "plus zero right" $ \ a -> a + 0 == a, law2 "plus comm" $ \ a b -> a + b == b + a, law3 "plus trans" $ \ a b c -> a + (b + c) == (a + b) + c, ....] src/Domain/Math/Numeric/Laws.hs:69:6: Could not deduce (Show a) arising from a use of `law3' from the context (Fractional a) bound by the type signature for fracLaws :: Fractional a => (a -> a -> Bool) -> [Gen a -> IO ()] at src/Domain/Math/Numeric/Laws.hs:67:13-64 Possible fix: add (Show a) to the context of the type signature for fracLaws :: Fractional a => (a -> a -> Bool) -> [Gen a -> IO ()] In the expression: law3 "division numerator" In the expression: law3 "division numerator" $ \ a b c -> (a / b) / c == a / (b * c) <| b /= 0 && c /= 0 In the expression: [law3 "division numerator" $ \ a b c -> (a / b) / c == a / (b * c) <| b /= 0 && c /= 0, law3 "division denominator" $ \ a b c -> a / (b / c) == a * (c / b) <| b /= 0 && c /= 0, law1 "zero numerator" $ \ a -> 0 / a == 0 <| a /= 0, law1 "one numerator" $ \ a -> 1 / a == recip a <| a /= 0, ....] src/Domain/Math/Numeric/Laws.hs:69:84: Could not deduce (Eq a) arising from a use of `/=' from the context (Fractional a) bound by the type signature for fracLaws :: Fractional a => (a -> a -> Bool) -> [Gen a -> IO ()] at src/Domain/Math/Numeric/Laws.hs:67:13-64 Possible fix: add (Eq a) to the context of the type signature for fracLaws :: Fractional a => (a -> a -> Bool) -> [Gen a -> IO ()] In the first argument of `(&&)', namely `b /= 0' In the second argument of `(<|)', namely `b /= 0 && c /= 0' In the expression: (a / b) / c == a / (b * c) <| b /= 0 && c /= 0 Failed to install ideas-0.6 cabal: Error: some packages failed to install: ideas-0.6 failed during the building phase. The exception was: ExitFailure 1