Resolving dependencies... Configuring mtl-2.2.1... Building mtl-2.2.1... Installed mtl-2.2.1 Configuring HaLeX-1.2.4... Building HaLeX-1.2.4... Failed to install HaLeX-1.2.4 Build log ( /home/builder/.cabal/logs/HaLeX-1.2.4.log ): cabal: Entering directory '/tmp/cabal-tmp-12574/HaLeX-1.2.4' Configuring HaLeX-1.2.4... Building HaLeX-1.2.4... Preprocessing library HaLeX-1.2.4... [ 1 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: [-Wmissing-signatures] Top-level binding with no type signature: insAtPos :: (Num t1, Eq t1) => t1 -> t -> [t] -> [t] HaLeX_lib/Language/HaLex/Util.hs:55:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘insAtPos’: Patterns not matched: p _ [] where p is not one of {1} [ 2 of 18] Compiling Language.HaLex.RegExp ( HaLeX_lib/Language/HaLex/RegExp.hs, dist/build/Language/HaLex/RegExp.o ) HaLeX_lib/Language/HaLex/RegExp.hs:63:27: warning: [-Wname-shadowing] 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 ‘Data.Foldable’) HaLeX_lib/Language/HaLex/RegExp.hs:85:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘matchesRE’: Patterns not matched: (OneOrMore _) _ (Optional _) _ (RESet _) _ HaLeX_lib/Language/HaLex/RegExp.hs:85:17: warning: [-Wunused-matches] Defined but not used: ‘inp’ HaLeX_lib/Language/HaLex/RegExp.hs:137:38: warning: [-Wunused-matches] Defined but not used: ‘x’ HaLeX_lib/Language/HaLex/RegExp.hs:174:21: warning: [-Wunused-matches] Defined but not used: ‘n’ HaLeX_lib/Language/HaLex/RegExp.hs:191:1: warning: [-Wunused-top-binds] Defined but not used: ‘isSymbol’ HaLeX_lib/Language/HaLex/RegExp.hs:191:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: isSymbol :: Char -> Bool HaLeX_lib/Language/HaLex/RegExp.hs:223:16: warning: [-Wunused-matches] Defined but not used: ‘a’ [ 3 of 18] Compiling Language.HaLex.Parser ( HaLeX_lib/Language/HaLex/Parser.hs, dist/build/Language/HaLex/Parser.o ) HaLeX_lib/Language/HaLex/Parser.hs:42:9: warning: [-Wunused-matches] Defined but not used: ‘p’ HaLeX_lib/Language/HaLex/Parser.hs:62:4: warning: [-Wmissing-signatures] Top-level binding with no type signature: (<*>) :: (t4 -> [(t2 -> t1, t3)]) -> (t3 -> [(t2, t)]) -> t4 -> [(t1, t)] HaLeX_lib/Language/HaLex/Parser.hs:67:4: warning: [-Wmissing-signatures] Top-level binding with no type signature: (<$>) :: (t3 -> t2) -> (t1 -> [(t3, t)]) -> t1 -> [(t2, t)] [ 4 of 18] Compiling Language.HaLex.RegExpParser ( HaLeX_lib/Language/HaLex/RegExpParser.hs, dist/build/Language/HaLex/RegExpParser.o ) HaLeX_lib/Language/HaLex/RegExpParser.hs:62:44: warning: [-Wunused-matches] Defined but not used: ‘x’ HaLeX_lib/Language/HaLex/RegExpParser.hs:70:10: warning: [-Wname-shadowing] This binding for ‘l’ shadows the existing binding bound at HaLeX_lib/Language/HaLex/RegExpParser.hs:71:6 HaLeX_lib/Language/HaLex/RegExpParser.hs:71:12: warning: [-Wname-shadowing] This binding for ‘l’ shadows the existing binding bound at HaLeX_lib/Language/HaLex/RegExpParser.hs:71:6 HaLeX_lib/Language/HaLex/RegExpParser.hs:73:1: warning: [-Wtabs] Tab character found here, and in two further locations. Please use spaces instead. HaLeX_lib/Language/HaLex/RegExpParser.hs:89:1: warning: [-Wunused-top-binds] Defined but not used: ‘setRegExp’ HaLeX_lib/Language/HaLex/RegExpParser.hs:94:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: ascii :: [Char] HaLeX_lib/Language/HaLex/RegExpParser.hs:103:1: warning: [-Wunused-top-binds] Defined but not used: ‘spaces’ [ 5 of 18] Compiling Language.HaLex.Dfa ( HaLeX_lib/Language/HaLex/Dfa.hs, dist/build/Language/HaLex/Dfa.o ) HaLeX_lib/Language/HaLex/Dfa.hs:79:9: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/Dfa.hs:90:1: warning: [-Wunused-top-binds] Defined but not used: ‘dfaaccept'’ HaLeX_lib/Language/HaLex/Dfa.hs:90:17: warning: [-Wunused-matches] Defined but not used: ‘v’ HaLeX_lib/Language/HaLex/Dfa.hs:90:19: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/Dfa.hs:100:16: warning: [-Wunused-matches] Defined but not used: ‘v’ HaLeX_lib/Language/HaLex/Dfa.hs:100:18: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/Dfa.hs:110:17: warning: [-Wunused-matches] Defined but not used: ‘p’ HaLeX_lib/Language/HaLex/Dfa.hs:217:29: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/Dfa.hs:217:31: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/Dfa.hs:235:30: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/Dfa.hs:235:32: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/Dfa.hs:258:9: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘lookUptt’: Patterns not matched: _ _ [] HaLeX_lib/Language/HaLex/Dfa.hs:258:18: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/Dfa.hs:258:20: warning: [-Wunused-matches] Defined but not used: ‘v’ HaLeX_lib/Language/HaLex/Dfa.hs:258:24: warning: [-Wunused-matches] Defined but not used: ‘a’ HaLeX_lib/Language/HaLex/Dfa.hs:258:26: warning: [-Wunused-matches] Defined but not used: ‘b’ HaLeX_lib/Language/HaLex/Dfa.hs:278:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘lookupSt’: Patterns not matched: _ [] HaLeX_lib/Language/HaLex/Dfa.hs:282:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘lookupNewSt’: Patterns not matched: _ [] HaLeX_lib/Language/HaLex/Dfa.hs:286:18: warning: [-Wunused-matches] Defined but not used: ‘qaux’ HaLeX_lib/Language/HaLex/Dfa.hs:293:18: warning: [-Wunused-matches] Defined but not used: ‘i’ HaLeX_lib/Language/HaLex/Dfa.hs:303:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: stsDfa :: [(b1, b)] -> [b1] HaLeX_lib/Language/HaLex/Dfa.hs:304:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: stsRHS :: [(a, b)] -> [b] HaLeX_lib/Language/HaLex/Dfa.hs:305:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: allstsTable :: [(a, [a1])] -> [a1] HaLeX_lib/Language/HaLex/Dfa.hs:314:17: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/Dfa.hs:314:21: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/Dfa.hs:331:10: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/Dfa.hs:331:23: warning: [-Wunused-matches] Defined but not used: ‘alfabet’ HaLeX_lib/Language/HaLex/Dfa.hs:347:22: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/Dfa.hs:347:24: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/Dfa.hs:353:46: warning: [-Wunused-matches] Defined but not used: ‘b’ HaLeX_lib/Language/HaLex/Dfa.hs:365:20: warning: [-Wunused-matches] Defined but not used: ‘st’ HaLeX_lib/Language/HaLex/Dfa.hs:376:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: lookupNewSts :: (Eq t, Eq a) => (a -> t1 -> a) -> t -> t1 -> [(a, t)] -> t HaLeX_lib/Language/HaLex/Dfa.hs:379:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: getNewSt :: Eq a => a -> [(a, b)] -> b HaLeX_lib/Language/HaLex/Dfa.hs:379:49: warning: [-Wunused-matches] Defined but not used: ‘b’ HaLeX_lib/Language/HaLex/Dfa.hs:380:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: getOldSt :: Eq b => b -> [(a, b)] -> a HaLeX_lib/Language/HaLex/Dfa.hs:380:47: warning: [-Wunused-matches] Defined but not used: ‘a’ HaLeX_lib/Language/HaLex/Dfa.hs:401:25: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/Dfa.hs:444:15: warning: [-Wunused-matches] Defined but not used: ‘z’ [ 6 of 18] Compiling Language.HaLex.Ndfa ( HaLeX_lib/Language/HaLex/Ndfa.hs, dist/build/Language/HaLex/Ndfa.o ) HaLeX_lib/Language/HaLex/Ndfa.hs:49:1: warning: [-Wunused-imports] 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:88:10: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/Ndfa.hs:100:8: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/Ndfa.hs:100:23: warning: [-Wunused-matches] Defined but not used: ‘sy’ HaLeX_lib/Language/HaLex/Ndfa.hs:119:17: warning: [-Wunused-matches] Defined but not used: ‘p’ HaLeX_lib/Language/HaLex/Ndfa.hs:134:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: showNdfaDelta :: (Show t1, Show a, Show t, Eq t) => [t1] -> [a] -> (t1 -> Maybe a -> [t]) -> String -> String HaLeX_lib/Language/HaLex/Ndfa.hs:224:33: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/Ndfa.hs:224:35: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/Ndfa.hs:250:9: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘lookupTT’: Patterns not matched: _ _ [] HaLeX_lib/Language/HaLex/Ndfa.hs:278:47: warning: [-Wunused-matches] Defined but not used: ‘b’ HaLeX_lib/Language/HaLex/Ndfa.hs:282:45: warning: [-Wunused-matches] Defined but not used: ‘a’ HaLeX_lib/Language/HaLex/Ndfa.hs:295:27: warning: [-Wunused-matches] Defined but not used: ‘s’ [ 7 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: [-Wunused-imports] 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: [-Wunused-imports] 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: [-Wunused-matches] Defined but not used: ‘v’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:22: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:28: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:142:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: showInitialState :: Show a => a -> String -> String HaLeX_lib/Language/HaLex/DfaMonad.lhs:146:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: showFinalStates' :: Show a => [a] -> [[Char]] HaLeX_lib/Language/HaLex/DfaMonad.lhs:151:22: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:151:24: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:183:22: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:183:24: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:209:15: warning: [-Wunused-matches] Defined but not used: ‘e’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:227:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: [] _ (p:_) _ where p is not one of {'C'} ['C'] _ ('C':p:_) _ where p is not one of {'1', '0'} ... HaLeX_lib/Language/HaLex/DfaMonad.lhs:245:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves :: [[Char]] HaLeX_lib/Language/HaLex/DfaMonad.lhs:246:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves2 :: [[Char]] HaLeX_lib/Language/HaLex/DfaMonad.lhs:247:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves3 :: [[Char]] HaLeX_lib/Language/HaLex/DfaMonad.lhs:248:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves4 :: [[Char]] HaLeX_lib/Language/HaLex/DfaMonad.lhs:250:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: acc :: Maybe Bool HaLeX_lib/Language/HaLex/DfaMonad.lhs:270:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: varGlob :: IORef [Char] HaLeX_lib/Language/HaLex/DfaMonad.lhs:344:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: p _ where p is not one of {'B', 'A'} 'B' p where p is not one of {'a'} 'A' p where p is not one of {'b', 'a'} HaLeX_lib/Language/HaLex/DfaMonad.lhs:345:1: warning: [-Wtabs] Tab character found here, and in three further locations. Please use spaces instead. HaLeX_lib/Language/HaLex/DfaMonad.lhs:353:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: runAccept :: (Num s, Eq st) => Dfa (StateT s Data.Functor.Identity.Identity) st sy -> [sy] -> (Bool, s) HaLeX_lib/Language/HaLex/DfaMonad.lhs:373:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: p _ where p is not one of {'B', 'A'} 'B' p where p is not one of {'a'} 'A' p where p is not one of {'b', 'a'} HaLeX_lib/Language/HaLex/DfaMonad.lhs:380:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: runAccept_ex4 :: Eq st => Dfa (StateT [Char] Data.Functor.Identity.Identity) st sy -> [sy] -> (Bool, [Char]) HaLeX_lib/Language/HaLex/DfaMonad.lhs:400:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: p _ where p is not one of {'B', 'A'} 'B' p where p is not one of {'a'} 'A' p where p is not one of {'b', 'a'} HaLeX_lib/Language/HaLex/DfaMonad.lhs:406:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: runAccept_ex5 :: [Char] -> (Bool, [Char]) HaLeX_lib/Language/HaLex/DfaMonad.lhs:429:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: p _ where p is not one of {3, 2, 1} 3 p where p is not one of {'d'} 2 p where p is not one of {'d'} 1 p where p is not one of {'d', '-', '+'} HaLeX_lib/Language/HaLex/DfaMonad.lhs:430:22: warning: [-Wunused-do-bind] A do-notation statement discarded a result of type ‘[Char]’ Suppress this warning by saying ‘_ <- accumM’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:432:22: warning: [-Wunused-do-bind] A do-notation statement discarded a result of type ‘[Char]’ Suppress this warning by saying ‘_ <- accumD’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:434:22: warning: [-Wunused-do-bind] A do-notation statement discarded a result of type ‘[Char]’ Suppress this warning by saying ‘_ <- accumD’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:436:22: warning: [-Wunused-do-bind] A do-notation statement discarded a result of type ‘[Char]’ Suppress this warning by saying ‘_ <- accumD’ HaLeX_lib/Language/HaLex/DfaMonad.lhs:446:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: runAccept_int :: [Char] -> (Bool, [Char]) HaLeX_lib/Language/HaLex/DfaMonad.lhs:494:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: runAccept_ex6 :: [Char] -> (Bool, ([Char], Int)) HaLeX_lib/Language/HaLex/DfaMonad.lhs:557:5: warning: [-Wname-shadowing] 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: [-Wmissing-signatures] Top-level binding with no type signature: runAccept_te :: [Char] -> (Bool, ([Char], [Code])) HaLeX_lib/Language/HaLex/DfaMonad.lhs:611:5: warning: [-Wname-shadowing] 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: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘converte’: Patterns not matched: (p:_) where p is not one of {'1', '0'} HaLeX_lib/Language/HaLex/DfaMonad.lhs:620:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: expo :: (Num t1, Num t, Ord t) => t1 -> t -> t1 [ 8 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: [-Wunused-imports] 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: [-Wmissing-signatures] Top-level binding with no type signature: toRegExp2 :: [sy] -> RegExp sy HaLeX_lib/Language/HaLex/Fa2RegExp.hs:70:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: toRegExp2' :: [Maybe sy] -> RegExp sy HaLeX_lib/Language/HaLex/Fa2RegExp.hs:73:29: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/Fa2RegExp.hs:112:8: warning: [-Wunused-matches] Defined but not used: ‘d’ HaLeX_lib/Language/HaLex/Fa2RegExp.hs:112:10: warning: [-Wunused-matches] Defined but not used: ‘v’ [ 9 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: [-Wmissing-signatures] Top-level binding with no type signature: stsDfa :: [(b1, b)] -> [b1] HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: stsRHS :: [(a, b)] -> [b] HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: allstsCT :: [(a, [a1])] -> [a1] HaLeX_lib/Language/HaLex/FaOperations.hs:61:17: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:61:21: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/FaOperations.hs:71:10: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/FaOperations.hs:71:23: warning: [-Wunused-matches] Defined but not used: ‘alfabet’ HaLeX_lib/Language/HaLex/FaOperations.hs:80:23: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:80:25: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/FaOperations.hs:80:29: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/FaOperations.hs:89:23: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/FaOperations.hs:94:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: lookupCT :: (Eq t1, Eq t2) => t2 -> t1 -> [(t2, [[t]])] -> [t1] -> [t] HaLeX_lib/Language/HaLex/FaOperations.hs:94:10: warning: [-Wunused-matches] Defined but not used: ‘st’ HaLeX_lib/Language/HaLex/FaOperations.hs:94:13: warning: [-Wunused-matches] Defined but not used: ‘sy’ HaLeX_lib/Language/HaLex/FaOperations.hs:94:23: warning: [-Wunused-matches] Defined but not used: ‘v’ HaLeX_lib/Language/HaLex/FaOperations.hs:106:16: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:123:20: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘d'’: Patterns not matched: _ HaLeX_lib/Language/HaLex/FaOperations.hs:148:21: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘d'’: Patterns not matched: _ HaLeX_lib/Language/HaLex/FaOperations.hs:189:20: warning: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:190:20: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:194:20: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:198:20: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:226:21: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:229:21: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaOperations.hs:243:21: warning: [-Wname-shadowing] 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: [-Wname-shadowing] This binding for ‘q’ shadows the existing binding bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12 [10 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: [-Wmissing-signatures] Top-level binding with no type signature: removeinaccessible :: (Ord sy, Ord a) => Dfa a sy -> Dfa a sy HaLeX_lib/Language/HaLex/Minimize.hs:108:31: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/Minimize.hs:114:1: warning: [-Wunused-top-binds] Defined but not used: ‘removeinaccessible'’ HaLeX_lib/Language/HaLex/Minimize.hs:114:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: removeinaccessible' :: (Eq sy, Ord st) => Dfa st sy -> Dfa [st] sy HaLeX_lib/Language/HaLex/Minimize.hs:189:16: warning: [-Wunused-matches] Defined but not used: ‘st’ [11 of 18] Compiling Language.HaLex.RegExp2Fa ( HaLeX_lib/Language/HaLex/RegExp2Fa.hs, dist/build/Language/HaLex/RegExp2Fa.o ) HaLeX_lib/Language/HaLex/RegExp2Fa.hs:70:16: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/RegExp2Fa.hs:92:21: warning: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/RegExp2Fa.hs:112:21: warning: [-Wname-shadowing] 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: [-Wunused-matches] Defined but not used: ‘q’ [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: [-Wunused-imports] 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: [-Wunused-imports] 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: [-Wmissing-signatures] Top-level binding with no type signature: showAsAccumDfa :: (Show st, Show sy) => Dfa st sy -> String -> String HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:48:5: warning: [-Wname-shadowing] 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: [-Wmissing-signatures] Top-level binding with no type signature: re2MHaskellMod :: (Ord sy, Show sy) => RegExp sy -> Bool -> Bool -> [Char] HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:84:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘re2MDfa’: Patterns not matched: _ _ _ HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: f :: Maybe (RegExp sy) -> RegExp sy HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:116:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfa_int :: Dfa Integer Char HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:117:16: warning: [-Wtype-defaults] • Defaulting the following constraints to type ‘Integer’ (Num a0) arising from the literal ‘1’ at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:117:16 (Eq a0) arising from a use of ‘delta’ at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19 • In the expression: 1 In the second argument of ‘Dfa’, namely ‘[1, 2, 3, 4]’ In the expression: Dfa ['+', '-', '0', '1'] [1, 2, 3, 4] 1 [3] delta [13 of 18] Compiling Language.HaLex.Equivalence ( HaLeX_lib/Language/HaLex/Equivalence.hs, dist/build/Language/HaLex/Equivalence.o ) [14 of 18] Compiling Language.HaLex.FaAsDiGraph ( HaLeX_lib/Language/HaLex/FaAsDiGraph.hs, dist/build/Language/HaLex/FaAsDiGraph.o ) HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:23:34: warning: [-Wtabs] Tab character found here, and in 8 further locations. Please use spaces instead. HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:31:1: warning: [-Wunused-imports] 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:32:1: warning: [-Wunused-imports] 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:36:1: warning: [-Wunused-imports] 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:40:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: ndfa2graphviz :: (Eq sy, Show a, Show sy, Ord a) => Ndfa a sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:43:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: ndfa2graphviz2file :: (Eq sy, Ord a, Show sy, Show a) => Ndfa a sy -> [Char] -> IO () HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfa2graphviz :: (Eq sy, Show a, Show sy, Ord a) => Dfa a sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:52:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfa2graphviz2file :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> IO () HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:64:23: warning: [-Wunused-matches] Defined but not used: ‘v’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:64:25: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:64:27: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:64:29: warning: [-Wunused-matches] Defined but not used: ‘z’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:64:31: warning: [-Wunused-matches] Defined but not used: ‘delta’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:87:39: warning: [-Wtype-defaults] • Defaulting the following constraints to type ‘Integer’ (Num t0) arising from a use of ‘mirroredInitialStates’ at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:87:39-63 (Show t0) arising from a use of ‘mirroredInitialStates’ at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:87:39-63 • In the first argument of ‘createInitialArrows’, namely ‘(mirroredInitialStates s 1)’ In the first argument of ‘(++)’, namely ‘(createInitialArrows (mirroredInitialStates s 1) s)’ In the second argument of ‘(++)’, namely ‘(createInitialArrows (mirroredInitialStates s 1) s) ++ "\n\ \}"’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:96:23: warning: [-Wname-shadowing] This binding for ‘q’ shadows the existing binding bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:26 HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:102:23: warning: [-Wname-shadowing] This binding for ‘s’ shadows the existing binding bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:28 HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:108:29: warning: [-Wname-shadowing] This binding for ‘z’ shadows the existing binding bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:30 HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:116:28: warning: [-Wunused-matches] Defined but not used: ‘x’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:119:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘createInitialArrows’: Patterns not matched: [] (_:_) (_:_) [] HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:135:29: warning: [-Wunused-matches] Defined but not used: ‘q’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:135:31: warning: [-Wunused-matches] Defined but not used: ‘s’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:151:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: groupMoves :: (Eq sy, Eq t) => [(t, Maybe sy, t)] -> [(t, [Maybe sy], t)] HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:229:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfa2DiGraphWithNoSyncSt :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> [Char] HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:231:1: warning: [-Wunused-top-binds] Defined but not used: ‘dfa2DiGraphIO’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:231:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfa2DiGraphIO :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> [Char] -> IO () HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:233:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfaDiGraphWithNoSyncStIO :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> FilePath -> IO () HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:236:1: warning: [-Wunused-top-binds] Defined but not used: ‘dfa2DiGraphIO''’ HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:236:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dfa2DiGraphIO'' :: (Ord sy, Ord st, Show sy) => Dfa st sy -> [Char] -> IO () [15 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: [-Wmissing-signatures] Top-level binding with no type signature: ex :: Dfa [Char] [Char] HaLeX_lib/Language/HaLex/Examples/Robot.lhs:27:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: [] _ (p:_) _ where p is not one of {'C'} ['C'] _ ('C':p:_) _ where p is not one of {'1', '0'} ... HaLeX_lib/Language/HaLex/Examples/Robot.lhs:42:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves :: [[Char]] HaLeX_lib/Language/HaLex/Examples/Robot.lhs:43:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves2 :: [[Char]] HaLeX_lib/Language/HaLex/Examples/Robot.lhs:44:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves3 :: [[Char]] HaLeX_lib/Language/HaLex/Examples/Robot.lhs:45:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: moves4 :: [[Char]] HaLeX_lib/Language/HaLex/Examples/Robot.lhs:47:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: g :: IO () HaLeX_lib/Language/HaLex/Examples/Robot.lhs:64:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: [] _ (p:_) _ where p is not one of {'C'} ['C'] _ ('C':p:_) _ where p is not one of {'1', '0'} ... HaLeX_lib/Language/HaLex/Examples/Robot.lhs:81:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: acc :: Maybe Bool HaLeX_lib/Language/HaLex/Examples/Robot.lhs:99:5: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘delta’: Patterns not matched: [] _ (p:_) _ where p is not one of {'C'} ['C'] _ ('C':p:_) _ where p is not one of {'1', '0'} ... HaLeX_lib/Language/HaLex/Examples/Robot.lhs:118:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: acc2 :: IO Bool HaLeX_lib/Language/HaLex/Examples/Robot.lhs:121:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: exShow :: IO () [16 of 18] Compiling Language.HaLex.FaClasses ( HaLeX_lib/Language/HaLex/FaClasses.hs, dist/build/Language/HaLex/FaClasses.o ) HaLeX_lib/Language/HaLex/FaClasses.hs:24:1: error: Failed to load interface for ‘Language.HaLex.Sentences’ Use -v to see a list of the files searched for. cabal: Leaving directory '/tmp/cabal-tmp-12574/HaLeX-1.2.4' cabal: Error: some packages failed to install: HaLeX-1.2.4 failed during the building phase. The exception was: ExitFailure 1