Build #1 for copilot-1.0.1
| Package | copilot-1.0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | random-1.0.1.1, process-1.1.0.2, mtl-2.1.2, filepath-1.3.0.1, directory-1.2.0.1, containers-0.5.0.0, base-4.6.0.1, atom-1.0.12 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.