Build #3 for HaLeX-1.2.4
| Package | HaLeX-1.2.4 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2017-02-10 16:29:34.297288 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, mtl-2.2.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.