Resolving dependencies... Configuring mtl-2.2.1... Configuring primitive-0.6.2.0... Building mtl-2.2.1... Building primitive-0.6.2.0... Configuring random-1.1... Installed mtl-2.2.1 Building random-1.1... Installed primitive-0.6.2.0 Installed random-1.1 Configuring tf-random-0.5... Building tf-random-0.5... Installed tf-random-0.5 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Installed QuickCheck-2.9.2 Downloading reaction-logic-2010.11.14... Configuring reaction-logic-2010.11.14... Building reaction-logic-2010.11.14... Failed to install reaction-logic-2010.11.14 Build log ( /home/builder/.cabal/logs/reaction-logic-2010.11.14.log ): cabal: Entering directory '/tmp/cabal-tmp-19221/reaction-logic-2010.11.14' Configuring reaction-logic-2010.11.14... Building reaction-logic-2010.11.14... Preprocessing library reaction-logic-2010.11.14... [1 of 3] Compiling Data.Reactor.Pruned ( Data/Reactor/Pruned.hs, dist/build/Data/Reactor/Pruned.o ) Data/Reactor/Pruned.hs:19:1: warning: [-Wtabs] Tab character found here, and in 109 further locations. Please use spaces instead. Data/Reactor/Pruned.hs:19:9: warning: [-Wunused-top-binds] Defined but not used: ‘value’ Data/Reactor/Pruned.hs:20:9: warning: [-Wunused-top-binds] Defined but not used: ‘sons’ Data/Reactor/Pruned.hs:48:17: warning: [-Wname-shadowing] This binding for ‘xs’ shadows the existing binding bound at Data/Reactor/Pruned.hs:46:17 Data/Reactor/Pruned.hs:65:13: warning: [-Wname-shadowing] This binding for ‘x’ shadows the existing binding bound at Data/Reactor/Pruned.hs:64:45 Data/Reactor/Pruned.hs:66:9: warning: [-Wname-shadowing] This binding for ‘exp’ shadows the existing binding imported from ‘Prelude’ at Data/Reactor/Pruned.hs:5:8-26 (and originally defined in ‘GHC.Float’) Data/Reactor/Pruned.hs:66:13: warning: [-Wname-shadowing] This binding for ‘x’ shadows the existing binding bound at Data/Reactor/Pruned.hs:64:45 Data/Reactor/Pruned.hs:75:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: prop_data_reactor_pruned :: Gen Bool Data/Reactor/Pruned.hs:84:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: prop_node_prune :: Gen Bool Data/Reactor/Pruned.hs:89:34: warning: [-Wunused-matches] Defined but not used: ‘x’ Data/Reactor/Pruned.hs:90:34: warning: [-Wunused-matches] Defined but not used: ‘x’ Data/Reactor/Pruned.hs:91:38: warning: [-Wtype-defaults] • Defaulting the following constraints to type ‘Integer’ (Num a0) arising from a use of ‘k’ at Data/Reactor/Pruned.hs:91:38 (Enum a0) arising from a use of ‘k’ at Data/Reactor/Pruned.hs:91:38 (Ord a0) arising from an operator section at Data/Reactor/Pruned.hs:97:21-22 (Eq a0) arising from an operator section at Data/Reactor/Pruned.hs:97:41-43 • In the first argument of ‘expandM’, namely ‘k’ In the expression: expandM k n In the first argument of ‘foldM’, namely ‘(\ n _ -> expandM k n)’ Data/Reactor/Pruned.hs:91:57: warning: [-Wtype-defaults] • Defaulting the following constraints to type ‘Integer’ (Num a0) arising from the literal ‘0’ at Data/Reactor/Pruned.hs:91:57 (Enum a0) arising from the arithmetic sequence ‘0 .. u’ at Data/Reactor/Pruned.hs:91:56-61 • In the expression: 0 In the third argument of ‘foldM’, namely ‘[0 .. u]’ In a stmt of a 'do' block: n' <- foldM (\ n _ -> expandM k n) (Node 0 []) [0 .. u] Data/Reactor/Pruned.hs:98:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: prop_node_restore :: Gen Bool Data/Reactor/Pruned.hs:103:17: warning: [-Wunused-local-binds] Defined but not used: ‘subtrees’ Data/Reactor/Pruned.hs:103:34: warning: [-Wunused-matches] Defined but not used: ‘x’ Data/Reactor/Pruned.hs:104:34: warning: [-Wunused-matches] Defined but not used: ‘x’ Data/Reactor/Pruned.hs:105:38: warning: [-Wtype-defaults] • Defaulting the following constraints to type ‘Integer’ (Num a0) arising from a use of ‘k’ at Data/Reactor/Pruned.hs:105:38 (Enum a0) arising from a use of ‘k’ at Data/Reactor/Pruned.hs:105:38 (Eq a0) arising from a use of ‘==’ at Data/Reactor/Pruned.hs:106:18-83 • In the first argument of ‘expandM’, namely ‘k’ In the expression: expandM k n In the first argument of ‘foldM’, namely ‘(\ n _ -> expandM k n)’ Data/Reactor/Pruned.hs:105:56: warning: [-Wtype-defaults] • Defaulting the following constraints to type ‘Integer’ (Num a0) arising from the literal ‘0’ at Data/Reactor/Pruned.hs:105:56 (Enum a0) arising from the arithmetic sequence ‘0 .. u’ at Data/Reactor/Pruned.hs:105:55-60 • In the expression: 0 In the third argument of ‘foldM’, namely ‘[0 .. u]’ In a stmt of a 'do' block: n' <- foldM (\ n _ -> expandM k n) (Node 0 []) [0 .. u] [2 of 3] Compiling Data.Reactor.MinimalGraph ( Data/Reactor/MinimalGraph.hs, dist/build/Data/Reactor/MinimalGraph.o ) Data/Reactor/MinimalGraph.hs:9:1: warning: [-Wunused-imports] The import of ‘Control.Exception’ is redundant except perhaps to import instances from ‘Control.Exception’ To import instances alone, use: import Control.Exception() Data/Reactor/MinimalGraph.hs:10:1: warning: [-Wunused-imports] The import of ‘Control.Monad’ is redundant except perhaps to import instances from ‘Control.Monad’ To import instances alone, use: import Control.Monad() Data/Reactor/MinimalGraph.hs:25:1: warning: [-Wtabs] Tab character found here, and in 53 further locations. Please use spaces instead. Data/Reactor/MinimalGraph.hs:58:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: unions :: [[Index]] -> [Index] Data/Reactor/MinimalGraph.hs:60:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: coherent :: Gen Bool [3 of 3] Compiling Data.Reactor ( Data/Reactor.hs, dist/build/Data/Reactor.o ) Data/Reactor.hs:18:1: error: Failed to load interface for ‘Data.Reactor.Untypeds’ Use -v to see a list of the files searched for. Data/Reactor.hs:19:1: error: Failed to load interface for ‘Data.Reactor.Reaction’ Use -v to see a list of the files searched for. Data/Reactor.hs:22:1: error: Failed to load interface for ‘Data.Reactor.Operational’ Use -v to see a list of the files searched for. Data/Reactor.hs:23:1: error: Failed to load interface for ‘Data.Reactor.Serialization’ Use -v to see a list of the files searched for. cabal: Leaving directory '/tmp/cabal-tmp-19221/reaction-logic-2010.11.14' cabal: Error: some packages failed to install: reaction-logic-2010.11.14 failed during the building phase. The exception was: ExitFailure 1