Resolving dependencies... Downloading HaLeX-1.2.1... Configuring HaLeX-1.2.1... Building HaLeX-1.2.1... Preprocessing library HaLeX-1.2.1... [ 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:24: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/Fa2RegExp.hs:48:1: Warning: Top-level binding with no type signature: toRegExp2 :: forall sy. [sy] -> RegExp sy HaLeX_lib/Language/HaLex/Fa2RegExp.hs:70:1: Warning: Top-level binding with no type signature: toRegExp2' :: forall sy. [Maybe sy] -> RegExp sy HaLeX_lib/Language/HaLex/Fa2RegExp.hs:73:29: Warning: This binding for `x' shadows the existing binding bound at HaLeX_lib/Language/HaLex/Fa2RegExp.hs:71:13 HaLeX_lib/Language/HaLex/Fa2RegExp.hs:76:29: Warning: This binding for `x' shadows the existing binding bound at HaLeX_lib/Language/HaLex/Fa2RegExp.hs:74:13 HaLeX_lib/Language/HaLex/Fa2RegExp.hs:101:23: Warning: Defined but not used: `q' HaLeX_lib/Language/HaLex/Fa2RegExp.hs:112:8: Warning: Defined but not used: `d' HaLeX_lib/Language/HaLex/Fa2RegExp.hs:112:10: Warning: Defined but not used: `v' [14 of 18] Compiling Language.HaLex.RegExpParser ( HaLeX_lib/Language/HaLex/RegExpParser.hs, dist/build/Language/HaLex/RegExpParser.o ) HaLeX_lib/Language/HaLex/RegExpParser.hs:61:44: Warning: Defined but not used: `x' HaLeX_lib/Language/HaLex/RegExpParser.hs:73:1: Warning: Defined but not used: `spaces' [15 of 18] Compiling Language.HaLex.Equivalence ( HaLeX_lib/Language/HaLex/Equivalence.hs, dist/build/Language/HaLex/Equivalence.o ) [16 of 18] Compiling Language.HaLex.FaClasses ( HaLeX_lib/Language/HaLex/FaClasses.hs, dist/build/Language/HaLex/FaClasses.o ) [17 of 18] Compiling Language.HaLex.RegExpAsDiGraph ( HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs, dist/build/Language/HaLex/RegExpAsDiGraph.o ) HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:26: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/RegExpAsDiGraph.hs:58:1: Warning: Top-level binding with no type signature: re2DiGraph' :: forall sy. (Ord sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:61:1: Warning: Top-level binding with no type signature: re2DiGraph'' :: forall sy. (Ord sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:65:1: Warning: Top-level binding with no type signature: re2DiGraph''' :: forall sy. (Eq sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:68:1: Warning: Top-level binding with no type signature: re2DiGraphNdfa :: forall sy. (Eq sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:73:1: Warning: Defined but not used: `re2DiGraphIO' HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: Warning: Defined but not used: `absRe2DiGraph_File' HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: Warning: Top-level binding with no type signature: absRe2DiGraph_File :: forall sy. (Eq sy, Show sy) => RegExp sy -> [Char] -> IO () [18 of 18] Compiling Language.HaLex.Examples.Real ( HaLeX_lib/Language/HaLex/Examples/Real.lhs, dist/build/Language/HaLex/Examples/Real.o ) HaLeX_lib/Language/HaLex/Examples/Real.lhs:49: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/Examples/Real.lhs:59:1: Warning: The import of `Language.HaLex.RegExpAsDiGraph' is redundant except perhaps to import instances from `Language.HaLex.RegExpAsDiGraph' To import instances alone, use: import Language.HaLex.RegExpAsDiGraph() HaLeX_lib/Language/HaLex/Examples/Real.lhs:62:1: Warning: The import of `Language.HaLex.Fa2RegExp' is redundant except perhaps to import instances from `Language.HaLex.Fa2RegExp' To import instances alone, use: import Language.HaLex.Fa2RegExp() HaLeX_lib/Language/HaLex/Examples/Real.lhs:70:1: Warning: Top-level binding with no type signature: sinal'' :: RegExp Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:72:1: Warning: Top-level binding with no type signature: d :: RegExp Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:75:1: Warning: Top-level binding with no type signature: re_int :: RegExp Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:78:1: Warning: Top-level binding with no type signature: intdfa :: Dfa Int Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:81:1: Warning: Top-level binding with no type signature: d' :: RegExp Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:87:1: Warning: Top-level binding with no type signature: re_real :: RegExp Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:91:1: Warning: Top-level binding with no type signature: re_real' :: RegExp Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:98:1: Warning: Top-level binding with no type signature: cre_real :: [Char] HaLeX_lib/Language/HaLex/Examples/Real.lhs:101:1: Warning: Top-level binding with no type signature: realdfa' :: Dfa Int Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:103:1: Warning: Top-level binding with no type signature: realdfa'' :: Dfa Int Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:105:1: Warning: Top-level binding with no type signature: realdfa''' :: Dfa Int Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:109:1: Warning: Top-level binding with no type signature: realdfa'''' :: Dfa Int Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:111:1: Warning: Top-level binding with no type signature: genGraph :: forall st sy. (Eq sy, Ord st, Show sy, Show st) => Ndfa st sy -> [Char] -> [Char] -> (st -> [Char]) -> IO () HaLeX_lib/Language/HaLex/Examples/Real.lhs:114:1: Warning: Top-level binding with no type signature: realdfa :: Dfa Char Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:176:1: Warning: Top-level binding with no type signature: realndfa :: Ndfa Char Char HaLeX_lib/Language/HaLex/Examples/Real.lhs:182:1: Warning: Top-level binding with no type signature: deltaNdfa :: Char -> Maybe Char -> [Char] HaLeX_lib/Language/HaLex/Examples/Real.lhs:227:1: Warning: Top-level binding with no type signature: isrealNdfa :: [Char] -> Bool In-place registering HaLeX-1.2.1... Preprocessing executable 'halex' for HaLeX-1.2.1... [ 1 of 14] Compiling Language.HaLex.Util ( HaLeX_lib/Language/HaLex/Util.hs, dist/build/halex/halex-tmp/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: _ _ [] [ 2 of 14] Compiling Language.HaLex.Parser ( HaLeX_lib/Language/HaLex/Parser.hs, dist/build/halex/halex-tmp/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)] [ 3 of 14] Compiling Language.HaLex.Dfa ( HaLeX_lib/Language/HaLex/Dfa.hs, dist/build/halex/halex-tmp/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 14] Compiling Language.HaLex.Ndfa ( HaLeX_lib/Language/HaLex/Ndfa.hs, dist/build/halex/halex-tmp/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 14] Compiling Language.HaLex.FaOperations ( HaLeX_lib/Language/HaLex/FaOperations.hs, dist/build/halex/halex-tmp/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 [ 6 of 14] Compiling Language.HaLex.Minimize ( HaLeX_lib/Language/HaLex/Minimize.hs, dist/build/halex/halex-tmp/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' [ 7 of 14] Compiling Language.HaLex.RegExp ( HaLeX_lib/Language/HaLex/RegExp.hs, dist/build/halex/halex-tmp/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' [ 8 of 14] Compiling Language.HaLex.RegExpParser ( HaLeX_lib/Language/HaLex/RegExpParser.hs, dist/build/halex/halex-tmp/Language/HaLex/RegExpParser.o ) HaLeX_lib/Language/HaLex/RegExpParser.hs:61:44: Warning: Defined but not used: `x' HaLeX_lib/Language/HaLex/RegExpParser.hs:73:1: Warning: Defined but not used: `spaces' [ 9 of 14] Compiling Language.HaLex.RegExp2Fa ( HaLeX_lib/Language/HaLex/RegExp2Fa.hs, dist/build/halex/halex-tmp/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 14] Compiling Language.HaLex.Equivalence ( HaLeX_lib/Language/HaLex/Equivalence.hs, dist/build/halex/halex-tmp/Language/HaLex/Equivalence.o ) [11 of 14] Compiling Language.HaLex.FaAsDiGraph ( HaLeX_lib/Language/HaLex/FaAsDiGraph.hs, dist/build/halex/halex-tmp/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 () [12 of 14] Compiling Language.HaLex.RegExpAsDiGraph ( HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs, dist/build/halex/halex-tmp/Language/HaLex/RegExpAsDiGraph.o ) HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:26: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/RegExpAsDiGraph.hs:58:1: Warning: Top-level binding with no type signature: re2DiGraph' :: forall sy. (Ord sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:61:1: Warning: Top-level binding with no type signature: re2DiGraph'' :: forall sy. (Ord sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:65:1: Warning: Top-level binding with no type signature: re2DiGraph''' :: forall sy. (Eq sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:68:1: Warning: Top-level binding with no type signature: re2DiGraphNdfa :: forall sy. (Eq sy, Show sy) => RegExp sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:73:1: Warning: Defined but not used: `re2DiGraphIO' HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: Warning: Defined but not used: `absRe2DiGraph_File' HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: Warning: Top-level binding with no type signature: absRe2DiGraph_File :: forall sy. (Eq sy, Show sy) => RegExp sy -> [Char] -> IO () [13 of 14] Compiling Language.HaLex.Dfa2MDfa ( HaLeX_lib/Language/HaLex/Dfa2MDfa.hs, dist/build/halex/halex-tmp/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 [14 of 14] Compiling Main ( HaLeX_tool/halex.hs, dist/build/halex/halex-tmp/Main.o ) HaLeX_tool/halex.hs:33: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_tool/halex.hs:35:1: Warning: The import of `Language.HaLex.FaAsDiGraph' is redundant except perhaps to import instances from `Language.HaLex.FaAsDiGraph' To import instances alone, use: import Language.HaLex.FaAsDiGraph() HaLeX_tool/halex.hs:36:1: Warning: The import of `Language.HaLex.Parser' is redundant except perhaps to import instances from `Language.HaLex.Parser' To import instances alone, use: import Language.HaLex.Parser() HaLeX_tool/halex.hs:86:10: Warning: Defined but not used: `output' HaLeX_tool/halex.hs:120:1: Warning: Top-level binding with no type signature: compileFromStdIn :: [[Char]] -> [[Char]] -> IO () HaLeX_tool/halex.hs:124:1: Warning: Top-level binding with no type signature: compileRegExp :: forall sy. (Ord sy, Show sy) => RegExp sy -> [[Char]] -> [[Char]] -> IO () Linking dist/build/halex/halex ... Running Haddock for HaLeX-1.2.1... Running hscolour for HaLeX-1.2.1... Preprocessing library HaLeX-1.2.1... HsColour: HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs: hGetContents: invalid argument (invalid byte sequence) Installing library in /srv/hackage/var/build/tmp-install/lib/HaLeX-1.2.1/ghc-7.6.3 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Registering HaLeX-1.2.1... Installed HaLeX-1.2.1