Resolving dependencies... Configuring data-accessor-0.2.2.7... Configuring ghc-paths-0.1.0.9... Building data-accessor-0.2.2.7... Installed data-accessor-0.2.2.7 Configuring mtl-2.2.1... Building mtl-2.2.1... Building ghc-paths-0.1.0.9... Configuring old-locale-1.0.0.7... Installed ghc-paths-0.1.0.9 Building old-locale-1.0.0.7... Configuring network-2.6.3.1... Installed old-locale-1.0.0.7 Configuring random-1.1... Installed mtl-2.2.1 Building random-1.1... Building network-2.6.3.1... Configuring rank1dynamic-0.3.3.0... Installed random-1.1 Building rank1dynamic-0.3.3.0... Configuring stm-2.4.4.1... Installed rank1dynamic-0.3.3.0 Building stm-2.4.4.1... Configuring syb-0.6... Installed stm-2.4.4.1 Configuring transformers-compat-0.5.1.4... Installed network-2.6.3.1 Building syb-0.6... Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed transformers-compat-0.5.1.4 Building text-1.2.2.1... Installed syb-0.6 Configuring old-time-1.1.0.3... Building old-time-1.1.0.3... Configuring distributed-static-0.3.5.0... Installed old-time-1.1.0.3 Building distributed-static-0.3.5.0... Configuring network-multicast-0.1.2... Installed distributed-static-0.3.5.0 Building network-multicast-0.1.2... Configuring exceptions-0.8.3... Installed network-multicast-0.1.2 Building exceptions-0.8.3... Installed exceptions-0.8.3 Configuring temporary-1.2.0.4... Configuring hint-0.6.0... Installed text-1.2.2.1 Building temporary-1.2.0.4... Building hint-0.6.0... Installed temporary-1.2.0.4 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Configuring polyparse-1.12... Installed hashable-1.2.4.0 Building polyparse-1.12... Configuring network-transport-0.4.4.0... Installed hint-0.6.0 Building network-transport-0.4.4.0... Installed polyparse-1.12 Configuring cpphs-1.20.2... Installed network-transport-0.4.4.0 Configuring network-transport-tcp-0.5.1... Building cpphs-1.20.2... Building network-transport-tcp-0.5.1... Configuring distributed-process-0.6.6... Installed network-transport-tcp-0.5.1 Building distributed-process-0.6.6... Installed cpphs-1.20.2 Configuring haskell-src-exts-1.19.0... Building haskell-src-exts-1.19.0... Installed distributed-process-0.6.6 Configuring distributed-process-simplelocalnet-0.2.3.3... Building distributed-process-simplelocalnet-0.2.3.3... Installed distributed-process-simplelocalnet-0.2.3.3 Installed haskell-src-exts-1.19.0 Configuring MuCheck-0.3.0.0... Building MuCheck-0.3.0.0... Failed to install MuCheck-0.3.0.0 Build log ( /home/builder/.cabal/logs/MuCheck-0.3.0.0.log ): cabal: Entering directory '/tmp/cabal-tmp-2477/MuCheck-0.3.0.0' Configuring MuCheck-0.3.0.0... Building MuCheck-0.3.0.0... Preprocessing library MuCheck-0.3.0.0... [ 1 of 11] Compiling Test.MuCheck.Utils.Print ( src/Test/MuCheck/Utils/Print.hs, dist/build/Test/MuCheck/Utils/Print.o ) [ 2 of 11] Compiling Test.MuCheck.Utils.Common ( src/Test/MuCheck/Utils/Common.hs, dist/build/Test/MuCheck/Utils/Common.o ) [ 3 of 11] Compiling Test.MuCheck.TestAdapter ( src/Test/MuCheck/TestAdapter.hs, dist/build/Test/MuCheck/TestAdapter.o ) [ 4 of 11] Compiling Test.MuCheck.MuOp ( src/Test/MuCheck/MuOp.hs, dist/build/Test/MuCheck/MuOp.o ) src/Test/MuCheck/MuOp.hs:17:17: error: • Expecting one more argument to ‘Name’ Expected a type, but ‘Name’ has kind ‘* -> *’ • In the type ‘(Name, Name)’ In the definition of data constructor ‘N’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:17:23: error: • Expecting one more argument to ‘Name’ Expected a type, but ‘Name’ has kind ‘* -> *’ • In the type ‘(Name, Name)’ In the definition of data constructor ‘N’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:18:17: error: • Expecting one more argument to ‘QName’ Expected a type, but ‘QName’ has kind ‘* -> *’ • In the type ‘(QName, QName)’ In the definition of data constructor ‘QN’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:18:24: error: • Expecting one more argument to ‘QName’ Expected a type, but ‘QName’ has kind ‘* -> *’ • In the type ‘(QName, QName)’ In the definition of data constructor ‘QN’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:19:17: error: • Expecting one more argument to ‘QOp’ Expected a type, but ‘QOp’ has kind ‘* -> *’ • In the type ‘(QOp, QOp)’ In the definition of data constructor ‘QO’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:19:22: error: • Expecting one more argument to ‘QOp’ Expected a type, but ‘QOp’ has kind ‘* -> *’ • In the type ‘(QOp, QOp)’ In the definition of data constructor ‘QO’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:20:17: error: • Expecting one more argument to ‘Exp’ Expected a type, but ‘Exp’ has kind ‘* -> *’ • In the type ‘(Exp, Exp)’ In the definition of data constructor ‘E’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:20:22: error: • Expecting one more argument to ‘Exp’ Expected a type, but ‘Exp’ has kind ‘* -> *’ • In the type ‘(Exp, Exp)’ In the definition of data constructor ‘E’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:21:17: error: • Expecting one more argument to ‘Decl’ Expected a type, but ‘Decl’ has kind ‘* -> *’ • In the type ‘(Decl, Decl)’ In the definition of data constructor ‘D’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:21:23: error: • Expecting one more argument to ‘Decl’ Expected a type, but ‘Decl’ has kind ‘* -> *’ • In the type ‘(Decl, Decl)’ In the definition of data constructor ‘D’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:22:17: error: • Expecting one more argument to ‘Literal’ Expected a type, but ‘Literal’ has kind ‘* -> *’ • In the type ‘(Literal, Literal)’ In the definition of data constructor ‘L’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:22:26: error: • Expecting one more argument to ‘Literal’ Expected a type, but ‘Literal’ has kind ‘* -> *’ • In the type ‘(Literal, Literal)’ In the definition of data constructor ‘L’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:23:17: error: • Expecting one more argument to ‘GuardedRhs’ Expected a type, but ‘GuardedRhs’ has kind ‘* -> *’ • In the type ‘(GuardedRhs, GuardedRhs)’ In the definition of data constructor ‘G’ In the data declaration for ‘MuOp’ src/Test/MuCheck/MuOp.hs:23:29: error: • Expecting one more argument to ‘GuardedRhs’ Expected a type, but ‘GuardedRhs’ has kind ‘* -> *’ • In the type ‘(GuardedRhs, GuardedRhs)’ In the definition of data constructor ‘G’ In the data declaration for ‘MuOp’ cabal: Leaving directory '/tmp/cabal-tmp-2477/MuCheck-0.3.0.0' cabal: Error: some packages failed to install: DMuCheck-0.3.0.1 depends on MuCheck-0.3.0.0 which failed to install. MuCheck-0.3.0.0 failed during the building phase. The exception was: ExitFailure 1