Resolving dependencies...
Downloading DrIFT-cabalized-2.2.4...
Configuring DrIFT-cabalized-2.2.4...
Building DrIFT-cabalized-2.2.4...
Preprocessing executable 'DrIFT-cabalized-ghc' for DrIFT-cabalized-2.2.4...
[1 of 2] Compiling Paths_DrIFT_cabalized ( dist/build/autogen/Paths_DrIFT_cabalized.hs, dist/build/DrIFT-cabalized-ghc/DrIFT-cabalized-ghc-tmp/Paths_DrIFT_cabalized.o )
[2 of 2] Compiling Main             ( drift-ghc.hs, dist/build/DrIFT-cabalized-ghc/DrIFT-cabalized-ghc-tmp/Main.o )
Linking dist/build/DrIFT-cabalized-ghc/DrIFT-cabalized-ghc ...
Preprocessing executable 'DrIFT-cabalized' for DrIFT-cabalized-2.2.4...
[ 1 of 23] Compiling Unlit            ( src/Unlit.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Unlit.o )

src/Unlit.hs:17:25: Warning:
    This binding for `x' shadows the existing binding
      bound at src/Unlit.hs:14:17

src/Unlit.hs:17:28: Warning:
    This binding for `xs' shadows the existing binding
      bound at src/Unlit.hs:14:20

src/Unlit.hs:18:19: Warning:
    This binding for `x' shadows the existing binding
      bound at src/Unlit.hs:14:17

src/Unlit.hs:18:21: Warning:
    This binding for `xs' shadows the existing binding
      bound at src/Unlit.hs:14:20

src/Unlit.hs:26:11: Warning: Defined but not used: `x'

src/Unlit.hs:49:17: Warning: Defined but not used: `y'

src/Unlit.hs:49:32: Warning: Defined but not used: `x'

src/Unlit.hs:49:48: Warning: Defined but not used: `xs'

src/Unlit.hs:50:10: Warning: Defined but not used: `file'

src/Unlit.hs:50:15: Warning: Defined but not used: `n'

src/Unlit.hs:52:17: Warning: Defined but not used: `y'

src/Unlit.hs:52:32: Warning: Defined but not used: `x'

src/Unlit.hs:52:48: Warning: Defined but not used: `xs'

src/Unlit.hs:53:10: Warning: Defined but not used: `file'

src/Unlit.hs:53:15: Warning: Defined but not used: `n'

src/Unlit.hs:55:10: Warning: Defined but not used: `file'

src/Unlit.hs:55:15: Warning: Defined but not used: `n'

src/Unlit.hs:57:34: Warning: Defined but not used: `next'

src/Unlit.hs:58:10: Warning: Defined but not used: `file'

src/Unlit.hs:58:15: Warning: Defined but not used: `n'

src/Unlit.hs:60:1: Warning:
    Top-level binding with no type signature:
      message :: forall a.
                 Show a =>
                 [Char] -> a -> [Char] -> [Char] -> [Char]

src/Unlit.hs:67:1: Warning:
    Top-level binding with no type signature:
      inlines :: [Char] -> [[Char]]

src/Unlit.hs:70:22: Warning:
    This binding for `s' shadows the existing binding
      bound at src/Unlit.hs:67:9

src/Unlit.hs:71:17: Warning:
    This binding for `s' shadows the existing binding
      bound at src/Unlit.hs:67:9

src/Unlit.hs:72:16: Warning:
    This binding for `s' shadows the existing binding
      bound at src/Unlit.hs:67:9

src/Unlit.hs:73:13: Warning:
    This binding for `s' shadows the existing binding
      bound at src/Unlit.hs:67:9
[ 2 of 23] Compiling ParseLib2        ( src/ParseLib2.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/ParseLib2.o )

src/ParseLib2.hs:52:26: Warning: Defined but not used: `pos'

src/ParseLib2.hs:57:9: Warning: Defined but not used: `s'

src/ParseLib2.hs:57:26: Warning: Defined but not used: `pos'

src/ParseLib2.hs:57:30: Warning: Defined but not used: `inp'

src/ParseLib2.hs:61:31: Warning: Defined but not used: `pos'

src/ParseLib2.hs:61:35: Warning: Defined but not used: `inp'

src/ParseLib2.hs:74:16: Warning: Defined but not used: `pos'

src/ParseLib2.hs:77:1: Warning: Defined but not used: `set'

src/ParseLib2.hs:90:1: Warning: Defined but not used: `force'

src/ParseLib2.hs:96:39: Warning: Defined but not used: `xs'

src/ParseLib2.hs:107:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `newstate': Patterns not matched: ((_, _), [])

src/ParseLib2.hs:133:50: Warning:
    A do-notation statement discarded a result of type b.
    Suppress this warning by saying "_ <- sep",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:154:40: Warning:
    A do-notation statement discarded a result of type a.
    Suppress this warning by saying "_ <- p",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:157:28: Warning:
    A do-notation statement discarded a result of type a.
    Suppress this warning by saying "_ <- open",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:157:42: Warning:
    A do-notation statement discarded a result of type c.
    Suppress this warning by saying "_ <- close",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:181:26: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- char x",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:181:34: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- string xs",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:195:26: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- char '-'",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:200:26: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- many1 (sat isJunk)",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:202:1: Warning:
    Top-level binding with no type signature: isJunk :: Char -> Bool

src/ParseLib2.hs:208:26: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- string "--"",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:208:39: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- many
                                            (sat (\ x -> (/=) x '\n'))",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:212:14: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- string "{-"",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:213:14: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- sat
                                            (( \ x_ -> notElem x_ ['!', '@', '*']))",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:252:13: Warning: Defined but not used: `dl'

src/ParseLib2.hs:261:24: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- token
                                            (many1 (sat ((.) not isSpace)))",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:266:13: Warning:
    A do-notation statement discarded a result of type b.
    Suppress this warning by saying "_ <- finish",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:267:48: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- item",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:268:11: Warning:
    A do-notation statement discarded a result of type a.
    Suppress this warning by saying "_ <- start",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:280:12: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- token (char u)",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:283:12: Warning:
    A do-notation statement discarded a result of type [[Char]].
    Suppress this warning by saying "_ <- ($)
                                            (.) many (.) token (.) many1 sat
                                            (( \ x_ -> (/=) x_ u))",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:284:12: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- token (char u)",
    or by using the flag -fno-warn-unused-do-bind

src/ParseLib2.hs:287:1: Warning:
    Top-level binding with no type signature:
      justs :: forall t. Maybe t -> [t]

src/ParseLib2.hs:291:1: Warning:
    Top-level binding with no type signature:
      opt :: forall a. Parser [a] -> Parser [a]
[ 3 of 23] Compiling Version          ( src/Version.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Version.o )

src/Version.hs:3:1: Warning:
    Top-level binding with no type signature: package :: [Char]

src/Version.hs:5:1: Warning:
    Top-level binding with no type signature: version :: [Char]

src/Version.hs:8:1: Warning:
    Top-level binding with no type signature: fullName :: [Char]
[ 4 of 23] Compiling Pretty           ( src/Pretty.lhs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Pretty.o )

src/Pretty.lhs:256:13: Warning: Defined but not used: `prec'

src/Pretty.lhs:406:11: Warning: Defined but not used: `p'

src/Pretty.lhs:409:25: Warning:
    This binding for `d' shadows the existing binding
      bound at src/Pretty.lhs:407:14

src/Pretty.lhs:410:25: Warning:
    This binding for `d' shadows the existing binding
      bound at src/Pretty.lhs:407:14

src/Pretty.lhs:445:1: Warning:
    Top-level binding with no type signature: space_text :: TextDetails

src/Pretty.lhs:446:1: Warning:
    Top-level binding with no type signature: nl_text :: TextDetails

src/Pretty.lhs:483:1: Warning:
    Top-level binding with no type signature: nilAbove_ :: Doc -> Doc

src/Pretty.lhs:486:1: Warning:
    Top-level binding with no type signature:
      textBeside_ :: TextDetails -> Int -> Doc -> Doc

src/Pretty.lhs:489:1: Warning:
    Top-level binding with no type signature:
      nest_ :: Int -> Doc -> Doc

src/Pretty.lhs:492:1: Warning:
    Top-level binding with no type signature:
      union_ :: Doc -> Doc -> Doc

src/Pretty.lhs:519:1: Warning:
    Top-level binding with no type signature: ptext :: [Char] -> Doc

src/Pretty.lhs:524:1: Warning:
    Top-level binding with no type signature:
      mkNest :: Int -> Doc -> Doc

src/Pretty.lhs:525:8: Warning: Defined but not used: `k'

src/Pretty.lhs:526:8: Warning: Defined but not used: `k'

src/Pretty.lhs:531:1: Warning:
    Top-level binding with no type signature:
      mkUnion :: Doc -> Doc -> Doc

src/Pretty.lhs:531:15: Warning: Defined but not used: `q'

src/Pretty.lhs:544:1: Warning:
    Top-level binding with no type signature:
      ($+$) :: Doc -> Doc -> Doc

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:554:31: Warning: Defined but not used: `g'

src/Pretty.lhs:554:33: Warning: Defined but not used: `k'

src/Pretty.lhs:554:35: Warning: Defined but not used: `q'

src/Pretty.lhs:558:31: Warning: Defined but not used: `g'

src/Pretty.lhs:568:49: Warning: Defined but not used: `other'

src/Pretty.lhs:576:14: Warning: Defined but not used: `g'

src/Pretty.lhs:576:16: Warning: Defined but not used: `k'

src/Pretty.lhs:599:28: Warning: Defined but not used: `g'

src/Pretty.lhs:599:30: Warning: Defined but not used: `q'

src/Pretty.lhs:601:28: Warning: Defined but not used: `g'

src/Pretty.lhs:614:44: Warning: Defined but not used: `other'

src/Pretty.lhs:622:11: Warning: Defined but not used: `g'

src/Pretty.lhs:642:1: Warning:
    Top-level binding with no type signature:
      sepX :: Bool -> [Doc] -> Doc

src/Pretty.lhs:642:6: Warning: Defined but not used: `x'

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:651:6: Warning: Defined but not used: `g'

src/Pretty.lhs:651:28: Warning: Defined but not used: `k'

src/Pretty.lhs:651:30: Warning: Defined but not used: `ys'

src/Pretty.lhs:659:6: Warning: Defined but not used: `g'

src/Pretty.lhs:666:1: Warning:
    Top-level binding with no type signature:
      sepNB :: Bool -> Doc -> Int -> [Doc] -> Doc

src/Pretty.lhs:696:1: Warning:
    Top-level binding with no type signature:
      fill :: Bool -> [Doc] -> Doc

src/Pretty.lhs:696:6: Warning: Defined but not used: `g'

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:701:7: Warning: Defined but not used: `g'

src/Pretty.lhs:701:29: Warning: Defined but not used: `k'

src/Pretty.lhs:701:31: Warning: Defined but not used: `ys'

src/Pretty.lhs:712:1: Warning:
    Top-level binding with no type signature:
      fillNB :: Bool -> Doc -> Int -> [Doc] -> Doc

src/Pretty.lhs:713:8: Warning: Defined but not used: `g'

src/Pretty.lhs:713:16: Warning: Defined but not used: `k'

src/Pretty.lhs:738:18: Warning: Defined but not used: `w'

src/Pretty.lhs:738:20: Warning: Defined but not used: `r'

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:743:19: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:738:22

src/Pretty.lhs:744:26: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:738:22

src/Pretty.lhs:745:15: Warning: Defined but not used: `k'

src/Pretty.lhs:745:17: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:738:22

src/Pretty.lhs:746:10: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:738:22

src/Pretty.lhs:748:6: Warning: Defined but not used: `mode'

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:753:9: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:753:9: Warning: Defined but not used: `w'

src/Pretty.lhs:754:9: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:754:9: Warning: Defined but not used: `w'

src/Pretty.lhs:755:9: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:755:21: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:756:9: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:756:28: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:757:9: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:757:19: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:758:9: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:758:12: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

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:765:10: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:765:10: Warning: Defined but not used: `w'

src/Pretty.lhs:765:12: Warning: Defined but not used: `sl'

src/Pretty.lhs:766:10: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:766:10: Warning: Defined but not used: `w'

src/Pretty.lhs:766:12: Warning: Defined but not used: `sl'

src/Pretty.lhs:767:10: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:767:25: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:768:10: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:768:32: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:769:10: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:769:21: Warning: Defined but not used: `k'

src/Pretty.lhs:769:23: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:770:10: Warning:
    This binding for `w' shadows the existing binding
      bound at src/Pretty.lhs:748:11

src/Pretty.lhs:770:16: Warning:
    This binding for `p' shadows the existing binding
      bound at src/Pretty.lhs:748:15

src/Pretty.lhs:773:1: Warning:
    Top-level binding with no type signature:
      nicest :: Int -> Int -> Doc -> Doc -> Doc

src/Pretty.lhs:774:1: Warning:
    Top-level binding with no type signature:
      nicest1 :: Int -> Int -> Int -> Doc -> Doc -> Doc

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:781:8: Warning: Defined but not used: `p'

src/Pretty.lhs:782:6: Warning: Defined but not used: `n'

src/Pretty.lhs:783:6: Warning: Defined but not used: `n'

src/Pretty.lhs:784:6: Warning: Defined but not used: `n'

src/Pretty.lhs:787:1: Warning:
    Top-level binding with no type signature:
      minn :: forall a. Ord a => a -> a -> a

src/Pretty.lhs:795:1: Warning:
    Top-level binding with no type signature:
      first :: Doc -> Doc -> Doc

src/Pretty.lhs:798:1: Warning:
    Top-level binding with no type signature:
      nonEmptySet :: Doc -> Bool

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:799:14: Warning: Defined but not used: `p'

src/Pretty.lhs:799:24: Warning: Defined but not used: `q'

src/Pretty.lhs:801:23: Warning: Defined but not used: `p'

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:812:20: Warning: Defined but not used: `p'

src/Pretty.lhs:815:21: Warning: Defined but not used: `q'

src/Pretty.lhs:834:1: Warning:
    Top-level binding with no type signature:
      showDoc :: Doc -> [Char] -> [Char]

src/Pretty.lhs:836:1: Warning:
    Top-level binding with no type signature:
      string_txt :: TextDetails -> [Char] -> [Char]

src/Pretty.lhs:853:65: Warning: Defined but not used: `other'

src/Pretty.lhs:855:1: Warning:
    Top-level binding with no type signature:
      display :: forall t.
                 Mode -> Int -> Int -> (TextDetails -> t -> t) -> t -> Doc -> t

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:860:13: Warning: Defined but not used: `k'

src/Pretty.lhs:878:21: Warning: Defined but not used: `other'

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:885:14: Warning: Defined but not used: `k'

src/Pretty.lhs:890:1: Warning:
    Top-level binding with no type signature: cant_fail :: forall t. t

src/Pretty.lhs:891:1: Warning:
    Top-level binding with no type signature:
      easy_display :: forall t.
                      TextDetails -> (TextDetails -> t -> t) -> t -> Doc -> t

src/Pretty.lhs:891:14: Warning:
    This binding for `nl_text' shadows the existing binding
      defined at src/Pretty.lhs:446:1

src/Pretty.lhs:894:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `lay':
        Patterns not matched:
            (Beside _ _ _) _
            (Above _ _ _) _

src/Pretty.lhs:895:16: Warning: Defined but not used: `p'

src/Pretty.lhs:895:29: Warning: Defined but not used: `no_doc'

src/Pretty.lhs:896:15: Warning: Defined but not used: `k'

src/Pretty.lhs:897:29: Warning: Defined but not used: `no_doc'

src/Pretty.lhs:898:29: Warning: Defined but not used: `no_doc'

src/Pretty.lhs:899:23: Warning: Defined but not used: `sl'

src/Pretty.lhs:901:1: Warning:
    Top-level binding with no type signature:
      indent :: forall a. (Num a, Ord a) => a -> [Char]

src/Pretty.lhs:904:1: Warning:
    Top-level binding with no type signature:
      multi_ch :: forall a. (Eq a, Num a) => a -> Char -> [Char]

src/Pretty.lhs:904:12: Warning: Defined but not used: `ch'

src/Pretty.lhs:907:1: Warning:
    Top-level binding with no type signature:
      spaces :: forall a. (Eq a, Num a) => a -> [Char]
[ 5 of 23] Compiling GetOpt           ( src/GetOpt.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/GetOpt.o )
[ 6 of 23] Compiling GenUtil          ( src/GenUtil.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/GenUtil.o )

src/GenUtil.hs:102:1: Warning:
    Module `Prelude' does not export `catch'

src/GenUtil.hs:132:1: Warning:
    Top-level binding with no type signature:
      groupUnder :: forall a a1. Eq a1 => (a -> a1) -> [a] -> [[a]]

src/GenUtil.hs:133:1: Warning:
    Top-level binding with no type signature:
      sortUnder :: forall a a1. Ord a1 => (a -> a1) -> [a] -> [a]

src/GenUtil.hs:135:1: Warning:
    Top-level binding with no type signature:
      sortGroupUnder :: forall a a1. Ord a1 => (a -> a1) -> [a] -> [[a]]

src/GenUtil.hs:136:1: Warning:
    Top-level binding with no type signature:
      sortGroupUnderF :: forall a t.
                         Ord t =>
                         (a -> t) -> [a] -> [(t, [a])]

src/GenUtil.hs:136:39: Warning:
    This binding for `xs' shadows the existing binding
      bound at src/GenUtil.hs:136:19

src/GenUtil.hs:179:1: Warning:
    Top-level binding with no type signature:
      liftT4 :: forall t t1 t2 t3 t4 t5 t6 t7.
                (t -> t4, t1 -> t5, t2 -> t6, t3 -> t7)
                -> (t, t1, t2, t3) -> (t4, t5, t6, t7)

src/GenUtil.hs:180:1: Warning:
    Top-level binding with no type signature:
      liftT3 :: forall t t1 t2 t3 t4 t5.
                (t -> t3, t1 -> t4, t2 -> t5) -> (t, t1, t2) -> (t3, t4, t5)

src/GenUtil.hs:199:1: Warning:
    Top-level binding with no type signature:
      rtup :: forall t t1. t1 -> t -> (t, t1)

src/GenUtil.hs:200:1: Warning:
    Top-level binding with no type signature:
      triple :: forall t t1 t2. t -> t1 -> t2 -> (t, t1, t2)

src/GenUtil.hs:221:1: Warning:
    SPECIALISE pragma on INLINE function probably won't fire: `repeatM'

src/GenUtil.hs:226:1: Warning:
    SPECIALISE pragma on INLINE function probably won't fire: `repeatM_'

src/GenUtil.hs:231:1: Warning:
    SPECIALISE pragma on INLINE function probably won't fire: `replicateM'

src/GenUtil.hs:236:1: Warning:
    SPECIALISE pragma on INLINE function probably won't fire: `replicateM_'

src/GenUtil.hs:278:1: Warning:
    Top-level binding with no type signature:
      mapFst :: forall t t1 t2. (t -> t1) -> (t, t2) -> (t1, t2)

src/GenUtil.hs:279:1: Warning:
    Top-level binding with no type signature:
      mapSnd :: forall t t1 t2. (t -> t2) -> (t1, t) -> (t1, t2)

src/GenUtil.hs:283:1: Warning:
    Top-level binding with no type signature:
      mapFsts :: forall t t1 t2. (t -> t1) -> [(t, t2)] -> [(t1, t2)]

src/GenUtil.hs:284:1: Warning:
    Top-level binding with no type signature:
      mapSnds :: forall t t1 t2. (t -> t2) -> [(t1, t)] -> [(t1, t2)]

src/GenUtil.hs:307:12: Warning:
    This binding for `xs' shadows the existing binding
      bound at src/GenUtil.hs:306:16

src/GenUtil.hs:309:12: Warning:
    This binding for `xs' shadows the existing binding
      bound at src/GenUtil.hs:306:16

src/GenUtil.hs:349:1: Warning:
    Top-level binding with no type signature:
      expandTabs :: String -> String

src/GenUtil.hs:356:10: Warning:
    This binding for `as' shadows the existing binding
      bound at src/GenUtil.hs:354:4

src/GenUtil.hs:356:17: Warning:
    This binding for `bs' shadows the existing binding
      bound at src/GenUtil.hs:354:7

src/GenUtil.hs:474:1: Warning:
    Top-level binding with no type signature:
      readHexChar :: forall (m :: * -> *). Monad m => Char -> m Int

src/GenUtil.hs:481:11: Warning:
    This binding for `cs' shadows the existing binding
      bound at src/GenUtil.hs:480:9

src/GenUtil.hs:507:1: Warning:
    Top-level binding with no type signature:
      getArgContents :: IO String

src/GenUtil.hs:538:19: Warning:
    This binding for `rest' shadows the existing binding
      bound at src/GenUtil.hs:539:17

src/GenUtil.hs:539:10: Warning:
    This binding for `chunk' shadows the existing binding
      defined at src/GenUtil.hs:313:1
[ 7 of 23] Compiling DataP            ( src/DataP.lhs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/DataP.o )

src/DataP.lhs:37:17: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "data"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:38:17: Warning:
    This binding for `con' shadows the existing binding
      defined at src/DataP.lhs:140:2

src/DataP.lhs:41:17: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "="",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:48:9: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "newtype"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:49:9: Warning:
    This binding for `con' shadows the existing binding
      defined at src/DataP.lhs:140:2

src/DataP.lhs:52:9: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "="",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:58:2: Warning:
    Top-level binding with no type signature:
      constructorP :: Parser [Char]

src/DataP.lhs:60:17: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- string "(:"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:62:17: Warning:
    A do-notation statement discarded a result of type Char.
    Suppress this warning by saying "_ <- char ')'",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:66:2: Warning:
    Top-level binding with no type signature:
      infixconstr :: Parser [Char]

src/DataP.lhs:68:28: Warning:
    This binding for `x' shadows the existing binding
      bound at src/DataP.lhs:67:9

src/DataP.lhs:72:2: Warning:
    Top-level binding with no type signature: variable :: Parser String

src/DataP.lhs:76:2: Warning: Defined but not used: `condecl'

src/DataP.lhs:76:2: Warning:
    Top-level binding with no type signature: condecl :: Parser Body

src/DataP.lhs:81:2: Warning:
    Top-level binding with no type signature: conrecdecl :: Parser Body

src/DataP.lhs:88:2: Warning:
    Top-level binding with no type signature: infixdecl :: Parser Body

src/DataP.lhs:94:2: Warning:
    Top-level binding with no type signature:
      record :: Parser ([String], [Type])

src/DataP.lhs:95:9: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "{"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:97:9: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "}"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:100:2: Warning:
    Top-level binding with no type signature:
      constraint :: Parser [([Char], String)]

src/DataP.lhs:100:32: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "=>"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:106:2: Warning:
    Top-level binding with no type signature:
      deriveP :: Parser [[Char]]

src/DataP.lhs:106:15: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "deriving"",
    or by using the flag -fno-warn-unused-do-bind

src/DataP.lhs:132:2: Warning:
    Top-level binding with no type signature: type1 :: Parser Type

src/DataP.lhs:136:2: Warning:
    Top-level binding with no type signature: type2 :: Parser Type

src/DataP.lhs:138:2: Warning:
    Top-level binding with no type signature: var :: Parser Type

src/DataP.lhs:140:2: Warning:
    Top-level binding with no type signature: con :: Parser Type

src/DataP.lhs:142:2: Warning:
    Top-level binding with no type signature: list :: Parser Type

src/DataP.lhs:146:2: Warning:
    Top-level binding with no type signature: tuple :: Parser Type

src/DataP.lhs:156:9: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "::"",
    or by using the flag -fno-warn-unused-do-bind
[ 8 of 23] Compiling PreludData       ( src/PreludData.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/PreludData.o )
[ 9 of 23] Compiling RuleUtils        ( src/RuleUtils.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/RuleUtils.o )

src/RuleUtils.hs:16:1: Warning:
    Top-level binding with no type signature: x :: Doc

src/RuleUtils.hs:17:1: Warning:
    Top-level binding with no type signature: f :: Doc

src/RuleUtils.hs:19:1: Warning:
    Top-level binding with no type signature: rArrow :: Doc

src/RuleUtils.hs:20:1: Warning:
    Top-level binding with no type signature: lArrow :: Doc

src/RuleUtils.hs:22:1: Warning:
    Top-level binding with no type signature: blank :: Doc

src/RuleUtils.hs:23:1: Warning:
    Top-level binding with no type signature: semicolon :: Doc

src/RuleUtils.hs:28:19: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:29:18: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:49:9: Warning: Defined but not used: `a'

src/RuleUtils.hs:49:12: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:50:12: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:54:8: Warning:
    This binding for `f' shadows the existing binding
      defined at src/RuleUtils.hs:17:1

src/RuleUtils.hs:54:8: Warning: Defined but not used: `f'

src/RuleUtils.hs:55:7: Warning:
    This binding for `f' shadows the existing binding
      defined at src/RuleUtils.hs:17:1

src/RuleUtils.hs:60:7: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:61:8: Warning:
    This binding for `f' shadows the existing binding
      defined at src/RuleUtils.hs:17:1

src/RuleUtils.hs:61:10: Warning: Defined but not used: `g'

src/RuleUtils.hs:64:1: Warning:
    Top-level binding with no type signature: commentLine :: Doc -> Doc

src/RuleUtils.hs:64:13: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:65:1: Warning:
    Top-level binding with no type signature:
      commentBlock :: Doc -> Doc

src/RuleUtils.hs:65:14: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:74:32: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:79:29: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1

src/RuleUtils.hs:97:9: Warning:
    This binding for `f' shadows the existing binding
      defined at src/RuleUtils.hs:17:1

src/RuleUtils.hs:102:32: Warning:
    This binding for `x' shadows the existing binding
      defined at src/RuleUtils.hs:16:1
[10 of 23] Compiling Rules.Arbitrary  ( src/Rules/Arbitrary.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/Arbitrary.o )

src/Rules/Arbitrary.hs:6:1: Warning:
    Top-level binding with no type signature:
      rules :: forall a. [([Char], Data -> Doc, [Char], [Char], Maybe a)]

src/Rules/Arbitrary.hs:40:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/Arbitrary.hs:59:1: Warning:
    Top-level binding with no type signature:
      userRuleArbitrary :: Data -> Doc

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:59:32: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Arbitrary.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Arbitrary.hs:59:32: Warning: Defined but not used: `name'

src/Rules/Arbitrary.hs:59:45: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Arbitrary.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/Arbitrary.hs:59:45: Warning: Defined but not used: `vars'

src/Rules/Arbitrary.hs:59:58: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Arbitrary.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

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:50: Warning:
    This binding for `k' shadows the existing binding
      bound at src/Rules/Arbitrary.hs:66:9

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-cabalized/DrIFT-cabalized-tmp/Rules/Binary.o )

src/Rules/Binary.hs:3: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/Binary.hs:6:1: Warning:
    Top-level binding with no type signature:
      rules :: forall a. [([Char], Data -> Doc, [Char], [Char], Maybe a)]

src/Rules/Binary.hs:13:1: Warning:
    Top-level binding with no type signature: namesupply :: [Doc]

src/Rules/Binary.hs:13:30: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Binary.hs:4:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Binary.hs:15:1: Warning:
    Top-level binding with no type signature:
      mknss :: forall a. [Body] -> [a] -> [[a]]

src/Rules/Binary.hs:25:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/Binary.hs:44:1: Warning:
    Top-level binding with no type signature:
      userRuleBinary :: Data -> Doc

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]'

src/Rules/Binary.hs:55:1: Warning:
    Top-level binding with no type signature:
      putfn :: forall a a1.
               (Eq a, Num a, Show a1) =>
               a -> a1 -> [Doc] -> Body -> Doc

src/Rules/Binary.hs:69:1: Warning:
    Top-level binding with no type signature:
      ppCons :: [Doc] -> Body -> Doc

src/Rules/Binary.hs:71:1: Warning:
    Top-level binding with no type signature:
      getfn :: forall t a. Show a => t -> [a] -> [[Doc]] -> [Body] -> Doc
[12 of 23] Compiling Rules.BitsBinary ( src/Rules/BitsBinary.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/BitsBinary.o )

src/Rules/BitsBinary.hs:4:1: Warning:
    The import of `nub' from module `Data.List' is redundant

src/Rules/BitsBinary.hs:7:1: Warning:
    Top-level binding with no type signature:
      rules :: forall a. [([Char], Data -> Doc, [Char], [Char], Maybe a)]

src/Rules/BitsBinary.hs:41:1: Warning:
    Top-level binding with no type signature: namesupply :: [Doc]

src/Rules/BitsBinary.hs:41:30: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/BitsBinary.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/BitsBinary.hs:43:1: Warning:
    Top-level binding with no type signature:
      mknss :: forall a. [Body] -> [a] -> [[a]]

src/Rules/BitsBinary.hs:53:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/BitsBinary.hs:72:1: Warning:
    Top-level binding with no type signature:
      userRuleBinary :: Data -> Doc

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'

src/Rules/BitsBinary.hs:84:1: Warning:
    Top-level binding with no type signature:
      putfn :: forall a a1.
               (Show a, Show a1) =>
               a -> a1 -> [Doc] -> Body -> Doc

src/Rules/BitsBinary.hs:92:1: Warning:
    Top-level binding with no type signature:
      ppCons :: [Doc] -> Body -> Doc

src/Rules/BitsBinary.hs:94:1: Warning:
    Top-level binding with no type signature:
      getfn :: forall a a1.
               (Show a, Show a1) =>
               a -> [a1] -> [[Doc]] -> [Body] -> Doc

src/Rules/BitsBinary.hs:109:1: Warning:
    Top-level binding with no type signature:
      getFfn :: forall t a a1.
                Show a =>
                t -> [a] -> [[a1]] -> [Body] -> Doc

src/Rules/BitsBinary.hs:109:8: Warning: Defined but not used: `k'

src/Rules/BitsBinary.hs:123:1: Warning:
    Top-level binding with no type signature:
      sizefn :: forall a. Show a => a -> [Doc] -> Body -> Doc
[13 of 23] Compiling Rules.FunctorM   ( src/Rules/FunctorM.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/FunctorM.o )

src/Rules/FunctorM.hs:7:1: Warning:
    Top-level binding with no type signature:
      rules :: forall a. [([Char], Data -> Doc, [Char], [Char], Maybe a)]

src/Rules/FunctorM.hs:16:1: Warning:
    Top-level binding with no type signature:
      hasVar :: String -> Type -> Bool

src/Rules/FunctorM.hs:18:1: Warning:
    Top-level binding with no type signature:
      hasType :: Type -> Type -> Bool

src/Rules/FunctorM.hs:19:9: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:18:12

src/Rules/FunctorM.hs:20:15: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:18:12

src/Rules/FunctorM.hs:22:17: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:18:12

src/Rules/FunctorM.hs:28:1: Warning:
    Top-level binding with no type signature:
      userRuleFoldable :: Data -> Doc

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:28:27: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:29:27: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:29:40: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/FunctorM.hs:29:51: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/FunctorM.hs:36:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/FunctorM.hs:36:44: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/FunctorM.hs:38:14: Warning: Defined but not used: `n'

src/Rules/FunctorM.hs:42:16: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:41:17

src/Rules/FunctorM.hs:44:19: Warning: Defined but not used: `t'

src/Rules/FunctorM.hs:44:21: Warning: Defined but not used: `ts'

src/Rules/FunctorM.hs:48:1: Warning:
    Top-level binding with no type signature:
      userRuleFunctor :: Data -> Doc

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:48:26: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:49:26: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:49:39: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/FunctorM.hs:49:50: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/FunctorM.hs:55:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/FunctorM.hs:55:44: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/FunctorM.hs:61:16: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:60:17

src/Rules/FunctorM.hs:63:19: Warning: Defined but not used: `t'

src/Rules/FunctorM.hs:67:1: Warning:
    Top-level binding with no type signature:
      userRuleFunctorM :: Data -> Doc

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:67:27: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:68:27: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:68:40: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/FunctorM.hs:68:51: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/FunctorM.hs:74:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/FunctorM.hs:74:44: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/FunctorM.hs:76:14: Warning: Defined but not used: `n'

src/Rules/FunctorM.hs:80:16: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:79:17

src/Rules/FunctorM.hs:82:19: Warning: Defined but not used: `t'

src/Rules/FunctorM.hs:86:1: Warning:
    Top-level binding with no type signature:
      userRuleRMapM :: Data -> Doc

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:86:24: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:86:37: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/FunctorM.hs:86:48: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/FunctorM.hs:93:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/FunctorM.hs:93:44: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/FunctorM.hs:95:14: Warning: Defined but not used: `n'

src/Rules/FunctorM.hs:99:16: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:98:17

src/Rules/FunctorM.hs:101:19: Warning: Defined but not used: `t'

src/Rules/FunctorM.hs:105:1: Warning:
    Top-level binding with no type signature:
      userRuleTraversable :: Data -> Doc

src/Rules/FunctorM.hs:105:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `userRuleTraversable':
        Patterns not matched:
            Directive
            TypeName _

src/Rules/FunctorM.hs:105:30: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:106:30: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/FunctorM.hs:106:43: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/FunctorM.hs:106:54: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/FunctorM.hs:113:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/FunctorM.hs:113:44: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/FunctorM.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/FunctorM.hs:119:16: Warning:
    This binding for `t' shadows the existing binding
      bound at src/Rules/FunctorM.hs:118:17

src/Rules/FunctorM.hs:121:19: Warning: Defined but not used: `t'
[14 of 23] Compiling Rules.Generic    ( src/Rules/Generic.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/Generic.o )

src/Rules/Generic.hs:22:1: Warning:
    Top-level binding with no type signature: addPrime :: Doc -> Doc

src/Rules/Generic.hs:24:1: Warning:
    Top-level binding with no type signature:
      ppCons :: [Doc] -> Body -> Doc

src/Rules/Generic.hs:26:1: Warning:
    Top-level binding with no type signature: namesupply :: [Doc]

src/Rules/Generic.hs:26:30: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Generic.hs:28:1: Warning:
    Top-level binding with no type signature:
      mknss :: forall a. [Body] -> [a] -> [[a]]

src/Rules/Generic.hs:38:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/Generic.hs:51:1: Warning:
    Top-level binding with no type signature:
      doublequote :: [Char] -> [Char]

src/Rules/Generic.hs:75:1: Warning:
    Top-level binding with no type signature:
      where_decls :: [Doc] -> Doc

src/Rules/Generic.hs:83:13: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Generic.hs:105:1: Warning:
    Top-level binding with no type signature:
      observefn :: [Doc] -> Body -> Doc

src/Rules/Generic.hs:107:5: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Generic.hs:117:1: Warning:
    Top-level binding with no type signature: atermfn :: Data -> Doc

src/Rules/Generic.hs:124:1: Warning:
    Top-level binding with no type signature:
      makeToATerm :: forall t. t -> Body -> Doc

src/Rules/Generic.hs:124:13: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Generic.hs:124:13: Warning: Defined but not used: `name'

src/Rules/Generic.hs:124:18: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Generic.hs:134:1: Warning:
    Top-level binding with no type signature: defaultToATerm :: Doc

src/Rules/Generic.hs:136:1: Warning:
    Top-level binding with no type signature:
      childToATerm :: Doc -> Doc

src/Rules/Generic.hs:139:1: Warning:
    Top-level binding with no type signature:
      makeFromATerm :: forall t. t -> Body -> Doc

src/Rules/Generic.hs:139:15: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Generic.hs:139:15: Warning: Defined but not used: `name'

src/Rules/Generic.hs:139:20: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Generic.hs:151:1: Warning:
    Top-level binding with no type signature:
      defaultFromATerm :: [Char] -> Doc

src/Rules/Generic.hs:151:18: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Generic.hs:153:1: Warning:
    Top-level binding with no type signature:
      childFromATerm :: Doc -> Doc

src/Rules/Generic.hs:161:1: Warning:
    Top-level binding with no type signature: hfoldfn :: Data -> Doc

src/Rules/Generic.hs:168:1: Warning:
    Top-level binding with no type signature:
      make_hfoldr :: forall t. t -> Body -> Doc

src/Rules/Generic.hs:168:13: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Generic.hs:168:13: Warning: Defined but not used: `name'

src/Rules/Generic.hs:168:18: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Generic.hs:178:1: Warning:
    Top-level binding with no type signature: default_hfoldr :: Doc

src/Rules/Generic.hs:181:1: Warning:
    Top-level binding with no type signature:
      make_conof :: forall t. t -> Body -> Doc

src/Rules/Generic.hs:181:12: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Generic.hs:181:12: Warning: Defined but not used: `name'

src/Rules/Generic.hs:181:17: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Generic.hs:5:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Generic.hs:188:1: Warning:
    Top-level binding with no type signature: default_conof :: Doc
[15 of 23] Compiling Rules.GhcBinary  ( src/Rules/GhcBinary.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-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:7:1: Warning:
    Top-level binding with no type signature:
      rules :: forall a. [([Char], Data -> Doc, [Char], [Char], Maybe a)]

src/Rules/GhcBinary.hs:41:1: Warning:
    Top-level binding with no type signature: namesupply :: [Doc]

src/Rules/GhcBinary.hs:41:30: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/GhcBinary.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/GhcBinary.hs:43:1: Warning:
    Top-level binding with no type signature:
      mknss :: forall a. [Body] -> [a] -> [[a]]

src/Rules/GhcBinary.hs:53:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/GhcBinary.hs:72:1: Warning:
    Top-level binding with no type signature:
      userRuleGhcBinary :: Data -> Doc

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]'

src/Rules/GhcBinary.hs:83:1: Warning:
    Top-level binding with no type signature:
      putfn :: forall a a1.
               (Eq a, Num a, Show a1) =>
               a -> a1 -> [Doc] -> Body -> Doc

src/Rules/GhcBinary.hs:98:1: Warning:
    Top-level binding with no type signature:
      ppCons :: [Doc] -> Body -> Doc

src/Rules/GhcBinary.hs:100:1: Warning:
    Top-level binding with no type signature:
      getfn :: forall t a. Show a => t -> [a] -> [[Doc]] -> [Body] -> Doc
[16 of 23] Compiling Rules.Monoid     ( src/Rules/Monoid.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/Monoid.o )

src/Rules/Monoid.hs:6:1: Warning:
    Top-level binding with no type signature:
      rules :: forall a. [([Char], Data -> Doc, [Char], [Char], Maybe a)]

src/Rules/Monoid.hs:46:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/Monoid.hs:65:1: Warning:
    Top-level binding with no type signature:
      userRuleMonoid :: Data -> Doc

src/Rules/Monoid.hs:65:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `userRuleMonoid':
        Patterns not matched:
            Directive
            TypeName _

src/Rules/Monoid.hs:65:29: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Monoid.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Monoid.hs:65:29: Warning: Defined but not used: `name'

src/Rules/Monoid.hs:65:42: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Monoid.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/Monoid.hs:65:42: Warning: Defined but not used: `vars'

src/Rules/Monoid.hs:65:54: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Monoid.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Monoid.hs:71:5: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Monoid.hs:4:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Monoid.hs:75:25: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Monoid.hs:4:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)
[17 of 23] Compiling Rules.Standard   ( src/Rules/Standard.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/Standard.o )

src/Rules/Standard.hs:34:1: Warning:
    Top-level binding with no type signature: nffn :: Data -> Doc

src/Rules/Standard.hs:37:27: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:37:45: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/Standard.hs:41:4: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/Standard.hs:42:4: Warning:
    This binding for `head' shadows the existing binding
      imported from `Data.List' at src/Rules/Standard.hs:4:1-16
      (and originally defined in `GHC.List')

src/Rules/Standard.hs:43:4: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

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:61:20: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:61:30: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Standard.hs:72:5: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:72:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:72:44: Warning:
    This binding for `labels' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:27:21-26)

src/Rules/Standard.hs:73:19: Warning:
    This binding for `ts' shadows the existing binding
      bound at src/Rules/Standard.hs:73:8

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:88:17: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:88:27: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Standard.hs:99:5: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:99:25: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:99:44: Warning:
    This binding for `labels' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:27:21-26)

src/Rules/Standard.hs:100:19: Warning:
    This binding for `ts' shadows the existing binding
      bound at src/Rules/Standard.hs:100:8

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:119:14: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:121:29: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:121:47: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

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:129:16: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:130:27: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:130:45: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

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:138:17: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:138:27: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Standard.hs:144:34: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:144:53: Warning:
    This binding for `labels' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:27:21-26)

src/Rules/Standard.hs:146:17: Warning:
    This binding for `pattern' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:110:1-7)

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:156:14: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:156:24: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Standard.hs:156:39: Warning:
    This binding for `statement' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:22:25-33)

src/Rules/Standard.hs:163:15: Warning:
    This binding for `pattern' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:110:1-7)

src/Rules/Standard.hs:173:1: Warning:
    Top-level binding with no type signature: dattest :: Data -> Doc

src/Rules/Standard.hs:187:1: Warning:
    Top-level binding with no type signature: eqfn :: Data -> Doc

src/Rules/Standard.hs:190:26: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:190:44: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/Standard.hs:195:11: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:196:9: Warning:
    This binding for `head' shadows the existing binding
      imported from `Data.List' at src/Rules/Standard.hs:4:1-16
      (and originally defined in `GHC.List')

src/Rules/Standard.hs:197:9: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:198:27: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:201:1: Warning:
    Top-level binding with no type signature: defaultEq :: Doc

src/Rules/Standard.hs:207:1: Warning:
    Top-level binding with no type signature: ordfn :: Data -> Doc

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:212:4: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:218:23: Warning:
    This binding for `head' shadows the existing binding
      imported from `Data.List' at src/Rules/Standard.hs:4:1-16
      (and originally defined in `GHC.List')

src/Rules/Standard.hs:221:27: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:222:29: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:242:1: Warning:
    Top-level binding with no type signature: showfn :: Data -> Doc

src/Rules/Standard.hs:245:28: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:245:47: Warning:
    This binding for `labels' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:27:21-26)

src/Rules/Standard.hs:245:60: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/Standard.hs:253:9: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:257:19: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:258:24: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:262:9: Warning:
    This binding for `showChar' shadows the existing binding
      imported from `Prelude' at src/Rules/Standard.hs:1:8-21
      (and originally defined in `GHC.Show')

src/Rules/Standard.hs:262:18: Warning:
    This binding for `c' shadows the existing binding
      bound at src/Rules/Standard.hs:256:9

src/Rules/Standard.hs:263:9: Warning:
    This binding for `showString' shadows the existing binding
      imported from `Prelude' at src/Rules/Standard.hs:1:8-21
      (and originally defined in `GHC.Show')

src/Rules/Standard.hs:263:20: Warning:
    This binding for `s' shadows the existing binding
      bound at src/Rules/Standard.hs:260:9

src/Rules/Standard.hs:268:1: Warning:
    Top-level binding with no type signature: readfn :: Data -> Doc

src/Rules/Standard.hs:270:1: Warning:
    Top-level binding with no type signature:
      readsPrecFn :: Data -> Doc

src/Rules/Standard.hs:276:28: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Standard.hs:276:47: Warning:
    This binding for `labels' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:27:21-26)

src/Rules/Standard.hs:276:60: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/Standard.hs:283:9: Warning:
    This binding for `read' shadows the existing binding
      imported from `Prelude' at src/Rules/Standard.hs:1:8-21
      (and originally defined in `Text.Read')

src/Rules/Standard.hs:286:9: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:289:17: Warning:
    This binding for `f' shadows the existing binding
      bound at src/Rules/Standard.hs:286:9

src/Rules/Standard.hs:295:17: Warning:
    This binding for `comma' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `Pretty' at src/Pretty.lhs:373:1-5)

src/Rules/Standard.hs:300:16: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16: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:301:18: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:303:16: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:304:19: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:306:9: Warning:
    This binding for `vars' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:19:25-28)

src/Rules/Standard.hs:309:13: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:310:9: Warning:
    This binding for `lex' shadows the existing binding
      imported from `Prelude' at src/Rules/Standard.hs:1:8-21
      (and originally defined in `GHC.Read')

src/Rules/Standard.hs:311:9: Warning:
    This binding for `readsPrec' shadows the existing binding
      imported from `Prelude' at src/Rules/Standard.hs:1:8-21
      (and originally defined in `GHC.Read')

src/Rules/Standard.hs:319:1: Warning:
    Top-level binding with no type signature: enumfn :: Data -> Doc

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:20: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

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:332:9: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:332:29: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

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:18: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

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:338:9: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:338:29: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

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:342:19: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:362:1: Warning:
    Top-level binding with no type signature: boundedfn :: Data -> Doc

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:362:20: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Standard.hs:362:30: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:362:43: Warning:
    This binding for `derives' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:21:25-31)

src/Rules/Standard.hs:362:43: Warning:
    Defined but not used: `derives'

src/Rules/Standard.hs:368:1: Warning:
    Top-level binding with no type signature:
      boundedEnum :: Data -> Doc

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:368:22: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:368:34: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:374:1: Warning:
    Top-level binding with no type signature:
      boundedSingle :: Data -> Doc

src/Rules/Standard.hs:374:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `boundedSingle':
        Patterns not matched:
            Directive
            TypeName _

src/Rules/Standard.hs:374:24: Warning:
    This binding for `body' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined in `DataP' at src/DataP.lhs:20:25-28)

src/Rules/Standard.hs:374:36: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:17:1)

src/Rules/Standard.hs:381:1: Warning:
    Top-level binding with no type signature:
      singleton :: forall t. [t] -> Bool

src/Rules/Standard.hs:381:12: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Standard.hs:3:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Standard.hs:381:12: Warning: Defined but not used: `x'
[18 of 23] Compiling Rules.Utility    ( src/Rules/Utility.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/Utility.o )

src/Rules/Utility.hs:3:1: Warning:
    The import of `GenUtil' is redundant
      except perhaps to import instances from `GenUtil'
    To import instances alone, use: import GenUtil()

src/Rules/Utility.hs:10:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `queryGen':
        Patterns not matched:
            Directive
            TypeName _

src/Rules/Utility.hs:10:21: Warning:
    This binding for `name' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Utility.hs:2:1-16
      (and originally defined in `DataP' at src/DataP.lhs:17:25-28)

src/Rules/Utility.hs:18:27: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Utility.hs:2:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Utility.hs:18:48: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Utility.hs:2:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)

src/Rules/Utility.hs:27:27: Warning:
    This binding for `constructor' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Utility.hs:2:1-16
      (and originally defined in `DataP' at src/DataP.lhs:26:21-31)

src/Rules/Utility.hs:27:48: Warning:
    This binding for `types' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Utility.hs:2:1-16
      (and originally defined in `DataP' at src/DataP.lhs:28:21-25)
[19 of 23] Compiling Rules.Xml        ( src/Rules/Xml.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules/Xml.o )

src/Rules/Xml.hs:49:1: Warning:
    Top-level binding with no type signature:
      userRuleXmlOld :: Data -> Doc

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:59:1: Warning:
    Top-level binding with no type signature:
      userRuleXmlNew :: Data -> Doc

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)'

src/Rules/Xml.hs:86:1: Warning:
    Top-level binding with no type signature:
      toHTfn :: [Body] -> [[Doc]] -> Data -> Doc

src/Rules/Xml.hs:104:1: Warning:
    Top-level binding with no type signature: namesupply :: [Doc]

src/Rules/Xml.hs:104:30: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Xml.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Xml.hs:107:1: Warning:
    Top-level binding with no type signature:
      mknss :: forall a. [Body] -> [a] -> [[a]]

src/Rules/Xml.hs:112:1: Warning:
    Top-level binding with no type signature:
      mkpat :: [Doc] -> Body -> [Doc]

src/Rules/Xml.hs:131:21: Warning: Defined but not used: `t1'

src/Rules/Xml.hs:131:24: Warning: Defined but not used: `t2'

src/Rules/Xml.hs:133:22: Warning:
    This binding for `c' shadows the existing binding
      bound at src/Rules/Xml.hs:118:13

src/Rules/Xml.hs:133:22: Warning: Defined but not used: `c'

src/Rules/Xml.hs:135:19: Warning: Defined but not used: `s'

src/Rules/Xml.hs:176:1: Warning:
    Top-level binding with no type signature:
      simplest :: String -> [([Doc], Body)] -> [Char] -> Doc

src/Rules/Xml.hs:178:36: Warning:
    This binding for `n' shadows the existing binding
      bound at src/Rules/Xml.hs:181:11

src/Rules/Xml.hs:179:43: Warning:
    This binding for `pat' shadows the existing binding
      bound at src/Rules/Xml.hs:181:13

src/Rules/Xml.hs:188:10: Warning: Defined but not used: `v'

src/Rules/Xml.hs:188:19: Warning: Defined but not used: `t1'

src/Rules/Xml.hs:188:22: Warning: Defined but not used: `t2'

src/Rules/Xml.hs:197:37: Warning: Defined but not used: `pats'

src/Rules/Xml.hs:203:10: Warning: Defined but not used: `v'

src/Rules/Xml.hs:206:37: Warning: Defined but not used: `pats'

src/Rules/Xml.hs:213:21: Warning: Defined but not used: `doc'

src/Rules/Xml.hs:224:15: Warning: Defined but not used: `b'

src/Rules/Xml.hs:228:1: Warning:
    Top-level binding with no type signature:
      showsfn :: forall a. Show a => a -> [Doc] -> Body -> Doc

src/Rules/Xml.hs:234:12: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Xml.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Xml.hs:245:1: Warning:
    Top-level binding with no type signature:
      readsfn :: [Doc] -> Body -> Doc

src/Rules/Xml.hs:247:7: Warning: Defined but not used: `typ'

src/Rules/Xml.hs:252:11: Warning:
    This binding for `x' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Xml.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:16:1)

src/Rules/Xml.hs:253:8: Warning:
    This binding for `init' shadows the existing binding
      imported from `Prelude' at src/Rules/Xml.hs:2:8-16
      (and originally defined in `GHC.List')

src/Rules/Xml.hs:253:14: Warning:
    This binding for `last' shadows the existing binding
      imported from `Prelude' at src/Rules/Xml.hs:2:8-16
      (and originally defined in `GHC.List')

src/Rules/Xml.hs:279:1: Warning:
    Top-level binding with no type signature:
      preorder :: forall b. [Body] -> [b] -> [b]

src/Rules/Xml.hs:284:1: Warning:
    Top-level binding with no type signature:
      parseFn :: forall t. Bool -> t -> Body -> Doc

src/Rules/Xml.hs:284:16: Warning: Defined but not used: `ns'

src/Rules/Xml.hs:287:7: Warning: Defined but not used: `var'

src/Rules/Xml.hs:301:1: Warning:
    Top-level binding with no type signature:
      instanceheader :: [Char] -> Data -> Doc

src/Rules/Xml.hs:321:1: Warning:
    Top-level binding with no type signature:
      userRuleTextParse :: Data -> Doc

src/Rules/Xml.hs:347:1: Warning:
    Top-level binding with no type signature:
      textParseFn :: forall t. t -> Body -> Doc

src/Rules/Xml.hs:347:13: Warning: Defined but not used: `ns'

src/Rules/Xml.hs:351:15: Warning:
    This binding for `f' shadows the existing binding
      imported from `RuleUtils' at src/Rules/Xml.hs:5:1-16
      (and originally defined at src/RuleUtils.hs:17:1)
[20 of 23] Compiling Rules            ( src/Rules.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Rules.o )

src/Rules.hs:16:1: Warning:
    Top-level binding with no type signature:
      rules :: [([Char],
                 DataP.Data -> Pretty.Doc,
                 [Char],
                 [Char],
                 Maybe String)]
[21 of 23] Compiling CommandP         ( src/CommandP.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/CommandP.o )

src/CommandP.hs:12:1: Warning:
    Top-level binding with no type signature:
      command :: Parser ([[Char]], Data)

src/CommandP.hs:13:1: Warning:
    Top-level binding with no type signature: local :: Parser [[Char]]

src/CommandP.hs:15:1: Warning:
    Top-level binding with no type signature:
      global :: Parser ([[Char]], Data)

src/CommandP.hs:15:13: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "global"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:16:13: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol ":"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:20:1: Warning:
    Top-level binding with no type signature:
      forType :: Parser ([[Char]], Data)

src/CommandP.hs:20:14: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "for"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:22:14: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "derive"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:23:14: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol ":"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:27:1: Warning:
    Top-level binding with no type signature: loc :: Parser [[Char]]

src/CommandP.hs:27:10: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "derive"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:28:10: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol ":"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:31:1: Warning:
    Top-level binding with no type signature: cap :: Parser [Char]

src/CommandP.hs:35:1: Warning:
    Top-level binding with no type signature: icap :: Parser [Char]

src/CommandP.hs:42:1: Warning:
    Top-level binding with no type signature: tag :: Parser [Char]

src/CommandP.hs:44:1: Warning:
    Top-level binding with no type signature:
      annotation :: forall b. Parser b -> Parser b

src/CommandP.hs:44:19: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "{-!"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:46:19: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "!-}"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:51:1: Warning:
    Top-level binding with no type signature: header :: Parser [[Char]]

src/CommandP.hs:51:13: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "module"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:52:13: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- cap",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:53:13: Warning:
    A do-notation statement discarded a result of type [ghc-prim:GHC.Prim.Any
                                                          *].
    Suppress this warning by saying "_ <- opt
                                            (do { skipNest (symbol "(") (symbol ")");
                                                  return (ghc-prim:GHC.Types.[]) })",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:55:13: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "where"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:58:1: Warning:
    Top-level binding with no type signature: imports :: Parser [Char]

src/CommandP.hs:58:14: Warning:
    A do-notation statement discarded a result of type String.
    Suppress this warning by saying "_ <- symbol "import"",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:59:14: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- opt (symbol "qualified")",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:61:14: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- opt ((>>) symbol "as" cap)",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:62:14: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- opt (symbol "hiding")",
    or by using the flag -fno-warn-unused-do-bind

src/CommandP.hs:63:14: Warning:
    A do-notation statement discarded a result of type [ghc-prim:GHC.Prim.Any
                                                          *].
    Suppress this warning by saying "_ <- opt
                                            (do { skipNest (symbol "(") (symbol ")");
                                                  return (ghc-prim:GHC.Types.[]) })",
    or by using the flag -fno-warn-unused-do-bind
[22 of 23] Compiling ChaseImports     ( src/ChaseImports.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/ChaseImports.o )

src/ChaseImports.hs:33:1: Warning:
    Top-level binding with no type signature:
      try :: forall a. IO a -> IO (Either GHC.IO.Exception.IOException a)

src/ChaseImports.hs:40:1: Warning:
    Top-level binding with no type signature:
      userCode :: String -> (String, String)

src/ChaseImports.hs:41:1: Warning:
    Top-level binding with no type signature: codeSeperator :: [Char]

src/ChaseImports.hs:51:8: Warning:
    This binding for `statement' shadows the existing binding
      imported from `DataP' at src/ChaseImports.hs:24:1-12
      (and originally defined at src/DataP.lhs:22:25-33)

src/ChaseImports.hs:56:22: Warning: Defined but not used: `x'

src/ChaseImports.hs:74:17: Warning:
    This binding for `dats' shadows the existing binding
      bound at src/ChaseImports.hs:68:20

src/ChaseImports.hs:102:28: Warning:
    This binding for `h' shadows the existing binding
      bound at src/ChaseImports.hs:101:14

src/ChaseImports.hs:118:9: Warning:
    This binding for `parse' shadows the existing binding
      imported from `ParseLib2' at src/ChaseImports.hs:26:1-16
      (and originally defined at src/ParseLib2.hs:220:1-5)

src/ChaseImports.hs:123:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `resolve':
        Patterns not matched:
            _ ((_, D _ _ _ _ _ _) : _) _
            _ ((_, Directive) : _) _

src/ChaseImports.hs:124:40: Warning:
    This binding for `local' shadows the existing binding
      imported from `CommandP' at src/ChaseImports.hs:25:1-15
      (and originally defined at src/CommandP.hs:13:1-5)

src/ChaseImports.hs:132:1: Warning:
    Top-level binding with no type signature:
      fromLit :: Bool -> String -> String

src/ChaseImports.hs:140:1: Warning:
    Top-level binding with no type signature: isData :: Data -> Bool
[23 of 23] Compiling Main             ( src/DrIFT.hs, dist/build/DrIFT-cabalized/DrIFT-cabalized-tmp/Main.o )

src/DrIFT.hs:36:1: Warning:
    Top-level binding with no type signature: env :: Env

src/DrIFT.hs:48:1: Warning:
    Top-level binding with no type signature:
      getOutput :: Env -> IO Handle

src/DrIFT.hs:63:1: Warning:
    Top-level binding with no type signature:
      setArg :: [Char] -> Env -> Env

src/DrIFT.hs:65:1: Warning:
    Top-level binding with no type signature:
      addGlobalRule :: Tag -> Env -> Env

src/DrIFT.hs:74:1: Warning:
    Top-level binding with no type signature: doList :: IO ()

src/DrIFT.hs:79:1: Warning:
    Top-level binding with no type signature: header :: [Char]

src/DrIFT.hs:80:1: Warning:
    Top-level binding with no type signature: main :: IO ()

src/DrIFT.hs:82:6: Warning:
    This binding for `env' shadows the existing binding
      defined at src/DrIFT.hs:36:1

src/DrIFT.hs:89:14: Warning:
    This binding for `n' shadows the existing binding
      bound at src/DrIFT.hs:82:10

src/DrIFT.hs:94:1: Warning:
    Top-level binding with no type signature:
      derive :: Env -> FilePath -> IO ()

src/DrIFT.hs:94:8: Warning:
    This binding for `env' shadows the existing binding
      defined at src/DrIFT.hs:36:1

src/DrIFT.hs:96:18: Warning:
    This binding for `xs' shadows the existing binding
      bound at src/DrIFT.hs:95:17

src/DrIFT.hs:101:10: Warning:
    This binding for `body' shadows the existing binding
      imported from `DataP' at src/DrIFT.hs:7:1-12
      (and originally defined at src/DataP.lhs:20:25-28)

src/DrIFT.hs:108:15: Warning: Defined but not used: `dats'

src/DrIFT.hs:118:1: Warning:
    Top-level binding with no type signature:
      addGlobals :: Env -> [([Tag], Data)] -> [([Tag], Data)]

src/DrIFT.hs:118:12: Warning:
    This binding for `env' shadows the existing binding
      defined at src/DrIFT.hs:36:1

src/DrIFT.hs:125:1: Warning:
    Top-level binding with no type signature:
      rules :: [([Char], Data -> Doc)]

src/DrIFT.hs:127:1: Warning:
    Top-level binding with no type signature: vsep :: [Doc] -> Doc

src/DrIFT.hs:128:1: Warning:
    Top-level binding with no type signature: sepDoc :: Doc

src/DrIFT.hs:131:1: Warning: Defined but not used: `backup'

src/DrIFT.hs:134:1: Warning: Defined but not used: `newfile'

src/DrIFT.hs:154:19: Warning: Defined but not used: `xs'
Linking dist/build/DrIFT-cabalized/DrIFT-cabalized ...
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.2.4