Build #1 for gencheck-0.1
| Package | gencheck-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.3.0.0, template-haskell-2.8.0.0, random-1.0.1.1, memoize-0.6, ieee754-0.7.3, containers-0.5.0.0, combinat-0.2.4.1, base-4.6.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading combinat-0.2.4.1...
Configuring combinat-0.2.4.1...
Building combinat-0.2.4.1...
Preprocessing library combinat-0.2.4.1...
Math/Combinat/Permutations.hs:54:0:
warning: extra tokens at end of #endif directive [enabled by default]
[ 1 of 17] Compiling Math.Combinat.Helper ( Math/Combinat/Helper.hs, dist/build/Math/Combinat/Helper.o )
Math/Combinat/Helper.hs:4:1: Warning:
The import of `Control.Monad' is redundant
except perhaps to import instances from `Control.Monad'
To import instances alone, use: import Control.Monad()
Math/Combinat/Helper.hs:17:1: Warning:
SPECIALISE pragma for non-overloaded function `swap'
Math/Combinat/Helper.hs:18:1: Warning:
SPECIALISE pragma for non-overloaded function `swap'
Math/Combinat/Helper.hs:88:10: Warning:
This binding for `y' shadows the existing binding
bound at Math/Combinat/Helper.hs:86:16
[ 2 of 17] Compiling Math.Combinat.Numbers.Primes ( Math/Combinat/Numbers/Primes.hs, dist/build/Math/Combinat/Numbers/Primes.o )
Math/Combinat/Numbers/Primes.hs:47:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `sieve': Patterns not matched: _ [] _
Math/Combinat/Numbers/Primes.hs:57:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `fold3t':
Patterns not matched:
[]
[] : _
Math/Combinat/Numbers/Primes.hs:59:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `pairs':
Patterns not matched:
[]
[] : _
[_ : _]
Math/Combinat/Numbers/Primes.hs:62:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `gaps': Patterns not matched: _ [] _
Math/Combinat/Numbers/Primes.hs:65:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `roll': Patterns not matched: _ [] _
Math/Combinat/Numbers/Primes.hs:69:3: Warning:
Defined but not used: `minus'
Math/Combinat/Numbers/Primes.hs:99:14: Warning:
This binding for `k' shadows the existing binding
bound at Math/Combinat/Numbers/Primes.hs:98:11
Math/Combinat/Numbers/Primes.hs:100:22: Warning:
This binding for `k' shadows the existing binding
bound at Math/Combinat/Numbers/Primes.hs:98:11
Math/Combinat/Numbers/Primes.hs:223:11: Warning:
This binding for `bs' shadows the existing binding
bound at Math/Combinat/Numbers/Primes.hs:215:3
[ 3 of 17] Compiling Math.Combinat.Numbers.Series ( Math/Combinat/Numbers/Series.hs, dist/build/Math/Combinat/Numbers/Series.o )
Math/Combinat/Numbers/Series.hs:75:13: Warning:
This binding for `ks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:72:24
Math/Combinat/Numbers/Series.hs:172:13: Warning:
This binding for `ks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:168:21
Math/Combinat/Numbers/Series.hs:172:17: Warning:
This binding for `ys' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:170:3
Math/Combinat/Numbers/Series.hs:241:17: Warning:
This binding for `aks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:237:22
Math/Combinat/Numbers/Series.hs:241:22: Warning:
This binding for `ys' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:239:3
Math/Combinat/Numbers/Series.hs:265:17: Warning:
This binding for `aks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:261:27
Math/Combinat/Numbers/Series.hs:265:22: Warning:
This binding for `ys' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:263:3
[ 4 of 17] Compiling Math.Combinat.Tuples ( Math/Combinat/Tuples.hs, dist/build/Math/Combinat/Tuples.o )
[ 5 of 17] Compiling Math.Combinat.Numbers ( Math/Combinat/Numbers.hs, dist/build/Math/Combinat/Numbers.o )
[ 6 of 17] Compiling Math.Combinat.Sets ( Math/Combinat/Sets.hs, dist/build/Math/Combinat/Sets.o )
[ 7 of 17] Compiling Math.Combinat.Compositions ( Math/Combinat/Compositions.hs, dist/build/Math/Combinat/Compositions.o )
Math/Combinat/Compositions.hs:9:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Compositions.hs:59:29: Warning:
Defaulting the following constraint(s) to type `Integer'
(Integral a0)
arising from a use of `compositions'
at Math/Combinat/Compositions.hs:59:29-40
(Num a0)
arising from a use of `fromIntegral'
at Math/Combinat/Compositions.hs:63:11-22
(Ord a0)
arising from a use of `>' at Math/Combinat/Compositions.hs:58:9
In the second argument of `($)', namely
`compositions len (d - len)'
In the expression: map plus1 $ compositions len (d - len)
In an equation for `compositions1':
compositions1 len' d'
| len > d = []
| otherwise = map plus1 $ compositions len (d - len)
where
plus1 = map (+ 1)
len = fromIntegral len'
d = fromIntegral d'
[ 8 of 17] Compiling Math.Combinat.Partitions ( Math/Combinat/Partitions.hs, dist/build/Math/Combinat/Partitions.o )
Math/Combinat/Partitions.hs:49:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Partitions.hs:220:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `worker': Patterns not matched: []
Math/Combinat/Partitions.hs:220:17: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:228:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `decrease': Patterns not matched: []
Math/Combinat/Partitions.hs:228:13: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:237:24: Warning:
This binding for `c' shadows the existing binding
bound at Math/Combinat/Partitions.hs:233:19
Math/Combinat/Partitions.hs:237:26: Warning:
This binding for `u' shadows the existing binding
bound at Math/Combinat/Partitions.hs:233:21
Math/Combinat/Partitions.hs:244:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `subtract_rec': Patterns not matched: []
Math/Combinat/Partitions.hs:244:16: Warning:
This binding for `all' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:244:21: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:249:3: Warning:
This binding for `subtract' shadows the existing binding
imported from `Prelude' at Math/Combinat/Partitions.hs:7:8-31
(and originally defined in `GHC.Num')
[ 9 of 17] Compiling Math.Combinat.Trees.Nary ( Math/Combinat/Trees/Nary.hs, dist/build/Math/Combinat/Trees/Nary.o )
[10 of 17] Compiling Math.Combinat.Permutations ( Math/Combinat/Permutations.hs, dist/build/Math/Combinat/Permutations.o )
Math/Combinat/Permutations.hs:71:1: Warning:
The import of `binomial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Permutations.hs:135:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `pairs': Patterns not matched: []
Math/Combinat/Permutations.hs:349:13: Warning:
In the use of `unsafeFreeze'
(imported from Data.Array.ST, but defined in Data.Array.MArray):
Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release"
[11 of 17] Compiling Math.Combinat.Tableaux ( Math/Combinat/Tableaux.hs, dist/build/Math/Combinat/Tableaux.o )
Math/Combinat/Tableaux.hs:27:1: Warning:
The import of `Math.Combinat.Helper' is redundant
except perhaps to import instances from `Math.Combinat.Helper'
To import instances alone, use: import Math.Combinat.Helper()
Math/Combinat/Tableaux.hs:28:1: Warning:
The import of `binomial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Tableaux.hs:77:3: Warning:
This binding for `break' shadows the existing binding
imported from `Data.List' at Math/Combinat/Tableaux.hs:25:1-16
(and originally defined in `GHC.List')
Math/Combinat/Tableaux.hs:79:12: Warning:
This binding for `xs' shadows the existing binding
bound at Math/Combinat/Tableaux.hs:75:18
Math/Combinat/Tableaux.hs:97:3: Warning:
This binding for `shape' shadows the existing binding
defined at Math/Combinat/Tableaux.hs:40:1
Math/Combinat/Tableaux.hs:103:8: Warning:
This binding for `n' shadows the existing binding
bound at Math/Combinat/Tableaux.hs:106:7
Math/Combinat/Tableaux.hs:141:3: Warning:
This binding for `shape' shadows the existing binding
defined at Math/Combinat/Tableaux.hs:40:1
Math/Combinat/Tableaux.hs:149:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `row':
Patterns not matched: _ (ghc-prim:GHC.Types.I# _) _ []
Math/Combinat/Tableaux.hs:150:7: Warning:
This binding for `n' shadows the existing binding
bound at Math/Combinat/Tableaux.hs:140:27
Math/Combinat/Tableaux.hs:154:34: Warning:
This binding for `shape' shadows the existing binding
defined at Math/Combinat/Tableaux.hs:40:1
[12 of 17] Compiling Math.Combinat.Tableaux.Kostka ( Math/Combinat/Tableaux/Kostka.hs, dist/build/Math/Combinat/Tableaux/Kostka.o )
Math/Combinat/Tableaux/Kostka.hs:68:1: Warning:
The import of `Data.Ord' is redundant
except perhaps to import instances from `Data.Ord'
To import instances alone, use: import Data.Ord()
Math/Combinat/Tableaux/Kostka.hs:71:1: Warning:
The import of `Control.Monad' is redundant
except perhaps to import instances from `Control.Monad'
To import instances alone, use: import Control.Monad()
Math/Combinat/Tableaux/Kostka.hs:109:1: Warning:
SPECIALISE pragma for non-overloaded function `triangularArrayUnsafe'
Math/Combinat/Tableaux/Kostka.hs:114:1: Warning:
SPECIALISE pragma for non-overloaded function `fromTriangularArray'
Math/Combinat/Tableaux/Kostka.hs:124:6: Warning:
Defined but not used: type constructor or class `ReverseTableau'
Math/Combinat/Tableaux/Kostka.hs:133:1: Warning:
SPECIALISE pragma for non-overloaded function `reverseTableau'
Math/Combinat/Tableaux/Kostka.hs:184:5: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Tableaux/Kostka.hs:69:1-16
(and originally defined in `GHC.List')
[13 of 17] Compiling Math.Combinat.Combinations ( Math/Combinat/Combinations.hs, dist/build/Math/Combinat/Combinations.o )
Math/Combinat/Combinations.hs:9:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
[14 of 17] Compiling Math.Combinat.Trees.Binary ( Math/Combinat/Trees/Binary.hs, dist/build/Math/Combinat/Trees/Binary.o )
Math/Combinat/Trees/Binary.hs:44:1: Warning:
The import of `Control.Monad' is redundant
except perhaps to import instances from `Control.Monad'
To import instances alone, use: import Control.Monad()
Math/Combinat/Trees/Binary.hs:50:1: Warning:
The import of `Data.List' is redundant
except perhaps to import instances from `Data.List'
To import instances alone, use: import Data.List()
Math/Combinat/Trees/Binary.hs:51:1: Warning:
The import item `Forest(..)' suggests that
`Forest' has (in-scope) constructors or class methods,
but it has none
Math/Combinat/Trees/Binary.hs:60:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Trees/Binary.hs:146:17: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:139:27
Math/Combinat/Trees/Binary.hs:148:31: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:139:27
Math/Combinat/Trees/Binary.hs:164:17: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:157:31
Math/Combinat/Trees/Binary.hs:166:31: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:157:31
Math/Combinat/Trees/Binary.hs:214:3: Warning:
This binding for `next' shadows the existing binding
imported from `System.Random' at Math/Combinat/Trees/Binary.hs:57:1-20
Math/Combinat/Trees/Binary.hs:214:3: Warning:
Pattern match(es) are non-exhaustive
In an equation for `next':
Patterns not matched:
([], _)
([_], [])
Math/Combinat/Trees/Binary.hs:243:11: Warning:
This binding for `rnd' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:238:23
Math/Combinat/Trees/Binary.hs:244:11: Warning:
This binding for `rnd' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:238:23
Math/Combinat/Trees/Binary.hs:310:14: Warning:
In the use of `unsafeFreeze'
(imported from Data.Array.ST, but defined in Data.Array.MArray):
Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release"
Math/Combinat/Trees/Binary.hs:317:10: Warning:
This binding for `rnd' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:306:23
[15 of 17] Compiling Math.Combinat.Trees ( Math/Combinat/Trees.hs, dist/build/Math/Combinat/Trees.o )
[16 of 17] Compiling Math.Combinat.Graphviz ( Math/Combinat/Graphviz.hs, dist/build/Math/Combinat/Graphviz.o )
Math/Combinat/Graphviz.hs:17:1: Warning:
The import of `Control.Applicative' is redundant
except perhaps to import instances from `Control.Applicative'
To import instances alone, use: import Control.Applicative()
Math/Combinat/Graphviz.hs:27:21: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:44:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:59:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:85:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:106:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
[17 of 17] Compiling Math.Combinat ( Math/Combinat.hs, dist/build/Math/Combinat.o )
In-place registering combinat-0.2.4.1...
Running Haddock for combinat-0.2.4.1...
Running hscolour for combinat-0.2.4.1...
Preprocessing library combinat-0.2.4.1...
Preprocessing library combinat-0.2.4.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: random-1.0.1.1,
transformers-0.3.0.0
Math/Combinat/Permutations.hs:54:0:
warning: extra tokens at end of #endif directive [enabled by default]
Math/Combinat/Helper.hs:4:1: Warning:
The import of `Control.Monad' is redundant
except perhaps to import instances from `Control.Monad'
To import instances alone, use: import Control.Monad()
Math/Combinat/Helper.hs:17:1: Warning:
SPECIALISE pragma for non-overloaded function `swap'
Math/Combinat/Helper.hs:18:1: Warning:
SPECIALISE pragma for non-overloaded function `swap'
Math/Combinat/Helper.hs:88:10: Warning:
This binding for `y' shadows the existing binding
bound at Math/Combinat/Helper.hs:86:16
Math/Combinat/Numbers/Primes.hs:69:3: Warning:
Defined but not used: `minus'
Math/Combinat/Numbers/Primes.hs:99:14: Warning:
This binding for `k' shadows the existing binding
bound at Math/Combinat/Numbers/Primes.hs:98:11
Math/Combinat/Numbers/Primes.hs:100:22: Warning:
This binding for `k' shadows the existing binding
bound at Math/Combinat/Numbers/Primes.hs:98:11
Math/Combinat/Numbers/Primes.hs:223:11: Warning:
This binding for `bs' shadows the existing binding
bound at Math/Combinat/Numbers/Primes.hs:215:3
Math/Combinat/Numbers/Series.hs:75:13: Warning:
This binding for `ks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:72:24
Math/Combinat/Numbers/Series.hs:172:13: Warning:
This binding for `ks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:168:21
Math/Combinat/Numbers/Series.hs:172:17: Warning:
This binding for `ys' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:170:3
Math/Combinat/Numbers/Series.hs:241:17: Warning:
This binding for `aks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:237:22
Math/Combinat/Numbers/Series.hs:241:22: Warning:
This binding for `ys' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:239:3
Math/Combinat/Numbers/Series.hs:265:17: Warning:
This binding for `aks' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:261:27
Math/Combinat/Numbers/Series.hs:265:22: Warning:
This binding for `ys' shadows the existing binding
bound at Math/Combinat/Numbers/Series.hs:263:3
Math/Combinat/Compositions.hs:9:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Compositions.hs:59:29: Warning:
Defaulting the following constraint(s) to type `Integer'
(Integral a0)
arising from a use of `compositions'
at Math/Combinat/Compositions.hs:59:29-40
(Num a0)
arising from a use of `fromIntegral'
at Math/Combinat/Compositions.hs:63:11-22
(Ord a0)
arising from a use of `>' at Math/Combinat/Compositions.hs:58:9
In the second argument of `($)', namely
`compositions len (d - len)'
In the expression: map plus1 $ compositions len (d - len)
In an equation for `compositions1':
compositions1 len' d'
| len > d = []
| otherwise = map plus1 $ compositions len (d - len)
where
plus1 = map (+ 1)
len = fromIntegral len'
d = fromIntegral d'
Math/Combinat/Partitions.hs:49:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Partitions.hs:220:17: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:228:13: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:237:24: Warning:
This binding for `c' shadows the existing binding
bound at Math/Combinat/Partitions.hs:233:19
Math/Combinat/Partitions.hs:237:26: Warning:
This binding for `u' shadows the existing binding
bound at Math/Combinat/Partitions.hs:233:21
Math/Combinat/Partitions.hs:244:16: Warning:
This binding for `all' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:244:21: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Partitions.hs:45:1-16
(and originally defined in `GHC.List')
Math/Combinat/Partitions.hs:249:3: Warning:
This binding for `subtract' shadows the existing binding
imported from `Prelude' at Math/Combinat/Partitions.hs:7:8-31
(and originally defined in `GHC.Num')
Math/Combinat/Permutations.hs:71:1: Warning:
The import of `binomial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Permutations.hs:349:13: Warning:
In the use of `unsafeFreeze'
(imported from Data.Array.ST, but defined in Data.Array.MArray):
Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release"
Math/Combinat/Tableaux.hs:27:1: Warning:
The import of `Math.Combinat.Helper' is redundant
except perhaps to import instances from `Math.Combinat.Helper'
To import instances alone, use: import Math.Combinat.Helper()
Math/Combinat/Tableaux.hs:28:1: Warning:
The import of `binomial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Tableaux.hs:77:3: Warning:
This binding for `break' shadows the existing binding
imported from `Data.List' at Math/Combinat/Tableaux.hs:25:1-16
(and originally defined in `GHC.List')
Math/Combinat/Tableaux.hs:79:12: Warning:
This binding for `xs' shadows the existing binding
bound at Math/Combinat/Tableaux.hs:75:18
Math/Combinat/Tableaux.hs:97:3: Warning:
This binding for `shape' shadows the existing binding
defined at Math/Combinat/Tableaux.hs:40:1
Math/Combinat/Tableaux.hs:103:8: Warning:
This binding for `n' shadows the existing binding
bound at Math/Combinat/Tableaux.hs:106:7
Math/Combinat/Tableaux.hs:141:3: Warning:
This binding for `shape' shadows the existing binding
defined at Math/Combinat/Tableaux.hs:40:1
Math/Combinat/Tableaux.hs:150:7: Warning:
This binding for `n' shadows the existing binding
bound at Math/Combinat/Tableaux.hs:140:27
Math/Combinat/Tableaux.hs:154:34: Warning:
This binding for `shape' shadows the existing binding
defined at Math/Combinat/Tableaux.hs:40:1
Math/Combinat/Tableaux/Kostka.hs:68:1: Warning:
The import of `Data.Ord' is redundant
except perhaps to import instances from `Data.Ord'
To import instances alone, use: import Data.Ord()
Math/Combinat/Tableaux/Kostka.hs:71:1: Warning:
The import of `Control.Monad' is redundant
except perhaps to import instances from `Control.Monad'
To import instances alone, use: import Control.Monad()
Math/Combinat/Tableaux/Kostka.hs:109:1: Warning:
SPECIALISE pragma for non-overloaded function `triangularArrayUnsafe'
Math/Combinat/Tableaux/Kostka.hs:114:1: Warning:
SPECIALISE pragma for non-overloaded function `fromTriangularArray'
Math/Combinat/Tableaux/Kostka.hs:124:6: Warning:
Defined but not used: type constructor or class `ReverseTableau'
Math/Combinat/Tableaux/Kostka.hs:133:1: Warning:
SPECIALISE pragma for non-overloaded function `reverseTableau'
Math/Combinat/Tableaux/Kostka.hs:184:5: Warning:
This binding for `last' shadows the existing binding
imported from `Data.List' at Math/Combinat/Tableaux/Kostka.hs:69:1-16
(and originally defined in `GHC.List')
Math/Combinat/Combinations.hs:9:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Trees/Binary.hs:44:1: Warning:
The import of `Control.Monad' is redundant
except perhaps to import instances from `Control.Monad'
To import instances alone, use: import Control.Monad()
Math/Combinat/Trees/Binary.hs:50:1: Warning:
The import of `Data.List' is redundant
except perhaps to import instances from `Data.List'
To import instances alone, use: import Data.List()
Math/Combinat/Trees/Binary.hs:51:1: Warning:
The import item `Forest(..)' suggests that
`Forest' has (in-scope) constructors or class methods,
but it has none
Math/Combinat/Trees/Binary.hs:60:1: Warning:
The import of `factorial'
from module `Math.Combinat.Numbers' is redundant
Math/Combinat/Trees/Binary.hs:146:17: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:139:27
Math/Combinat/Trees/Binary.hs:148:31: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:139:27
Math/Combinat/Trees/Binary.hs:164:17: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:157:31
Math/Combinat/Trees/Binary.hs:166:31: Warning:
This binding for `ps' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:157:31
Math/Combinat/Trees/Binary.hs:214:3: Warning:
This binding for `next' shadows the existing binding
imported from `System.Random' at Math/Combinat/Trees/Binary.hs:57:1-20
Math/Combinat/Trees/Binary.hs:243:11: Warning:
This binding for `rnd' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:238:23
Math/Combinat/Trees/Binary.hs:244:11: Warning:
This binding for `rnd' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:238:23
Math/Combinat/Trees/Binary.hs:310:14: Warning:
In the use of `unsafeFreeze'
(imported from Data.Array.ST, but defined in Data.Array.MArray):
Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release"
Math/Combinat/Trees/Binary.hs:317:10: Warning:
This binding for `rnd' shadows the existing binding
bound at Math/Combinat/Trees/Binary.hs:306:23
Math/Combinat/Graphviz.hs:17:1: Warning:
The import of `Control.Applicative' is redundant
except perhaps to import instances from `Control.Applicative'
To import instances alone, use: import Control.Applicative()
Math/Combinat/Graphviz.hs:27:21: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:44:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:59:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:85:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Math/Combinat/Graphviz.hs:106:3: Warning:
This binding for `lines' shadows the existing binding
imported from `Prelude' at Math/Combinat/Graphviz.hs:4:8-29
(and originally defined in `Data.List')
Haddock coverage:
0% ( 0 / 18) in 'Math.Combinat.Helper'
95% ( 20 / 21) in 'Math.Combinat.Numbers.Primes'
74% ( 17 / 23) in 'Math.Combinat.Numbers.Series'
70% ( 7 / 10) in 'Math.Combinat.Tuples'
94% ( 16 / 17) in 'Math.Combinat.Numbers'
100% ( 10 / 10) in 'Math.Combinat.Sets'
75% ( 6 / 8) in 'Math.Combinat.Compositions'
74% ( 26 / 35) in 'Math.Combinat.Partitions'
53% ( 9 / 17) in 'Math.Combinat.Trees.Nary'
70% ( 30 / 43) in 'Math.Combinat.Permutations'
50% ( 10 / 20) in 'Math.Combinat.Tableaux'
36% ( 4 / 11) in 'Math.Combinat.Tableaux.Kostka'
75% ( 6 / 8) in 'Math.Combinat.Combinations'
58% ( 19 / 33) in 'Math.Combinat.Trees.Binary'
67% ( 2 / 3) in 'Math.Combinat.Trees'
50% ( 3 / 6) in 'Math.Combinat.Graphviz'
100% ( 10 / 10) in 'Math.Combinat'
Warning: Math.Combinat.Permutations: could not find link destinations for:
System.Random.RandomGen
Warning: Math.Combinat.Trees.Binary: could not find link destinations for:
System.Random.RandomGen
Documentation created: dist/doc/html/combinat/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/combinat-0.2.4.1
Registering combinat-0.2.4.1...
Installed combinat-0.2.4.1
Configuring ieee754-0.7.3...
Building ieee754-0.7.3...
Preprocessing library ieee754-0.7.3...
[1 of 2] Compiling Numeric.IEEE ( Numeric/IEEE.hs, dist/build/Numeric/IEEE.o )
[2 of 2] Compiling Data.AEq ( Data/AEq.hs, dist/build/Data/AEq.o )
In-place registering ieee754-0.7.3...
Running Haddock for ieee754-0.7.3...
Running hscolour for ieee754-0.7.3...
Preprocessing library ieee754-0.7.3...
Preprocessing library ieee754-0.7.3...
Haddock coverage:
100% ( 8 / 8) in 'Numeric.IEEE'
100% ( 2 / 2) in 'Data.AEq'
Documentation created: dist/doc/html/ieee754/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ieee754-0.7.3
Registering ieee754-0.7.3...
Installed ieee754-0.7.3
Downloading memoize-0.6...
Configuring memoize-0.6...
Building memoize-0.6...
Preprocessing library memoize-0.6...
[1 of 3] Compiling Data.Function.Memoize.Class ( Data/Function/Memoize/Class.hs, dist/build/Data/Function/Memoize/Class.o )
[2 of 3] Compiling Data.Function.Memoize.TH ( Data/Function/Memoize/TH.hs, dist/build/Data/Function/Memoize/TH.o )
[3 of 3] Compiling Data.Function.Memoize ( Data/Function/Memoize.hs, dist/build/Data/Function/Memoize.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
In-place registering memoize-0.6...
Running Haddock for memoize-0.6...
Running hscolour for memoize-0.6...
Preprocessing library memoize-0.6...
Preprocessing library memoize-0.6...
Haddock coverage:
100% ( 2 / 2) in 'Data.Function.Memoize.Class'
100% ( 4 / 4) in 'Data.Function.Memoize.TH'
100% ( 27 / 27) in 'Data.Function.Memoize'
Documentation created: dist/doc/html/memoize/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/memoize-0.6
Registering memoize-0.6...
Installed memoize-0.6
Downloading gencheck-0.1...
Configuring gencheck-0.1...
Building gencheck-0.1...
Preprocessing library gencheck-0.1...
[ 1 of 15] Compiling Test.GenCheck.Base.Verdict ( Test/GenCheck/Base/Verdict.lhs, dist/build/Test/GenCheck/Base/Verdict.o )
[ 2 of 15] Compiling Test.GenCheck.Base.LabelledPartition ( Test/GenCheck/Base/LabelledPartition.lhs, dist/build/Test/GenCheck/Base/LabelledPartition.o )
Test/GenCheck/Base/LabelledPartition.lhs:87:13:
Could not deduce (LabelledPartition c v)
arising from a use of `empty'
from the context (Fold.Foldable c, Monoid v)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:86:10-52
Possible fix:
add (LabelledPartition c v) to the context of
the instance declaration
In the expression: empty
In an equation for `mempty': mempty = empty
In the instance declaration for `Monoid (c v)'
Test/GenCheck/Base/LabelledPartition.lhs:88:13:
Could not deduce (LabelledPartition c v)
arising from a use of `merge'
from the context (Fold.Foldable c, Monoid v)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:86:10-52
Possible fix:
add (LabelledPartition c v) to the context of
the instance declaration
In the expression: merge
In an equation for `mappend': mappend = merge
In the instance declaration for `Monoid (c v)'
Test/GenCheck/Base/LabelledPartition.lhs:92:46:
Could not deduce (k ~ [c v])
from the context (Ord k, LabelledPartition c v, Monoid v)
bound by the type signature for
fromList :: (Ord k, LabelledPartition c v, Monoid v) =>
[(k, [v])] -> c v
at Test/GenCheck/Base/LabelledPartition.lhs:(90,13)-(91,20)
`k' is a rigid type variable bound by
the type signature for
fromList :: (Ord k, LabelledPartition c v, Monoid v) =>
[(k, [v])] -> c v
at Test/GenCheck/Base/LabelledPartition.lhs:90:13
In the first argument of `new', namely `k'
In the first argument of `merge', namely `(new k ys)'
In the expression: merge (new k ys)
Test/GenCheck/Base/LabelledPartition.lhs:124:10:
Could not deduce (Labelled a)
arising from the superclasses of an instance declaration
from the context (Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
Possible fix:
add (Labelled a) to the context of the instance declaration
In the instance declaration for `LabelledPartition (Map k) a'
Test/GenCheck/Base/LabelledPartition.lhs:126:3:
Couldn't match expected type `[(k0, a0)] -> Map k0 a0'
with actual type `Map k a'
The equation(s) for `new' have two arguments,
but its type `[a] -> Map k a' has only one
In the instance declaration for `LabelledPartition (Map k) a'
Test/GenCheck/Base/LabelledPartition.lhs:127:43:
Could not deduce (a ~ [a1])
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
`a' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
In the first argument of `length', namely `xs'
In the first argument of `(+)', namely `(length xs)'
In the expression: (length xs) + s
Test/GenCheck/Base/LabelledPartition.lhs:128:39:
Could not deduce (k ~ k1)
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
or from (Ord k1)
bound by the type signature for
insert :: Ord k1 => k1 -> a -> Map k a -> Map k a
at Test/GenCheck/Base/LabelledPartition.lhs:128:3-43
`k' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
`k1' is a rigid type variable bound by
the type signature for
insert :: Ord k1 => k1 -> a -> Map k a -> Map k a
at Test/GenCheck/Base/LabelledPartition.lhs:128:3
In the second argument of `Map.insertWith', namely `k'
In the expression: Map.insertWith mappend k [x]
In an equation for `insert':
insert k x = Map.insertWith mappend k [x]
Test/GenCheck/Base/LabelledPartition.lhs:128:41:
Could not deduce (a ~ [a])
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
or from (Ord k1)
bound by the type signature for
insert :: Ord k1 => k1 -> a -> Map k a -> Map k a
at Test/GenCheck/Base/LabelledPartition.lhs:128:3-43
`a' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
In the third argument of `Map.insertWith', namely `[x]'
In the expression: Map.insertWith mappend k [x]
In an equation for `insert':
insert k x = Map.insertWith mappend k [x]
Test/GenCheck/Base/LabelledPartition.lhs:129:16:
Could not deduce (k1 ~ k)
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
or from (Ord k1)
bound by the type signature for
lookup :: Ord k1 => k1 -> Map k a -> Maybe a
at Test/GenCheck/Base/LabelledPartition.lhs:129:3-25
`k1' is a rigid type variable bound by
the type signature for lookup :: Ord k1 => k1 -> Map k a -> Maybe a
at Test/GenCheck/Base/LabelledPartition.lhs:129:3
`k' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
Expected type: k1 -> Map k a -> Maybe a
Actual type: k1 -> Map k1 a -> Maybe a
In the expression: Map.lookup
In an equation for `lookup': lookup = Map.lookup
In the instance declaration for `LabelledPartition (Map k) a'
Test/GenCheck/Base/LabelledPartition.lhs:131:53:
Could not deduce (k1 ~ k)
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
`k1' is a rigid type variable bound by
the type signature for
fold :: (k1 -> a -> b -> b) -> b -> Map k a -> b
at Test/GenCheck/Base/LabelledPartition.lhs:131:3
`k' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
In the first argument of `f', namely `k'
In the first argument of `foldr', namely `(f k)'
In the expression: foldr (f k) y x
Test/GenCheck/Base/LabelledPartition.lhs:131:58:
Could not deduce (a ~ [a])
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
`a' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
In the third argument of `foldr', namely `x'
In the expression: foldr (f k) y x
In the first argument of `Map.foldrWithKey', namely
`(\ k x y -> foldr (f k) y x)'
Test/GenCheck/Base/LabelledPartition.lhs:132:16:
Could not deduce (k ~ k1)
from the context (Fold.Foldable (Map k),
Verdict a,
Labelled a,
Ord k)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10-45
`k' is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
`k1' is a rigid type variable bound by
the type signature for toList :: Map k a -> [(k1, a)]
at Test/GenCheck/Base/LabelledPartition.lhs:132:3
Expected type: Map k a -> [(k1, a)]
Actual type: Map k a -> [(k, a)]
In the expression: Map.toList
In an equation for `toList': toList = Map.toList
In the instance declaration for `LabelledPartition (Map k) a'
Failed to install gencheck-0.1
cabal: Error: some packages failed to install:
gencheck-0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.