[all reports]
| Package |
DrIFT-cabalized-2.3.0 |
| Install |
InstallOk |
| Docs |
Ok |
| 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, old-time-1.1.0.1, base-4.6.0.1 |
| Flags |
none
|
Build log
[view raw]
Resolving dependencies...
Downloading DrIFT-cabalized-2.3.0...
Configuring DrIFT-cabalized-2.3.0...
Building DrIFT-cabalized-2.3.0...
Preprocessing executable 'drift-ghc' for DrIFT-cabalized-2.3.0...
[1 of 2] Compiling Paths_DrIFT_cabalized ( dist/build/autogen/Paths_DrIFT_cabalized.hs, dist/build/drift-ghc/drift-ghc-tmp/Paths_DrIFT_cabalized.o )
[2 of 2] Compiling Main ( drift-ghc.hs, dist/build/drift-ghc/drift-ghc-tmp/Main.o )
Linking dist/build/drift-ghc/drift-ghc ...
Preprocessing executable 'DrIFT' for DrIFT-cabalized-2.3.0...
[ 1 of 23] Compiling Unlit ( src/Unlit.hs, dist/build/DrIFT/DrIFT-tmp/Unlit.o )
[ 2 of 23] Compiling ParseLib2 ( src/ParseLib2.hs, dist/build/DrIFT/DrIFT-tmp/ParseLib2.o )
src/ParseLib2.hs:107:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `newstate': Patterns not matched: ((_, _), [])
[ 3 of 23] Compiling Version ( src/Version.hs, dist/build/DrIFT/DrIFT-tmp/Version.o )
[ 4 of 23] Compiling Pretty ( src/Pretty.lhs, dist/build/DrIFT/DrIFT-tmp/Pretty.o )
src/Pretty.lhs:554:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `aboveNest':
Patterns not matched:
(Beside _ _ _) _ _ _
(Above _ _ _) _ _ _
src/Pretty.lhs:651:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `sep1':
Patterns not matched:
_ (Beside _ _ _) _ _
_ (Above _ _ _) _ _
src/Pretty.lhs:701:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `fill1':
Patterns not matched:
_ (Beside _ _ _) _ _
_ (Above _ _ _) _ _
src/Pretty.lhs:741:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for `get':
Patterns not matched:
Beside _ _ _
Above _ _ _
src/Pretty.lhs:753:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for `get':
Patterns not matched:
_ (Beside _ _ _)
_ (Above _ _ _)
src/Pretty.lhs:765:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for `get1':
Patterns not matched:
_ _ (Beside _ _ _)
_ _ (Above _ _ _)
src/Pretty.lhs:781:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `fits':
Patterns not matched:
_ (Nest _ _)
_ (Union _ _)
_ (Beside _ _ _)
_ (Above _ _ _)
src/Pretty.lhs:798:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `nonEmptySet':
Patterns not matched:
Beside _ _ _
Above _ _ _
src/Pretty.lhs:810:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `oneLiner':
Patterns not matched:
Beside _ _ _
Above _ _ _
src/Pretty.lhs:859:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for `lay':
Patterns not matched:
_ (Union _ _)
_ NoDoc
_ (Beside _ _ _)
_ (Above _ _ _)
src/Pretty.lhs:882:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for `lay2':
Patterns not matched:
_ (Union _ _)
_ NoDoc
_ (Beside _ _ _)
_ (Above _ _ _)
src/Pretty.lhs:894:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for `lay':
Patterns not matched:
(Beside _ _ _) _
(Above _ _ _) _
[ 5 of 23] Compiling GetOpt ( src/GetOpt.hs, dist/build/DrIFT/DrIFT-tmp/GetOpt.o )
[ 6 of 23] Compiling GenUtil ( src/GenUtil.hs, dist/build/DrIFT/DrIFT-tmp/GenUtil.o )
src/GenUtil.hs:102:1: Warning:
Module `Prelude' does not export `catch'
[ 7 of 23] Compiling DataP ( src/DataP.lhs, dist/build/DrIFT/DrIFT-tmp/DataP.o )
[ 8 of 23] Compiling PreludData ( src/PreludData.hs, dist/build/DrIFT/DrIFT-tmp/PreludData.o )
[ 9 of 23] Compiling RuleUtils ( src/RuleUtils.hs, dist/build/DrIFT/DrIFT-tmp/RuleUtils.o )
[10 of 23] Compiling Rules.Arbitrary ( src/Rules/Arbitrary.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Arbitrary.o )
src/Rules/Arbitrary.hs:59:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleArbitrary':
Patterns not matched:
Directive
TypeName _
src/Rules/Arbitrary.hs:65:23: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `1 .. '
at src/Rules/Arbitrary.hs:65:23-27
(Num a0)
arising from the literal `1' at src/Rules/Arbitrary.hs:65:24
(Show a0)
arising from a use of `alt' at src/Rules/Arbitrary.hs:65:19-21
In the second argument of `zipWith', namely `[1 .. ]'
In the expression: zipWith alt [1 .. ] body
In an equation for `alts': alts = zipWith alt [1 .. ] body
src/Rules/Arbitrary.hs:66:70: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `1 .. '
at src/Rules/Arbitrary.hs:66:70-74
(Num a0)
arising from the literal `1' at src/Rules/Arbitrary.hs:66:71
(Show a0)
arising from a use of `show' at src/Rules/Arbitrary.hs:66:62-65
In the second argument of `zipWith', namely `[1 .. ]'
In the expression: zipWith (\ k _ -> "v" ++ show k) [1 .. ] tys
In an equation for `vs':
vs = zipWith (\ k _ -> "v" ++ show k) [1 .. ] tys
[11 of 23] Compiling Rules.Binary ( src/Rules/Binary.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Binary.o )
src/Rules/Binary.hs:51:31: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/Binary.hs:51:31-35
(Num a0) arising from the literal `0' at src/Rules/Binary.hs:51:32
(Show a0)
arising from a use of `putfn' at src/Rules/Binary.hs:51:22-26
In the second argument of `zipWith3', namely `[0 .. ]'
In the first argument of `(++)', namely
`zipWith3 (putfn k) [0 .. ] cvs cs'
In the first argument of `block', namely
`(zipWith3 (putfn k) [0 .. ] cvs cs ++ [getfn k [0 .. ] cvs cs])'
src/Rules/Binary.hs:52:21: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/Binary.hs:52:21-25
(Num a0) arising from the literal `0' at src/Rules/Binary.hs:52:22
(Show a0)
arising from a use of `getfn' at src/Rules/Binary.hs:52:13-17
In the second argument of `getfn', namely `[0 .. ]'
In the expression: getfn k [0 .. ] cvs cs
In the second argument of `(++)', namely `[getfn k [0 .. ] cvs cs]'
[12 of 23] Compiling Rules.BitsBinary ( src/Rules/BitsBinary.hs, dist/build/DrIFT/DrIFT-tmp/Rules/BitsBinary.o )
src/Rules/BitsBinary.hs:75:14: Warning:
Defaulting the following constraint(s) to type `Integer'
(Integral a0)
arising from a use of `ceiling' at src/Rules/BitsBinary.hs:75:14-20
(Show a0)
arising from a use of `putfn' at src/Rules/BitsBinary.hs:78:22-26
In the first argument of `(.)', namely `ceiling'
In the expression: ceiling . logBase 2 . realToFrac . length
In the expression: (ceiling . logBase 2 . realToFrac . length) cs
src/Rules/BitsBinary.hs:75:24: Warning:
Defaulting the following constraint(s) to type `Double'
(Floating b0)
arising from a use of `logBase' at src/Rules/BitsBinary.hs:75:24-30
(Fractional b0)
arising from a use of `realToFrac'
at src/Rules/BitsBinary.hs:75:36-45
(Num b0)
arising from the literal `2' at src/Rules/BitsBinary.hs:75:32
(RealFrac b0)
arising from a use of `ceiling' at src/Rules/BitsBinary.hs:75:14-20
In the first argument of `(.)', namely `logBase 2'
In the second argument of `(.)', namely
`logBase 2 . realToFrac . length'
In the expression: ceiling . logBase 2 . realToFrac . length
src/Rules/BitsBinary.hs:78:31: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/BitsBinary.hs:78:31-35
(Num a0)
arising from the literal `0' at src/Rules/BitsBinary.hs:78:32
(Show a0)
arising from a use of `putfn' at src/Rules/BitsBinary.hs:78:22-26
In the second argument of `zipWith3', namely `[0 .. ]'
In the first argument of `(++)', namely
`zipWith3 (putfn k) [0 .. ] cvs cs'
In the first argument of `block', namely
`(zipWith3 (putfn k) [0 .. ] cvs cs
++
getfn k [0 .. ] cvs cs
: getFfn k [0 .. ] cvs cs : zipWith (sizefn k) cvs cs)'
src/Rules/BitsBinary.hs:79:20: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/BitsBinary.hs:79:20-24
(Num a0)
arising from the literal `0' at src/Rules/BitsBinary.hs:79:21
(Show a0)
arising from a use of `getfn' at src/Rules/BitsBinary.hs:79:12-16
In the second argument of `getfn', namely `[0 .. ]'
In the first argument of `(:)', namely `getfn k [0 .. ] cvs cs'
In the second argument of `(++)', namely
`getfn k [0 .. ] cvs cs
: getFfn k [0 .. ] cvs cs : zipWith (sizefn k) cvs cs'
src/Rules/BitsBinary.hs:80:21: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/BitsBinary.hs:80:21-25
(Num a0)
arising from the literal `0' at src/Rules/BitsBinary.hs:80:22
(Show a0)
arising from a use of `getFfn' at src/Rules/BitsBinary.hs:80:12-17
In the second argument of `getFfn', namely `[0 .. ]'
In the first argument of `(:)', namely `getFfn k [0 .. ] cvs cs'
In the second argument of `(:)', namely
`getFfn k [0 .. ] cvs cs : zipWith (sizefn k) cvs cs'
[13 of 23] Compiling Rules.FunctorM ( src/Rules/FunctorM.hs, dist/build/DrIFT/DrIFT-tmp/Rules/FunctorM.o )
src/Rules/FunctorM.hs:28:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleFoldable':
Patterns not matched:
Directive
TypeName _
src/Rules/FunctorM.hs:48:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleFunctor':
Patterns not matched:
Directive
TypeName _
src/Rules/FunctorM.hs:67:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleFunctorM':
Patterns not matched:
Directive
TypeName _
src/Rules/FunctorM.hs:86:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleRMapM':
Patterns not matched:
Directive
TypeName _
src/Rules/FunctorM.hs:105:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleTraversable':
Patterns not matched:
Directive
TypeName _
[14 of 23] Compiling Rules.Generic ( src/Rules/Generic.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Generic.o )
[15 of 23] Compiling Rules.GhcBinary ( src/Rules/GhcBinary.hs, dist/build/DrIFT/DrIFT-tmp/Rules/GhcBinary.o )
src/Rules/GhcBinary.hs:4: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()
src/Rules/GhcBinary.hs:79:31: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/GhcBinary.hs:79:31-35
(Num a0)
arising from the literal `0' at src/Rules/GhcBinary.hs:79:32
(Show a0)
arising from a use of `putfn' at src/Rules/GhcBinary.hs:79:22-26
In the second argument of `zipWith3', namely `[0 .. ]'
In the first argument of `(++)', namely
`zipWith3 (putfn k) [0 .. ] cvs cs'
In the first argument of `block', namely
`(zipWith3 (putfn k) [0 .. ] cvs cs ++ [getfn k [0 .. ] cvs cs])'
src/Rules/GhcBinary.hs:80:21: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/GhcBinary.hs:80:21-25
(Num a0)
arising from the literal `0' at src/Rules/GhcBinary.hs:80:22
(Show a0)
arising from a use of `getfn' at src/Rules/GhcBinary.hs:80:13-17
In the second argument of `getfn', namely `[0 .. ]'
In the expression: getfn k [0 .. ] cvs cs
In the second argument of `(++)', namely `[getfn k [0 .. ] cvs cs]'
[16 of 23] Compiling Rules.Monoid ( src/Rules/Monoid.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Monoid.o )
src/Rules/Monoid.hs:65:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `userRuleMonoid':
Patterns not matched:
Directive
TypeName _
[17 of 23] Compiling Rules.Standard ( src/Rules/Standard.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Standard.o )
src/Rules/Standard.hs:61:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `updatefn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:88:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `getfn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:119:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `isfn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:129:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `fromfn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:138:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `hasfn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:156:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `unfn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:209:37: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `1 .. '
at src/Rules/Standard.hs:209:37-42
(Num a0)
arising from the literal `1' at src/Rules/Standard.hs:209:38
(Ord a0) arising from a use of `f' at src/Rules/Standard.hs:208:11
In the second argument of `zip', namely `[1 .. ]'
In the expression: zip (body d) [1 .. ]
In a stmt of a list comprehension: c <- zip (body d) [1 .. ]
src/Rules/Standard.hs:301:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for `listComp': Patterns not matched: _ []
src/Rules/Standard.hs:330:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `fromEnumFn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:330:45: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/Standard.hs:330:45-50
(Num a0)
arising from the literal `0' at src/Rules/Standard.hs:330:46
(Show a0) arising from a use of `f' at src/Rules/Standard.hs:330:33
In the second argument of `zip', namely `[0 .. ]'
In the second argument of `map', namely `(zip body [0 .. ])'
In the expression: map f (zip body [0 .. ])
src/Rules/Standard.hs:336:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `toEnumFn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:336:43: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/Standard.hs:336:43-48
(Num a0)
arising from the literal `0' at src/Rules/Standard.hs:336:44
(Show a0) arising from a use of `f' at src/Rules/Standard.hs:336:31
In the second argument of `zip', namely `[0 .. ]'
In the second argument of `map', namely `(zip body [0 .. ])'
In the expression: map f (zip body [0 .. ])
src/Rules/Standard.hs:342:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `enumFromFn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:362:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `boundedfn':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:368:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `boundedEnum':
Patterns not matched:
Directive
TypeName _
src/Rules/Standard.hs:374:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `boundedSingle':
Patterns not matched:
Directive
TypeName _
[18 of 23] Compiling Rules.Utility ( src/Rules/Utility.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Utility.o )
src/Rules/Utility.hs:10:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `queryGen':
Patterns not matched:
Directive
TypeName _
[19 of 23] Compiling Rules.Xml ( src/Rules/Xml.hs, dist/build/DrIFT/DrIFT-tmp/Rules/Xml.o )
src/Rules/Xml.hs:57:29: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/Xml.hs:57:29-33
(Num a0) arising from the literal `0' at src/Rules/Xml.hs:57:30
(Show a0)
arising from a use of `showsfn' at src/Rules/Xml.hs:57:21-27
In the second argument of `zipWith3', namely `[0 .. ]'
In the second argument of `(:)', namely
`zipWith3 showsfn [0 .. ] cvs cs'
In the second argument of `(:)', namely
`(text "fromContents (CElem (Elem constr [] cs):etc)"
$$ vcat (preorder cs (zipWith readsfn cvs cs)))
: zipWith3 showsfn [0 .. ] cvs cs'
src/Rules/Xml.hs:84:24: Warning:
Defaulting the following constraint(s) to type `Integer'
(Enum a0)
arising from the arithmetic sequence `0 .. '
at src/Rules/Xml.hs:84:24-28
(Num a0) arising from the literal `0' at src/Rules/Xml.hs:84:25
(Show a0)
arising from a use of `showsfn' at src/Rules/Xml.hs:84:16-22
In the second argument of `zipWith3', namely `[0 .. ]'
In the second argument of `(:)', namely
`zipWith3 showsfn [0 .. ] cvs cs'
In the first argument of `block', namely
`(case cs of {
[c]
-> text "parseContents = do"
$$
nest
4
(text "{ inElementWith (flip isPrefixOf)"
<+> text (show (constructor c))
<+> text "$"
$$ parseFn True (head cvs) c
$$ text "}")
_ -> text "parseContents = do"
$$
nest
4
(text "{ e@(Elem t _ _) <- elementWith (flip isPrefixOf)"
<+> text (show (preorder cs (map constructor cs)))
$$ text "; case t of"
$$
nest
2
(text "_"
$$ nest 2 (vcat (preorder cs (zipWith (parseFn False) cvs cs))))
$$ text "}") }
: zipWith3 showsfn [0 .. ] cvs cs)'
[20 of 23] Compiling Rules ( src/Rules.hs, dist/build/DrIFT/DrIFT-tmp/Rules.o )
[21 of 23] Compiling CommandP ( src/CommandP.hs, dist/build/DrIFT/DrIFT-tmp/CommandP.o )
[22 of 23] Compiling ChaseImports ( src/ChaseImports.hs, dist/build/DrIFT/DrIFT-tmp/ChaseImports.o )
src/ChaseImports.hs:123:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for `resolve':
Patterns not matched:
_ ((_, D _ _ _ _ _ _) : _) _
_ ((_, Directive) : _) _
[23 of 23] Compiling Main ( src/DrIFT.hs, dist/build/DrIFT/DrIFT-tmp/Main.o )
Linking dist/build/DrIFT/DrIFT ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables flag.
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Installed DrIFT-cabalized-2.3.0