Resolving dependencies...
Downloading HaLeX-1.2...
Configuring HaLeX-1.2...
Building HaLeX-1.2...
Preprocessing library HaLeX-1.2...
[ 1 of 18] Compiling Language.HaLex.Parser ( HaLeX_lib/Language/HaLex/Parser.hs, dist/build/Language/HaLex/Parser.o )

HaLeX_lib/Language/HaLex/Parser.hs:40:9: Warning:
    Defined but not used: `p'

HaLeX_lib/Language/HaLex/Parser.hs:60:1: Warning:
    Top-level binding with no type signature:
      (<*>) :: forall t t1 t2 t3 t4.
               (t -> [(t2 -> t3, t1)]) -> (t1 -> [(t2, t4)]) -> t -> [(t3, t4)]

HaLeX_lib/Language/HaLex/Parser.hs:65:1: Warning:
    Top-level binding with no type signature:
      (<$>) :: forall t t1 t2 t3.
               (t1 -> t2) -> (t -> [(t1, t3)]) -> t -> [(t2, t3)]
[ 2 of 18] Compiling Language.HaLex.Util ( HaLeX_lib/Language/HaLex/Util.hs, dist/build/Language/HaLex/Util.o )

HaLeX_lib/Language/HaLex/Util.hs:55:1: Warning:
    Top-level binding with no type signature:
      insAtPos :: forall a a1. (Eq a, Num a) => a -> a1 -> [a1] -> [a1]

HaLeX_lib/Language/HaLex/Util.hs:55:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `insAtPos': Patterns not matched: _ _ []
[ 3 of 18] Compiling Language.HaLex.Dfa ( HaLeX_lib/Language/HaLex/Dfa.hs, dist/build/Language/HaLex/Dfa.o )

HaLeX_lib/Language/HaLex/Dfa.hs:78:9: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/Dfa.hs:89:1: Warning:
    Defined but not used: dfaaccept'

HaLeX_lib/Language/HaLex/Dfa.hs:89:17: Warning:
    Defined but not used: `v'

HaLeX_lib/Language/HaLex/Dfa.hs:89:19: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/Dfa.hs:99:16: Warning:
    Defined but not used: `v'

HaLeX_lib/Language/HaLex/Dfa.hs:99:18: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/Dfa.hs:109:17: Warning:
    Defined but not used: `p'

HaLeX_lib/Language/HaLex/Dfa.hs:216:29: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/Dfa.hs:216:31: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/Dfa.hs:239:9: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `lookUptt': Patterns not matched: _ _ []

HaLeX_lib/Language/HaLex/Dfa.hs:239:18: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/Dfa.hs:239:20: Warning:
    Defined but not used: `v'

HaLeX_lib/Language/HaLex/Dfa.hs:239:24: Warning:
    Defined but not used: `a'

HaLeX_lib/Language/HaLex/Dfa.hs:239:26: Warning:
    Defined but not used: `b'

HaLeX_lib/Language/HaLex/Dfa.hs:259:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `lookupSt': Patterns not matched: _ []

HaLeX_lib/Language/HaLex/Dfa.hs:263:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `lookupNewSt': Patterns not matched: _ []

HaLeX_lib/Language/HaLex/Dfa.hs:267:18: Warning:
    Defined but not used: `qaux'

HaLeX_lib/Language/HaLex/Dfa.hs:274:18: Warning:
    Defined but not used: `i'

HaLeX_lib/Language/HaLex/Dfa.hs:284:1: Warning:
    Top-level binding with no type signature:
      stsDfa :: forall b b1. [(b, b1)] -> [b]

HaLeX_lib/Language/HaLex/Dfa.hs:285:1: Warning:
    Top-level binding with no type signature:
      stsRHS :: forall b a. [(a, b)] -> [b]

HaLeX_lib/Language/HaLex/Dfa.hs:286:1: Warning:
    Top-level binding with no type signature:
      allstsTable :: forall a a1. [(a1, [a])] -> [a]

HaLeX_lib/Language/HaLex/Dfa.hs:295:17: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/Dfa.hs:295:21: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/Dfa.hs:312:10: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/Dfa.hs:312:23: Warning:
    Defined but not used: `alfabet'

HaLeX_lib/Language/HaLex/Dfa.hs:328:22: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/Dfa.hs:328:24: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/Dfa.hs:334:46: Warning:
    Defined but not used: `b'

HaLeX_lib/Language/HaLex/Dfa.hs:346:20: Warning:
    Defined but not used: `st'

HaLeX_lib/Language/HaLex/Dfa.hs:357:1: Warning:
    Top-level binding with no type signature:
      lookupNewSts :: forall t b a.
                      (Eq b, Eq a) =>
                      (a -> t -> a) -> b -> t -> [(a, b)] -> b

HaLeX_lib/Language/HaLex/Dfa.hs:360:1: Warning:
    Top-level binding with no type signature:
      getNewSt :: forall b a. Eq a => a -> [(a, b)] -> b

HaLeX_lib/Language/HaLex/Dfa.hs:360:49: Warning:
    Defined but not used: `b'

HaLeX_lib/Language/HaLex/Dfa.hs:361:1: Warning:
    Top-level binding with no type signature:
      getOldSt :: forall a a1. Eq a1 => a1 -> [(a, a1)] -> a

HaLeX_lib/Language/HaLex/Dfa.hs:361:47: Warning:
    Defined but not used: `a'

HaLeX_lib/Language/HaLex/Dfa.hs:382:25: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/Dfa.hs:425:15: Warning:
    Defined but not used: `z'
[ 4 of 18] Compiling Language.HaLex.Ndfa ( HaLeX_lib/Language/HaLex/Ndfa.hs, dist/build/Language/HaLex/Ndfa.o )

HaLeX_lib/Language/HaLex/Ndfa.hs:48:1: Warning:
    The import of `Language.HaLex.Dfa' is redundant
      except perhaps to import instances from `Language.HaLex.Dfa'
    To import instances alone, use: import Language.HaLex.Dfa()

HaLeX_lib/Language/HaLex/Ndfa.hs:87:10: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/Ndfa.hs:99:8: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/Ndfa.hs:99:23: Warning:
    Defined but not used: `sy'

HaLeX_lib/Language/HaLex/Ndfa.hs:118:17: Warning:
    Defined but not used: `p'

HaLeX_lib/Language/HaLex/Ndfa.hs:133:1: Warning:
    Top-level binding with no type signature:
      showNdfaDelta :: forall a t a1.
                       (Eq a1, Show t, Show a, Show a1) =>
                       [t] -> [a] -> (t -> Maybe a -> [a1]) -> String -> String

HaLeX_lib/Language/HaLex/Ndfa.hs:223:33: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/Ndfa.hs:223:35: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/Ndfa.hs:249:9: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `lookupTT': Patterns not matched: _ _ []

HaLeX_lib/Language/HaLex/Ndfa.hs:277:47: Warning:
    Defined but not used: `b'

HaLeX_lib/Language/HaLex/Ndfa.hs:281:45: Warning:
    Defined but not used: `a'

HaLeX_lib/Language/HaLex/Ndfa.hs:294:27: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/Ndfa.hs:326:1: Warning:
    Defined but not used: `isSyncState'
[ 5 of 18] Compiling Language.HaLex.DfaMonad ( HaLeX_lib/Language/HaLex/DfaMonad.lhs, dist/build/Language/HaLex/DfaMonad.o )

HaLeX_lib/Language/HaLex/DfaMonad.lhs:29: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()

HaLeX_lib/Language/HaLex/DfaMonad.lhs:30:1: Warning:
    The import of `Language.HaLex.Ndfa' is redundant
      except perhaps to import instances from `Language.HaLex.Ndfa'
    To import instances alone, use: import Language.HaLex.Ndfa()

HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:20: Warning:
    Defined but not used: `v'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:22: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:28: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:142:1: Warning:
    Top-level binding with no type signature:
      showInitialState :: forall a. Show a => a -> String -> String

HaLeX_lib/Language/HaLex/DfaMonad.lhs:146:1: Warning:
    Top-level binding with no type signature:
      showFinalStates' :: forall a. Show a => [a] -> [[Char]]

HaLeX_lib/Language/HaLex/DfaMonad.lhs:151:22: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:151:24: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:183:22: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:183:24: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:209:15: Warning:
    Defined but not used: `e'

HaLeX_lib/Language/HaLex/DfaMonad.lhs:227:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            [] _
            ((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
            [ghc-prim:GHC.Types.C# 'C'] _
            ((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
            with
            #x `notElem` ['0', '1']
            ...

HaLeX_lib/Language/HaLex/DfaMonad.lhs:245:1: Warning:
    Top-level binding with no type signature: moves :: [[Char]]

HaLeX_lib/Language/HaLex/DfaMonad.lhs:246:1: Warning:
    Top-level binding with no type signature: moves2 :: [[Char]]

HaLeX_lib/Language/HaLex/DfaMonad.lhs:247:1: Warning:
    Top-level binding with no type signature: moves3 :: [[Char]]

HaLeX_lib/Language/HaLex/DfaMonad.lhs:248:1: Warning:
    Top-level binding with no type signature: moves4 :: [[Char]]

HaLeX_lib/Language/HaLex/DfaMonad.lhs:250:1: Warning:
    Top-level binding with no type signature: acc :: Maybe Bool

HaLeX_lib/Language/HaLex/DfaMonad.lhs:270:1: Warning:
    Top-level binding with no type signature: varGlob :: IORef [Char]

HaLeX_lib/Language/HaLex/DfaMonad.lhs:344:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            (ghc-prim:GHC.Types.C# #x) _ with #x `notElem` ['A', 'B']
            (ghc-prim:GHC.Types.C# 'A') (ghc-prim:GHC.Types.C# #x)
            with
            #x `notElem` ['a', 'b']
            (ghc-prim:GHC.Types.C# 'B') (ghc-prim:GHC.Types.C# #x)
            with
            #x `notElem` ['a']

HaLeX_lib/Language/HaLex/DfaMonad.lhs:353:1: Warning:
    Top-level binding with no type signature:
      runAccept :: forall s st sy.
                   (Eq st, Num s) =>
                   Dfa
                     (StateT s transformers-0.3.0.0:Data.Functor.Identity.Identity)
                     st
                     sy
                   -> [sy] -> (Bool, s)

HaLeX_lib/Language/HaLex/DfaMonad.lhs:373:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            (ghc-prim:GHC.Types.C# #x) _ with #x `notElem` ['A', 'B']
            (ghc-prim:GHC.Types.C# 'A') (ghc-prim:GHC.Types.C# #x)
            with
            #x `notElem` ['a', 'b']
            (ghc-prim:GHC.Types.C# 'B') (ghc-prim:GHC.Types.C# #x)
            with
            #x `notElem` ['a']

HaLeX_lib/Language/HaLex/DfaMonad.lhs:380:1: Warning:
    Top-level binding with no type signature:
      runAccept_ex4 :: forall st sy.
                       Eq st =>
                       Dfa
                         (StateT [Char] transformers-0.3.0.0:Data.Functor.Identity.Identity)
                         st
                         sy
                       -> [sy] -> (Bool, [Char])

HaLeX_lib/Language/HaLex/DfaMonad.lhs:400:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            (ghc-prim:GHC.Types.C# #x) _ with #x `notElem` ['A', 'B']
            (ghc-prim:GHC.Types.C# 'A') (ghc-prim:GHC.Types.C# #x)
            with
            #x `notElem` ['a', 'b']
            (ghc-prim:GHC.Types.C# 'B') (ghc-prim:GHC.Types.C# #x)
            with
            #x `notElem` ['a']

HaLeX_lib/Language/HaLex/DfaMonad.lhs:406:1: Warning:
    Top-level binding with no type signature:
      runAccept_ex5 :: [Char] -> (Bool, [Char])

HaLeX_lib/Language/HaLex/DfaMonad.lhs:429:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            #x _ with #x `notElem` [1#, 2#, 3#]
            1# (ghc-prim:GHC.Types.C# #x) with #x `notElem` ['+', '-', 'd']
            2# (ghc-prim:GHC.Types.C# #x) with #x `notElem` ['d']
            3# (ghc-prim:GHC.Types.C# #x) with #x `notElem` ['d']

HaLeX_lib/Language/HaLex/DfaMonad.lhs:430:22: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- accumM",
    or by using the flag -fno-warn-unused-do-bind

HaLeX_lib/Language/HaLex/DfaMonad.lhs:432:22: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- accumD",
    or by using the flag -fno-warn-unused-do-bind

HaLeX_lib/Language/HaLex/DfaMonad.lhs:434:22: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- accumD",
    or by using the flag -fno-warn-unused-do-bind

HaLeX_lib/Language/HaLex/DfaMonad.lhs:436:22: Warning:
    A do-notation statement discarded a result of type [Char].
    Suppress this warning by saying "_ <- accumD",
    or by using the flag -fno-warn-unused-do-bind

HaLeX_lib/Language/HaLex/DfaMonad.lhs:446:1: Warning:
    Top-level binding with no type signature:
      runAccept_int :: [Char] -> (Bool, [Char])

HaLeX_lib/Language/HaLex/DfaMonad.lhs:494:1: Warning:
    Top-level binding with no type signature:
      runAccept_ex6 :: [Char] -> (Bool, ([Char], Int))

HaLeX_lib/Language/HaLex/DfaMonad.lhs:557:5: Warning:
    This binding for `init' shadows the existing binding
      imported from `Data.List' at HaLeX_lib/Language/HaLex/DfaMonad.lhs:29:1-16
      (and originally defined in `GHC.List')

HaLeX_lib/Language/HaLex/DfaMonad.lhs:567:1: Warning:
    Top-level binding with no type signature:
      runAccept_te :: [Char] -> (Bool, ([Char], [Code]))

HaLeX_lib/Language/HaLex/DfaMonad.lhs:611:5: Warning:
    This binding for `init' shadows the existing binding
      imported from `Data.List' at HaLeX_lib/Language/HaLex/DfaMonad.lhs:29:1-16
      (and originally defined in `GHC.List')

HaLeX_lib/Language/HaLex/DfaMonad.lhs:616:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `converte':
        Patterns not matched:
            (ghc-prim:GHC.Types.C# #x) : _ with #x `notElem` ['0', '1']

HaLeX_lib/Language/HaLex/DfaMonad.lhs:620:1: Warning:
    Top-level binding with no type signature:
      expo :: forall a a1. (Num a, Num a1, Ord a) => a1 -> a -> a1
[ 6 of 18] Compiling Language.HaLex.FaOperations ( HaLeX_lib/Language/HaLex/FaOperations.hs, dist/build/Language/HaLex/FaOperations.o )

HaLeX_lib/Language/HaLex/FaOperations.hs:55:1: Warning:
    Top-level binding with no type signature:
      stsDfa :: forall b b1. [(b, b1)] -> [b]

HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: Warning:
    Top-level binding with no type signature:
      stsRHS :: forall b a. [(a, b)] -> [b]

HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: Warning:
    Top-level binding with no type signature:
      allstsCT :: forall a a1. [(a1, [a])] -> [a]

HaLeX_lib/Language/HaLex/FaOperations.hs:61:17: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:61:21: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/FaOperations.hs:71:10: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/FaOperations.hs:71:23: Warning:
    Defined but not used: `alfabet'

HaLeX_lib/Language/HaLex/FaOperations.hs:80:23: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:80:25: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/FaOperations.hs:80:29: Warning:
    Defined but not used: `delta'

HaLeX_lib/Language/HaLex/FaOperations.hs:89:23: Warning:
    Defined but not used: `z'

HaLeX_lib/Language/HaLex/FaOperations.hs:94:1: Warning:
    Top-level binding with no type signature:
      lookupCT :: forall a a1 a2.
                  (Eq a1, Eq a2) =>
                  a2 -> a1 -> [(a2, [[a]])] -> [a1] -> [a]

HaLeX_lib/Language/HaLex/FaOperations.hs:94:10: Warning:
    Defined but not used: `st'

HaLeX_lib/Language/HaLex/FaOperations.hs:94:13: Warning:
    Defined but not used: `sy'

HaLeX_lib/Language/HaLex/FaOperations.hs:94:23: Warning:
    Defined but not used: `v'

HaLeX_lib/Language/HaLex/FaOperations.hs:106:16: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:105:17

HaLeX_lib/Language/HaLex/FaOperations.hs:107:16: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:105:17

HaLeX_lib/Language/HaLex/FaOperations.hs:107:16: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:123:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:120:12

HaLeX_lib/Language/HaLex/FaOperations.hs:124:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:120:12

HaLeX_lib/Language/HaLex/FaOperations.hs:136:9: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for d': Patterns not matched: _

HaLeX_lib/Language/HaLex/FaOperations.hs:148:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12

HaLeX_lib/Language/HaLex/FaOperations.hs:149:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12

HaLeX_lib/Language/HaLex/FaOperations.hs:151:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12

HaLeX_lib/Language/HaLex/FaOperations.hs:152:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12

HaLeX_lib/Language/HaLex/FaOperations.hs:162:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:160:12

HaLeX_lib/Language/HaLex/FaOperations.hs:163:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:160:12

HaLeX_lib/Language/HaLex/FaOperations.hs:186:9: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for d': Patterns not matched: _

HaLeX_lib/Language/HaLex/FaOperations.hs:189:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12

HaLeX_lib/Language/HaLex/FaOperations.hs:189:20: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:190:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12

HaLeX_lib/Language/HaLex/FaOperations.hs:193:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12

HaLeX_lib/Language/HaLex/FaOperations.hs:193:20: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:194:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12

HaLeX_lib/Language/HaLex/FaOperations.hs:197:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12

HaLeX_lib/Language/HaLex/FaOperations.hs:197:20: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:198:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12

HaLeX_lib/Language/HaLex/FaOperations.hs:222:12: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:221:16

HaLeX_lib/Language/HaLex/FaOperations.hs:225:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12

HaLeX_lib/Language/HaLex/FaOperations.hs:225:21: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:226:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12

HaLeX_lib/Language/HaLex/FaOperations.hs:228:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12

HaLeX_lib/Language/HaLex/FaOperations.hs:228:21: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:229:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12

HaLeX_lib/Language/HaLex/FaOperations.hs:231:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12

HaLeX_lib/Language/HaLex/FaOperations.hs:240:12: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:239:16

HaLeX_lib/Language/HaLex/FaOperations.hs:242:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12

HaLeX_lib/Language/HaLex/FaOperations.hs:242:21: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaOperations.hs:243:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12

HaLeX_lib/Language/HaLex/FaOperations.hs:245:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12
[ 7 of 18] Compiling Language.HaLex.Minimize ( HaLeX_lib/Language/HaLex/Minimize.hs, dist/build/Language/HaLex/Minimize.o )

HaLeX_lib/Language/HaLex/Minimize.hs:108:1: Warning:
    Top-level binding with no type signature:
      removeinaccessible :: forall st sy.
                            (Ord st, Ord sy) =>
                            Dfa st sy -> Dfa st sy

HaLeX_lib/Language/HaLex/Minimize.hs:108:31: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/Minimize.hs:114:1: Warning:
    Defined but not used: removeinaccessible'

HaLeX_lib/Language/HaLex/Minimize.hs:114:1: Warning:
    Top-level binding with no type signature:
      removeinaccessible' :: forall st sy.
                             (Eq sy, Ord st) =>
                             Dfa st sy -> Dfa [st] sy

HaLeX_lib/Language/HaLex/Minimize.hs:187:16: Warning:
    Defined but not used: `st'
[ 8 of 18] Compiling Language.HaLex.RegExp ( HaLeX_lib/Language/HaLex/RegExp.hs, dist/build/Language/HaLex/RegExp.o )

HaLeX_lib/Language/HaLex/RegExp.hs:61:27: Warning:
    This binding for `or' shadows the existing binding
      imported from `Prelude' at HaLeX_lib/Language/HaLex/RegExp.hs:18:8-28
      (and originally defined in `GHC.List')

HaLeX_lib/Language/HaLex/RegExp.hs:82:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `matchesRE':
        Patterns not matched:
            (OneOrMore _) _
            (Optional _) _

HaLeX_lib/Language/HaLex/RegExp.hs:82:17: Warning:
    Defined but not used: `inp'

HaLeX_lib/Language/HaLex/RegExp.hs:134:38: Warning:
    Defined but not used: `x'

HaLeX_lib/Language/HaLex/RegExp.hs:170:21: Warning:
    Defined but not used: `n'

HaLeX_lib/Language/HaLex/RegExp.hs:185:1: Warning:
    Defined but not used: `isSymbol'

HaLeX_lib/Language/HaLex/RegExp.hs:185:1: Warning:
    Top-level binding with no type signature: isSymbol :: Char -> Bool

HaLeX_lib/Language/HaLex/RegExp.hs:217:16: Warning:
    Defined but not used: `a'
[ 9 of 18] Compiling Language.HaLex.RegExp2Fa ( HaLeX_lib/Language/HaLex/RegExp2Fa.hs, dist/build/Language/HaLex/RegExp2Fa.o )

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:47:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for regExp2Ndfa':
        Patterns not matched:
            (OneOrMore _) _
            (Optional _) _

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:70:16: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:63:22

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:73:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:70:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:74:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:70:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:76:20

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:89:19: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:89:19: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:92:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:95:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:109:20: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:106:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:109:20: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:112:21: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:106:16

HaLeX_lib/Language/HaLex/RegExp2Fa.hs:112:21: Warning:
    Defined but not used: `q'
[10 of 18] Compiling Language.HaLex.FaAsDiGraph ( HaLeX_lib/Language/HaLex/FaAsDiGraph.hs, dist/build/Language/HaLex/FaAsDiGraph.o )

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:29:1: Warning:
    The import of `Language.HaLex.RegExp' is redundant
      except perhaps to import instances from `Language.HaLex.RegExp'
    To import instances alone, use: import Language.HaLex.RegExp()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:30:1: Warning:
    The import of `Language.HaLex.RegExp2Fa' is redundant
      except perhaps to import instances from `Language.HaLex.RegExp2Fa'
    To import instances alone, use: import Language.HaLex.RegExp2Fa()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:34:1: Warning:
    The import of `Language.HaLex.Minimize' is redundant
      except perhaps to import instances from `Language.HaLex.Minimize'
    To import instances alone, use: import Language.HaLex.Minimize()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:38:1: Warning:
    Top-level binding with no type signature:
      ndfa2graphviz :: forall st sy.
                       (Eq sy, Ord st, Show sy, Show st) =>
                       Ndfa st sy -> [Char] -> [Char]

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:41:1: Warning:
    Top-level binding with no type signature:
      ndfa2graphviz2file :: forall st sy.
                            (Eq sy, Ord st, Show sy, Show st) =>
                            Ndfa st sy -> [Char] -> IO ()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:45:1: Warning:
    Top-level binding with no type signature:
      dfa2graphviz :: forall st sy.
                      (Eq sy, Ord st, Show sy, Show st) =>
                      Dfa st sy -> [Char] -> [Char]

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: Warning:
    Top-level binding with no type signature:
      dfa2graphviz2file :: forall st sy.
                           (Eq sy, Ord st, Show sy, Show st) =>
                           Dfa st sy -> [Char] -> IO ()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:23: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:25

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:83:23: Warning:
    This binding for `s' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:27

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:89:77: Warning:
    This binding for `z' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:29

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:5: Warning:
    Defined but not used: showNdfaArrows'

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:21: Warning:
    This binding for `ndfa' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:12

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:22: Warning:
    This binding for `ndfa' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:12

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:33: Warning:
    This binding for `v' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:23

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:35: Warning:
    This binding for `q' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:25

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:35: Warning:
    Defined but not used: `q'

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: Warning:
    This binding for `s' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:27

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:39: Warning:
    This binding for `z' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:29

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:41: Warning:
    This binding for `delta' shadows the existing binding
      bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:31

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:107:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `createInitialArrows':
        Patterns not matched:
            [] (_ : _)
            (_ : _) []

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:113:1: Warning:
    Top-level binding with no type signature:
      showListMaybe :: forall a. Show a => [Maybe a] -> [Char]

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:126:1: Warning:
    Top-level binding with no type signature:
      groupMoves :: forall t sy.
                    (Eq t, Eq sy) =>
                    [(t, Maybe sy, t)] -> [(t, [Maybe sy], t)]

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:1: Warning:
    Defined but not used: `showNdfaArrows'

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:28: Warning:
    Defined but not used: `s'

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157:1: Warning:
    Top-level binding with no type signature:
      genOneArrow :: forall a. Show a => [Char] -> a -> [Char] -> [Char]

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:163:1: Warning:
    Top-level binding with no type signature:
      tographvizIO :: forall st sy.
                      (Eq sy, Ord st, Show sy, Show st) =>
                      Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167:1: Warning:
    Top-level binding with no type signature:
      dfa2DiGraphWithNoSyncSt :: forall st sy.
                                 (Eq sy, Ord st, Show sy, Show st) =>
                                 Dfa st sy -> [Char] -> [Char]

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: Warning:
    Defined but not used: `dfa2DiGraphIO'

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: Warning:
    Top-level binding with no type signature:
      dfa2DiGraphIO :: forall st sy.
                       (Eq sy, Ord st, Show sy, Show st) =>
                       Dfa st sy -> [Char] -> [Char] -> IO ()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171:1: Warning:
    Top-level binding with no type signature:
      dfaDiGraphWithNoSyncStIO :: forall st sy.
                                  (Eq sy, Ord st, Show sy, Show st) =>
                                  Dfa st sy -> [Char] -> FilePath -> IO ()

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: Warning:
    Defined but not used: dfa2DiGraphIO''

HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: Warning:
    Top-level binding with no type signature:
      dfa2DiGraphIO'' :: forall sy st.
                         (Ord st, Ord sy, Show sy) =>
                         Dfa st sy -> [Char] -> IO ()
[11 of 18] Compiling Language.HaLex.Examples.Robot ( HaLeX_lib/Language/HaLex/Examples/Robot.lhs, dist/build/Language/HaLex/Examples/Robot.o )

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:21:1: Warning:
    Top-level binding with no type signature: ex :: Dfa [Char] [Char]

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:27:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            [] _
            ((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
            [ghc-prim:GHC.Types.C# 'C'] _
            ((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
            with
            #x `notElem` ['0', '1']
            ...

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:42:1: Warning:
    Top-level binding with no type signature: moves :: [[Char]]

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:43:1: Warning:
    Top-level binding with no type signature: moves2 :: [[Char]]

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:44:1: Warning:
    Top-level binding with no type signature: moves3 :: [[Char]]

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:45:1: Warning:
    Top-level binding with no type signature: moves4 :: [[Char]]

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:47:1: Warning:
    Top-level binding with no type signature: g :: IO ()

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:64:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            [] _
            ((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
            [ghc-prim:GHC.Types.C# 'C'] _
            ((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
            with
            #x `notElem` ['0', '1']
            ...

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:81:1: Warning:
    Top-level binding with no type signature: acc :: Maybe Bool

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:99:5: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `delta':
        Patterns not matched:
            [] _
            ((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
            [ghc-prim:GHC.Types.C# 'C'] _
            ((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
            with
            #x `notElem` ['0', '1']
            ...

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:118:1: Warning:
    Top-level binding with no type signature: acc2 :: IO Bool

HaLeX_lib/Language/HaLex/Examples/Robot.lhs:121:1: Warning:
    Top-level binding with no type signature: exShow :: IO ()
[12 of 18] Compiling Language.HaLex.Dfa2MDfa ( HaLeX_lib/Language/HaLex/Dfa2MDfa.hs, dist/build/Language/HaLex/Dfa2MDfa.o )

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:19: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()

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:21:1: Warning:
    The import of `Language.HaLex.Ndfa' is redundant
      except perhaps to import instances from `Language.HaLex.Ndfa'
    To import instances alone, use: import Language.HaLex.Ndfa()

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:28:1: Warning:
    Top-level binding with no type signature:
      showAsAccumDfa :: forall st sy.
                        (Show sy, Show st) =>
                        Dfa st sy -> String -> String

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:48:5: Warning:
    This binding for `f' shadows the existing binding
      defined at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108:1

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:74:1: Warning:
    Top-level binding with no type signature:
      re2MHaskellMod :: forall sy.
                        (Ord sy, Show sy) =>
                        RegExp sy -> Bool -> Bool -> [Char]

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:84:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `re2MDfa': Patterns not matched: _ _ _

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108:1: Warning:
    Top-level binding with no type signature:
      f :: forall sy. Maybe (RegExp sy) -> RegExp sy

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:116:1: Warning:
    Top-level binding with no type signature:
      dfa_int :: Dfa Integer Char

HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15: Warning:
    Defaulting the following constraint(s) to type `Integer'
      (Eq st0)
        arising from a use of `delta'
        at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19
      (Num st0)
        arising from the literal `1'
        at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:117:16
    In the fifth argument of `Dfa', namely `delta'
    In the expression:
      Dfa ['+', '-', '0', '1'] [1, 2, 3, 4] 1 [3] delta
    In an equation for `dfa_int':
        dfa_int
          = Dfa ['+', '-', '0', ....] [1, 2, 3, ....] 1 [3] delta
          where
              delta 1 '+' = 2
              delta 1 '-' = 2
              delta 1 '0' = 3
              delta 1 '1' = 3
              delta 2 '0' = 3
              delta 2 '1' = 3
              delta 3 '0' = 3
              delta 3 '1' = 3
              delta _ _ = 4
[13 of 18] Compiling Language.HaLex.Fa2RegExp ( HaLeX_lib/Language/HaLex/Fa2RegExp.hs, dist/build/Language/HaLex/Fa2RegExp.o )

HaLeX_lib/Language/HaLex/Fa2RegExp.hs:88:17:
    Could not deduce (Eq st) arising from the literal `0'
    from the context (Num st)
      bound by the type signature for
                 regular :: Num st =>
                            (st -> sy -> st) -> [sy] -> st -> st -> st -> RegExp sy
      at HaLeX_lib/Language/HaLex/Fa2RegExp.hs:(80,12)-(86,20)
    Possible fix:
      add (Eq st) to the context of
        the type signature for
          regular :: Num st =>
                     (st -> sy -> st) -> [sy] -> st -> st -> st -> RegExp sy
    In the pattern: 0
    In an equation for `regular':
        regular d v i j 0
          | i == j = (regExpFromTo d v i j) `Or` Epsilon
          | otherwise = regExpFromTo d v i j
Failed to install HaLeX-1.2
cabal: Error: some packages failed to install:
HaLeX-1.2 failed during the building phase. The exception was:
ExitFailure 1