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