Resolving dependencies... Configuring bimap-0.2.4... Building bimap-0.2.4... Preprocessing library bimap-0.2.4... [1 of 1] Compiling Data.Bimap ( Data/Bimap.hs, dist/build/Data/Bimap.o ) In-place registering bimap-0.2.4... Running Haddock for bimap-0.2.4... Running hscolour for bimap-0.2.4... Preprocessing library bimap-0.2.4... Preprocessing library bimap-0.2.4... Haddock coverage: 100% ( 59 / 59) in 'Data.Bimap' Documentation created: dist/doc/html/bimap/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/bimap-0.2.4 Registering bimap-0.2.4... Installed bimap-0.2.4 Configuring syb-0.4.1... Building syb-0.4.1... Preprocessing library syb-0.4.1... [ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o ) [ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o ) [ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o ) [ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o ) [ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o ) [ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o ) [ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o ) [ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o ) [ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o ) [10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o ) [11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o ) [12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o ) [13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o ) [14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o ) [15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o ) [16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o ) In-place registering syb-0.4.1... Running Haddock for syb-0.4.1... Running hscolour for syb-0.4.1... Preprocessing library syb-0.4.1... Preprocessing library syb-0.4.1... Haddock coverage: 100% ( 2 / 2) in 'Data.Generics.Basics' 100% ( 2 / 2) in 'Generics.SYB.Basics' 100% ( 1 / 1) in 'Data.Generics.Instances' 100% ( 1 / 1) in 'Generics.SYB.Instances' 96% ( 43 / 45) in 'Data.Generics.Aliases' 100% ( 19 / 19) in 'Data.Generics.Schemes' 100% ( 2 / 2) in 'Generics.SYB.Schemes' 100% ( 6 / 6) in 'Data.Generics.Text' 100% ( 2 / 2) in 'Generics.SYB.Text' 100% ( 16 / 16) in 'Data.Generics.Twins' 100% ( 2 / 2) in 'Generics.SYB.Twins' 100% ( 3 / 3) in 'Data.Generics.Builders' 100% ( 2 / 2) in 'Generics.SYB.Builders' 100% ( 2 / 2) in 'Generics.SYB.Aliases' 100% ( 8 / 8) in 'Data.Generics' 100% ( 2 / 2) in 'Generics.SYB' Documentation created: dist/doc/html/syb/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1 Registering syb-0.4.1... Installed syb-0.4.1 Configuring atom-1.0.12... Building atom-1.0.12... Preprocessing library atom-1.0.12... [ 1 of 12] Compiling Language.Atom.Expressions ( Language/Atom/Expressions.hs, dist/build/Language/Atom/Expressions.o ) Language/Atom/Expressions.hs:571:10: Warning: No explicit method or default declaration for `bit' In the instance declaration for `Bits (E a)' Language/Atom/Expressions.hs:571:10: Warning: No explicit method or default declaration for `testBit' In the instance declaration for `Bits (E a)' Language/Atom/Expressions.hs:571:10: Warning: No explicit method or default declaration for `popCount' In the instance declaration for `Bits (E a)' [ 2 of 12] Compiling Language.Atom.UeMap ( Language/Atom/UeMap.hs, dist/build/Language/Atom/UeMap.o ) [ 3 of 12] Compiling Language.Atom.Elaboration ( Language/Atom/Elaboration.hs, dist/build/Language/Atom/Elaboration.o ) [ 4 of 12] Compiling Language.Atom.Analysis ( Language/Atom/Analysis.hs, dist/build/Language/Atom/Analysis.o ) [ 5 of 12] Compiling Language.Atom.Scheduling ( Language/Atom/Scheduling.hs, dist/build/Language/Atom/Scheduling.o ) [ 6 of 12] Compiling Language.Atom.Language ( Language/Atom/Language.hs, dist/build/Language/Atom/Language.o ) [ 7 of 12] Compiling Language.Atom.Common ( Language/Atom/Common.hs, dist/build/Language/Atom/Common.o ) [ 8 of 12] Compiling Language.Atom.Code ( Language/Atom/Code.hs, dist/build/Language/Atom/Code.o ) [ 9 of 12] Compiling Language.Atom.Compile ( Language/Atom/Compile.hs, dist/build/Language/Atom/Compile.o ) [10 of 12] Compiling Language.Atom.Unit ( Language/Atom/Unit.hs, dist/build/Language/Atom/Unit.o ) [11 of 12] Compiling Language.Atom ( Language/Atom.hs, dist/build/Language/Atom.o ) [12 of 12] Compiling Language.Atom.Example ( Language/Atom/Example.hs, dist/build/Language/Atom/Example.o ) In-place registering atom-1.0.12... Running Haddock for atom-1.0.12... Running hscolour for atom-1.0.12... Preprocessing library atom-1.0.12... Preprocessing library atom-1.0.12... 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-7387/Language/Atom/Expressions.hs:571:10: Warning: No explicit method or default declaration for `bit' In the instance declaration for `Bits (E a)' dist/build/tmp-7387/Language/Atom/Expressions.hs:571:10: Warning: No explicit method or default declaration for `testBit' In the instance declaration for `Bits (E a)' dist/build/tmp-7387/Language/Atom/Expressions.hs:571:10: Warning: No explicit method or default declaration for `popCount' In the instance declaration for `Bits (E a)' Haddock coverage: 73% ( 56 / 77) in 'Language.Atom.Expressions' 76% ( 13 / 17) in 'Language.Atom.UeMap' 57% ( 13 / 23) in 'Language.Atom.Elaboration' 67% ( 2 / 3) in 'Language.Atom.Analysis' 25% ( 1 / 4) in 'Language.Atom.Scheduling' Warning: Couldn't find .haddock for export Control.Monad.IO.Class.liftIO 97% ( 58 / 60) in 'Language.Atom.Language' 100% ( 17 / 17) in 'Language.Atom.Common' 62% ( 5 / 8) in 'Language.Atom.Code' 50% ( 2 / 4) in 'Language.Atom.Compile' 73% ( 8 / 11) in 'Language.Atom.Unit' 100% ( 5 / 5) in 'Language.Atom' 100% ( 3 / 3) in 'Language.Atom.Example' Warning: Language.Atom.UeMap: could not find link destinations for: Control.Monad.Trans.State.Strict.State Warning: Language.Atom.Elaboration: could not find link destinations for: Control.Monad.IO.Class.MonadIO Language.Atom.Elaboration.AtomSt Warning: Language.Atom.Language: could not find link destinations for: Control.Monad.IO.Class.MonadIO Documentation created: dist/doc/html/atom/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/atom-1.0.12 Registering atom-1.0.12... Installed atom-1.0.12 Downloading copilot-1.0.1... Configuring copilot-1.0.1... Building copilot-1.0.1... Preprocessing library copilot-1.0.1... [ 1 of 27] Compiling Language.Copilot.AdHocC ( Language/Copilot/AdHocC.hs, dist/build/Language/Copilot/AdHocC.o ) [ 2 of 27] Compiling Language.Copilot.Help ( Language/Copilot/Help.hs, dist/build/Language/Copilot/Help.o ) [ 3 of 27] Compiling Language.Copilot.Core ( Language/Copilot/Core.hs, dist/build/Language/Copilot/Core.o ) [ 4 of 27] Compiling Language.Copilot.Analyser ( Language/Copilot/Analyser.hs, dist/build/Language/Copilot/Analyser.o ) [ 5 of 27] Compiling Language.Copilot.Interpreter ( Language/Copilot/Interpreter.hs, dist/build/Language/Copilot/Interpreter.o ) [ 6 of 27] Compiling Language.Copilot.AtomToC ( Language/Copilot/AtomToC.hs, dist/build/Language/Copilot/AtomToC.o ) [ 7 of 27] Compiling Language.Copilot.Compiler ( Language/Copilot/Compiler.hs, dist/build/Language/Copilot/Compiler.o ) Language/Copilot/Compiler.hs:427:29: Could not deduce (a ~ b) from the context (Streamable a) bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:(397,15)-(399,57) or from (Streamable a, Streamable b) bound by a pattern with constructor F :: forall a b. (Streamable a, Streamable b) => (b -> a) -> (A.E b -> A.E a) -> Spec b -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:427:5-12 `a' is a rigid type variable bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:397:22 `b' is a rigid type variable bound by a pattern with constructor F :: forall a b. (Streamable a, Streamable b) => (b -> a) -> (A.E b -> A.E a) -> Spec b -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:427:5 Expected type: Spec a Actual type: Spec b In the first argument of sampleExts', namely `s0' In the expression: sampleExts' s0 a In a case alternative: F _ _ s0 -> sampleExts' s0 a Language/Copilot/Compiler.hs:428:33: Could not deduce (a ~ b) from the context (Streamable a) bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:(397,15)-(399,57) or from (Streamable a, Streamable b, Streamable c) bound by a pattern with constructor F2 :: forall a b c. (Streamable a, Streamable b, Streamable c) => (b -> c -> a) -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:428:5-16 `a' is a rigid type variable bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:397:22 `b' is a rigid type variable bound by a pattern with constructor F2 :: forall a b c. (Streamable a, Streamable b, Streamable c) => (b -> c -> a) -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:428:5 Expected type: Spec a Actual type: Spec b In the first argument of sampleExts', namely `s0' In the expression: sampleExts' s0 In the expression: sampleExts' s0 $ sampleExts' s1 a Language/Copilot/Compiler.hs:428:50: Could not deduce (b ~ c) from the context (Streamable a) bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:(397,15)-(399,57) or from (Streamable a, Streamable b, Streamable c) bound by a pattern with constructor F2 :: forall a b c. (Streamable a, Streamable b, Streamable c) => (b -> c -> a) -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:428:5-16 `b' is a rigid type variable bound by a pattern with constructor F2 :: forall a b c. (Streamable a, Streamable b, Streamable c) => (b -> c -> a) -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:428:5 `c' is a rigid type variable bound by a pattern with constructor F2 :: forall a b c. (Streamable a, Streamable b, Streamable c) => (b -> c -> a) -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:428:5 Expected type: Spec a Actual type: Spec c In the first argument of sampleExts', namely `s1' In the second argument of `($)', namely `sampleExts' s1 a' In the expression: sampleExts' s0 $ sampleExts' s1 a Language/Copilot/Compiler.hs:429:36: Could not deduce (a ~ b) from the context (Streamable a) bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:(397,15)-(399,57) or from (Streamable a, Streamable b, Streamable c, Streamable d) bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5-19 `a' is a rigid type variable bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:397:22 `b' is a rigid type variable bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5 Expected type: Spec a Actual type: Spec b In the first argument of sampleExts', namely `s0' In the expression: sampleExts' s0 In the expression: sampleExts' s0 $ sampleExts' s1 $ sampleExts' s2 a Language/Copilot/Compiler.hs:429:53: Could not deduce (b ~ d) from the context (Streamable a) bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:(397,15)-(399,57) or from (Streamable a, Streamable b, Streamable c, Streamable d) bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5-19 `b' is a rigid type variable bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5 `d' is a rigid type variable bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5 Expected type: Spec a Actual type: Spec c In the first argument of sampleExts', namely `s1' In the expression: sampleExts' s1 In the second argument of `($)', namely `sampleExts' s1 $ sampleExts' s2 a' Language/Copilot/Compiler.hs:430:38: Could not deduce (c ~ d) from the context (Streamable a) bound by the type signature for sampleExts :: Streamable a => Outputs -> TmpSamples -> Name -> Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())] at Language/Copilot/Compiler.hs:(397,15)-(399,57) or from (Streamable a, Streamable b, Streamable c, Streamable d) bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5-19 `c' is a rigid type variable bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5 `d' is a rigid type variable bound by a pattern with constructor F3 :: forall a b c d. (Streamable a, Streamable b, Streamable c, Streamable d) => (b -> c -> d -> a) -> (A.E b -> A.E c -> A.E d -> A.E a) -> Spec b -> Spec c -> Spec d -> Spec a, in a case alternative at Language/Copilot/Compiler.hs:429:5 Expected type: Spec a Actual type: Spec d In the first argument of sampleExts', namely `s2' In the second argument of `($)', namely `sampleExts' s2 a' In the second argument of `($)', namely `sampleExts' s1 $ sampleExts' s2 a' Failed to install copilot-1.0.1 cabal: Error: some packages failed to install: copilot-1.0.1 failed during the building phase. The exception was: ExitFailure 1