Build #1 for HaLeX-1.2.2
| Package | HaLeX-1.2.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-09-05 11:18:37.529376 UTC |
|---|---|
| Compiler | ghc-8.0.1.20160701 |
| 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...
cabal: Entering directory '/tmp/cabal-tmp-22057/mtl-2.2.1'
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.22145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-22057/mtl-2.2.1'
Installed mtl-2.2.1
Downloading HaLeX-1.2.2...
cabal: Entering directory '/tmp/cabal-tmp-22057/HaLeX-1.2.2'
Configuring HaLeX-1.2.2...
Building HaLeX-1.2.2...
Preprocessing library HaLeX-1.2.2...
[ 1 of 18] Compiling Language.HaLex.Parser ( HaLeX_lib/Language/HaLex/Parser.hs, dist/build/Language/HaLex/Parser.o )
HaLeX_lib/Language/HaLex/Parser.hs:40:9: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Parser.hs:60:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<*>) :: forall t t1 t2 t3 t4.
(t -> [(t4 -> t2, t1)])
-> (t1 -> [(t4, t3)]) -> t -> [(t2, t3)]
HaLeX_lib/Language/HaLex/Parser.hs:65:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<$>) :: forall t t1 t2 t3.
(t3 -> t1) -> (t -> [(t3, t2)]) -> t -> [(t1, t2)]
[ 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: [-Wmissing-signatures]
Top-level binding with no type signature:
insAtPos :: forall t t1. (Num t, Eq t) => t -> t1 -> [t1] -> [t1]
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}
[ 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: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:89:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfaaccept'’
HaLeX_lib/Language/HaLex/Dfa.hs:89:17: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:89:19: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:99:16: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:99:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:109:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Dfa.hs:185:1: warning: [-Wredundant-constraints]
• Redundant constraint: Eq [st]
• In the type signature for:
reachedStatesFrom :: (Eq [st], Ord st) =>
(st -> sy -> st) -> [sy] -> st -> [st]
HaLeX_lib/Language/HaLex/Dfa.hs:216:29: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:216:31: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:239:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookUptt’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Dfa.hs:239:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:239:20: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:239:24: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:239:26: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:259:1: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:263:1: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupNewSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:267:18: warning: [-Wunused-matches]
Defined but not used: ‘qaux’
HaLeX_lib/Language/HaLex/Dfa.hs:274:18: warning: [-Wunused-matches]
Defined but not used: ‘i’
HaLeX_lib/Language/HaLex/Dfa.hs:284:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:285:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:286:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsTable :: forall a a1. [(a1, [a])] -> [a]
HaLeX_lib/Language/HaLex/Dfa.hs:295:17: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:295:21: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:312:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:312:23: warning: [-Wunused-matches]
Defined but not used: ‘alfabet’
HaLeX_lib/Language/HaLex/Dfa.hs:328:22: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:328:24: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:334:46: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:346:20: warning: [-Wunused-matches]
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/Dfa.hs:357:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
lookupNewSts :: forall t t1 a.
(Eq a, Eq t) =>
(a -> t1 -> a) -> t -> t1 -> [(a, t)] -> t
HaLeX_lib/Language/HaLex/Dfa.hs:360:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getNewSt :: forall a b. Eq a => a -> [(a, b)] -> b
HaLeX_lib/Language/HaLex/Dfa.hs:360:49: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:361:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getOldSt :: forall a b. Eq b => b -> [(a, b)] -> a
HaLeX_lib/Language/HaLex/Dfa.hs:361:47: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:382:25: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:425:15: warning: [-Wunused-matches]
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: [-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:87:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:8: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:23: warning: [-Wunused-matches]
Defined but not used: ‘sy’
HaLeX_lib/Language/HaLex/Ndfa.hs:118:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Ndfa.hs:133:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showNdfaDelta :: forall a t t1.
(Show t1, Show t, Show a, Eq t1) =>
[t] -> [a] -> (t -> Maybe a -> [t1]) -> String -> [Char]
HaLeX_lib/Language/HaLex/Ndfa.hs:223:33: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:223:35: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Ndfa.hs:249:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupTT’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Ndfa.hs:277:47: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Ndfa.hs:281:45: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Ndfa.hs:294:27: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:326:1: warning: [-Wunused-top-binds]
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: [-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 :: forall a. Show a => a -> String -> String
HaLeX_lib/Language/HaLex/DfaMonad.lhs:146:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showFinalStates' :: forall a. 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 :: forall s st sy.
(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 :: forall st sy.
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 :: forall t t1. (Ord t1, Num t1, Num t) => t -> t1 -> t
[ 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: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsCT :: forall a a1. [(a1, [a])] -> [a]
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 :: forall t t1 t2.
(Eq t2, Eq t1) =>
t1 -> t2 -> [(t1, [[t]])] -> [t2] -> [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
[ 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: [-Wmissing-signatures]
Top-level binding with no type signature:
removeinaccessible :: forall sy a.
(Ord a, Ord sy) =>
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' :: forall st sy.
(Ord st, Eq sy) =>
Dfa st sy -> Dfa [st] sy
HaLeX_lib/Language/HaLex/Minimize.hs:130:1: warning: [-Wtabs]
Tab character found here, and in 32 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/Minimize.hs:187:16: warning: [-Wunused-matches]
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: [-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:82:1: warning: [-Wincomplete-patterns]
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: [-Wunused-matches]
Defined but not used: ‘inp’
HaLeX_lib/Language/HaLex/RegExp.hs:134:38: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExp.hs:163:2: warning: [-Wtabs]
Tab character found here, and in 8 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/RegExp.hs:170:21: warning: [-Wunused-matches]
Defined but not used: ‘n’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSymbol’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: isSymbol :: Char -> Bool
HaLeX_lib/Language/HaLex/RegExp.hs:217:16: warning: [-Wunused-matches]
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: [-Wincomplete-patterns]
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: [-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’
[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: [-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:30: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:34: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:38:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:41:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:45:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:23: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-local-binds]
Defined but not used: ‘showNdfaArrows'’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:21: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: warning: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:39: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘createInitialArrows’:
Patterns not matched:
[] (_:_)
(_:_) []
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:113:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showListMaybe :: forall a. Show a => [Maybe a] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:126:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
groupMoves :: forall t sy.
(Eq sy, Eq t) =>
[(t, Maybe sy, t)] -> [(t, [Maybe sy], t)]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:1: warning: [-Wunused-top-binds]
Defined but not used: ‘showNdfaArrows’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:28: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157:1: warning: [-Wmissing-signatures]
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: [-Wmissing-signatures]
Top-level binding with no type signature:
tographvizIO :: forall sy st.
(Show st, Show sy, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphWithNoSyncSt :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfaDiGraphWithNoSyncStIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> FilePath -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO''’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO'' :: forall sy st.
(Show sy, Ord st, Ord 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: [-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 ()
[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 :: forall st sy.
(Show sy, Show st) =>
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 :: forall sy.
(Show sy, Ord 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 :: forall sy. 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:120:15: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Eq a0)
arising from a use of ‘delta’
at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19
(Num a0)
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: [-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 :: forall sy. [sy] -> RegExp sy
HaLeX_lib/Language/HaLex/Fa2RegExp.hs:70:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
toRegExp2' :: forall sy. [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’
[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:62:44: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExpParser.hs:74:1: warning: [-Wunused-top-binds]
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: [-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/RegExpAsDiGraph.hs:58:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:61:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph'' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:65:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph''' :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:68:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraphNdfa :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:73:1: warning: [-Wunused-top-binds]
Defined but not used: ‘re2DiGraphIO’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wunused-top-binds]
Defined but not used: ‘absRe2DiGraph_File’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
absRe2DiGraph_File :: forall sy.
(Show sy, Eq 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: [-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/Examples/Real.lhs:59:1: warning: [-Wunused-imports]
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: [-Wunused-imports]
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: [-Wmissing-signatures]
Top-level binding with no type signature: sinal'' :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:72:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: d :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:75:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: re_int :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:78:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: intdfa :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:81:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: d' :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:87:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: re_real :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:91:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: re_real' :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:98:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: cre_real :: [Char]
HaLeX_lib/Language/HaLex/Examples/Real.lhs:101:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: realdfa' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:103:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: realdfa'' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:105:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
realdfa''' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:109:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
realdfa'''' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:111:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
genGraph :: forall sy st.
(Show st, Show sy, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/Examples/Real.lhs:114:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: realdfa :: Dfa Char Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:176:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
realndfa :: Ndfa Char Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:182:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
deltaNdfa :: Char -> Maybe Char -> [Char]
HaLeX_lib/Language/HaLex/Examples/Real.lhs:227:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
isrealNdfa :: [Char] -> Bool
Preprocessing executable 'halex' for HaLeX-1.2.2...
[ 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: [-Wmissing-signatures]
Top-level binding with no type signature:
insAtPos :: forall t t1. (Num t, Eq t) => t -> t1 -> [t1] -> [t1]
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 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: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Parser.hs:60:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<*>) :: forall t t1 t2 t3 t4.
(t -> [(t4 -> t2, t1)])
-> (t1 -> [(t4, t3)]) -> t -> [(t2, t3)]
HaLeX_lib/Language/HaLex/Parser.hs:65:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<$>) :: forall t t1 t2 t3.
(t3 -> t1) -> (t -> [(t3, t2)]) -> t -> [(t1, t2)]
[ 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: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:89:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfaaccept'’
HaLeX_lib/Language/HaLex/Dfa.hs:89:17: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:89:19: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:99:16: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:99:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:109:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Dfa.hs:185:1: warning: [-Wredundant-constraints]
• Redundant constraint: Eq [st]
• In the type signature for:
reachedStatesFrom :: (Eq [st], Ord st) =>
(st -> sy -> st) -> [sy] -> st -> [st]
HaLeX_lib/Language/HaLex/Dfa.hs:216:29: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:216:31: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:239:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookUptt’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Dfa.hs:239:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:239:20: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:239:24: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:239:26: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:259:1: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:263:1: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupNewSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:267:18: warning: [-Wunused-matches]
Defined but not used: ‘qaux’
HaLeX_lib/Language/HaLex/Dfa.hs:274:18: warning: [-Wunused-matches]
Defined but not used: ‘i’
HaLeX_lib/Language/HaLex/Dfa.hs:284:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:285:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:286:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsTable :: forall a a1. [(a1, [a])] -> [a]
HaLeX_lib/Language/HaLex/Dfa.hs:295:17: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:295:21: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:312:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:312:23: warning: [-Wunused-matches]
Defined but not used: ‘alfabet’
HaLeX_lib/Language/HaLex/Dfa.hs:328:22: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:328:24: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:334:46: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:346:20: warning: [-Wunused-matches]
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/Dfa.hs:357:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
lookupNewSts :: forall t t1 a.
(Eq a, Eq t) =>
(a -> t1 -> a) -> t -> t1 -> [(a, t)] -> t
HaLeX_lib/Language/HaLex/Dfa.hs:360:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getNewSt :: forall a b. Eq a => a -> [(a, b)] -> b
HaLeX_lib/Language/HaLex/Dfa.hs:360:49: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:361:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getOldSt :: forall a b. Eq b => b -> [(a, b)] -> a
HaLeX_lib/Language/HaLex/Dfa.hs:361:47: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:382:25: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:425:15: warning: [-Wunused-matches]
Defined but not used: ‘z’
[ 4 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: [-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:82:1: warning: [-Wincomplete-patterns]
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: [-Wunused-matches]
Defined but not used: ‘inp’
HaLeX_lib/Language/HaLex/RegExp.hs:134:38: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExp.hs:163:2: warning: [-Wtabs]
Tab character found here, and in 8 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/RegExp.hs:170:21: warning: [-Wunused-matches]
Defined but not used: ‘n’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSymbol’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: isSymbol :: Char -> Bool
HaLeX_lib/Language/HaLex/RegExp.hs:217:16: warning: [-Wunused-matches]
Defined but not used: ‘a’
[ 5 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:62:44: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExpParser.hs:74:1: warning: [-Wunused-top-binds]
Defined but not used: ‘spaces’
[ 6 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: [-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:87:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:8: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:23: warning: [-Wunused-matches]
Defined but not used: ‘sy’
HaLeX_lib/Language/HaLex/Ndfa.hs:118:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Ndfa.hs:133:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showNdfaDelta :: forall a t t1.
(Show t1, Show t, Show a, Eq t1) =>
[t] -> [a] -> (t -> Maybe a -> [t1]) -> String -> [Char]
HaLeX_lib/Language/HaLex/Ndfa.hs:223:33: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:223:35: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Ndfa.hs:249:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupTT’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Ndfa.hs:277:47: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Ndfa.hs:281:45: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Ndfa.hs:294:27: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:326:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSyncState’
[ 7 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: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsCT :: forall a a1. [(a1, [a])] -> [a]
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 :: forall t t1 t2.
(Eq t2, Eq t1) =>
t1 -> t2 -> [(t1, [[t]])] -> [t2] -> [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
[ 8 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: [-Wmissing-signatures]
Top-level binding with no type signature:
removeinaccessible :: forall sy a.
(Ord a, Ord sy) =>
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' :: forall st sy.
(Ord st, Eq sy) =>
Dfa st sy -> Dfa [st] sy
HaLeX_lib/Language/HaLex/Minimize.hs:130:1: warning: [-Wtabs]
Tab character found here, and in 32 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/Minimize.hs:187:16: warning: [-Wunused-matches]
Defined but not used: ‘st’
[ 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: [-Wincomplete-patterns]
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: [-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’
[10 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: [-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 :: forall st sy.
(Show sy, Show st) =>
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 :: forall sy.
(Show sy, Ord 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 :: forall sy. 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:120:15: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Eq a0)
arising from a use of ‘delta’
at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19
(Num a0)
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
[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: [-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:30: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:34: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:38:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:41:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:45:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:23: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-local-binds]
Defined but not used: ‘showNdfaArrows'’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:21: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: warning: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:39: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘createInitialArrows’:
Patterns not matched:
[] (_:_)
(_:_) []
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:113:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showListMaybe :: forall a. Show a => [Maybe a] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:126:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
groupMoves :: forall t sy.
(Eq sy, Eq t) =>
[(t, Maybe sy, t)] -> [(t, [Maybe sy], t)]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:1: warning: [-Wunused-top-binds]
Defined but not used: ‘showNdfaArrows’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:28: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157:1: warning: [-Wmissing-signatures]
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: [-Wmissing-signatures]
Top-level binding with no type signature:
tographvizIO :: forall sy st.
(Show st, Show sy, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphWithNoSyncSt :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfaDiGraphWithNoSyncStIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> FilePath -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO''’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO'' :: forall sy st.
(Show sy, Ord st, Ord sy) =>
Dfa st sy -> [Char] -> IO ()
[12 of 14] Compiling Language.HaLex.Equivalence ( HaLeX_lib/Language/HaLex/Equivalence.hs, dist/build/halex/halex-tmp/Language/HaLex/Equivalence.o )
[13 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: [-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/RegExpAsDiGraph.hs:58:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:61:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph'' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:65:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph''' :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:68:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraphNdfa :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:73:1: warning: [-Wunused-top-binds]
Defined but not used: ‘re2DiGraphIO’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wunused-top-binds]
Defined but not used: ‘absRe2DiGraph_File’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
absRe2DiGraph_File :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> IO ()
[14 of 14] Compiling Main ( HaLeX_tool/halex.hs, dist/build/halex/halex-tmp/Main.o )
HaLeX_tool/halex.hs:33: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_tool/halex.hs:35:1: warning: [-Wunused-imports]
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: [-Wunused-imports]
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: [-Wunused-local-binds]
Defined but not used: ‘output’
HaLeX_tool/halex.hs:120:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
compileFromStdIn :: forall (t :: * -> *).
Foldable t =>
[[Char]] -> t [Char] -> IO ()
HaLeX_tool/halex.hs:124:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
compileRegExp :: forall (t :: * -> *) sy.
(Foldable t, Show sy, Ord sy) =>
RegExp sy -> [[Char]] -> t [Char] -> IO ()
[ 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: [-Wmissing-signatures]
Top-level binding with no type signature:
insAtPos :: forall t t1. (Num t, Eq t) => t -> t1 -> [t1] -> [t1]
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 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: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Parser.hs:60:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<*>) :: forall t t1 t2 t3 t4.
(t -> [(t4 -> t2, t1)])
-> (t1 -> [(t4, t3)]) -> t -> [(t2, t3)]
HaLeX_lib/Language/HaLex/Parser.hs:65:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<$>) :: forall t t1 t2 t3.
(t3 -> t1) -> (t -> [(t3, t2)]) -> t -> [(t1, t2)]
[ 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: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:89:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfaaccept'’
HaLeX_lib/Language/HaLex/Dfa.hs:89:17: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:89:19: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:99:16: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:99:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:109:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Dfa.hs:185:1: warning: [-Wredundant-constraints]
• Redundant constraint: Eq [st]
• In the type signature for:
reachedStatesFrom :: (Eq [st], Ord st) =>
(st -> sy -> st) -> [sy] -> st -> [st]
HaLeX_lib/Language/HaLex/Dfa.hs:216:29: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:216:31: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:239:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookUptt’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Dfa.hs:239:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:239:20: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:239:24: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:239:26: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:259:1: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:263:1: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupNewSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:267:18: warning: [-Wunused-matches]
Defined but not used: ‘qaux’
HaLeX_lib/Language/HaLex/Dfa.hs:274:18: warning: [-Wunused-matches]
Defined but not used: ‘i’
HaLeX_lib/Language/HaLex/Dfa.hs:284:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:285:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:286:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsTable :: forall a a1. [(a1, [a])] -> [a]
HaLeX_lib/Language/HaLex/Dfa.hs:295:17: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:295:21: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:312:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:312:23: warning: [-Wunused-matches]
Defined but not used: ‘alfabet’
HaLeX_lib/Language/HaLex/Dfa.hs:328:22: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:328:24: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:334:46: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:346:20: warning: [-Wunused-matches]
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/Dfa.hs:357:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
lookupNewSts :: forall t t1 a.
(Eq a, Eq t) =>
(a -> t1 -> a) -> t -> t1 -> [(a, t)] -> t
HaLeX_lib/Language/HaLex/Dfa.hs:360:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getNewSt :: forall a b. Eq a => a -> [(a, b)] -> b
HaLeX_lib/Language/HaLex/Dfa.hs:360:49: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:361:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getOldSt :: forall a b. Eq b => b -> [(a, b)] -> a
HaLeX_lib/Language/HaLex/Dfa.hs:361:47: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:382:25: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:425:15: warning: [-Wunused-matches]
Defined but not used: ‘z’
[ 4 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: [-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:82:1: warning: [-Wincomplete-patterns]
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: [-Wunused-matches]
Defined but not used: ‘inp’
HaLeX_lib/Language/HaLex/RegExp.hs:134:38: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExp.hs:163:2: warning: [-Wtabs]
Tab character found here, and in 8 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/RegExp.hs:170:21: warning: [-Wunused-matches]
Defined but not used: ‘n’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSymbol’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: isSymbol :: Char -> Bool
HaLeX_lib/Language/HaLex/RegExp.hs:217:16: warning: [-Wunused-matches]
Defined but not used: ‘a’
[ 5 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:62:44: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExpParser.hs:74:1: warning: [-Wunused-top-binds]
Defined but not used: ‘spaces’
[ 6 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: [-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:87:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:8: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:23: warning: [-Wunused-matches]
Defined but not used: ‘sy’
HaLeX_lib/Language/HaLex/Ndfa.hs:118:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Ndfa.hs:133:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showNdfaDelta :: forall a t t1.
(Show t1, Show t, Show a, Eq t1) =>
[t] -> [a] -> (t -> Maybe a -> [t1]) -> String -> [Char]
HaLeX_lib/Language/HaLex/Ndfa.hs:223:33: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:223:35: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Ndfa.hs:249:9: warning: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lookupTT’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Ndfa.hs:277:47: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Ndfa.hs:281:45: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Ndfa.hs:294:27: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:326:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSyncState’
[ 7 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: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsCT :: forall a a1. [(a1, [a])] -> [a]
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 :: forall t t1 t2.
(Eq t2, Eq t1) =>
t1 -> t2 -> [(t1, [[t]])] -> [t2] -> [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
[ 8 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: [-Wmissing-signatures]
Top-level binding with no type signature:
removeinaccessible :: forall sy a.
(Ord a, Ord sy) =>
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' :: forall st sy.
(Ord st, Eq sy) =>
Dfa st sy -> Dfa [st] sy
HaLeX_lib/Language/HaLex/Minimize.hs:130:1: warning: [-Wtabs]
Tab character found here, and in 32 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/Minimize.hs:187:16: warning: [-Wunused-matches]
Defined but not used: ‘st’
[ 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: [-Wincomplete-patterns]
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: [-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’
[10 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: [-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 :: forall st sy.
(Show sy, Show st) =>
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 :: forall sy.
(Show sy, Ord 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 :: forall sy. 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:120:15: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Eq a0)
arising from a use of ‘delta’
at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19
(Num a0)
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
[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: [-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:30: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:34: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:38:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:41:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:45:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:23: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-local-binds]
Defined but not used: ‘showNdfaArrows'’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:21: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: warning: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:39: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘createInitialArrows’:
Patterns not matched:
[] (_:_)
(_:_) []
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:113:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showListMaybe :: forall a. Show a => [Maybe a] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:126:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
groupMoves :: forall t sy.
(Eq sy, Eq t) =>
[(t, Maybe sy, t)] -> [(t, [Maybe sy], t)]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:1: warning: [-Wunused-top-binds]
Defined but not used: ‘showNdfaArrows’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:28: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157:1: warning: [-Wmissing-signatures]
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: [-Wmissing-signatures]
Top-level binding with no type signature:
tographvizIO :: forall sy st.
(Show st, Show sy, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphWithNoSyncSt :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfaDiGraphWithNoSyncStIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> FilePath -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO''’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO'' :: forall sy st.
(Show sy, Ord st, Ord sy) =>
Dfa st sy -> [Char] -> IO ()
[12 of 14] Compiling Language.HaLex.Equivalence ( HaLeX_lib/Language/HaLex/Equivalence.hs, dist/build/halex/halex-tmp/Language/HaLex/Equivalence.o )
[13 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: [-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/RegExpAsDiGraph.hs:58:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:61:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph'' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:65:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph''' :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:68:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraphNdfa :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:73:1: warning: [-Wunused-top-binds]
Defined but not used: ‘re2DiGraphIO’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wunused-top-binds]
Defined but not used: ‘absRe2DiGraph_File’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
absRe2DiGraph_File :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> IO ()
[14 of 14] Compiling Main ( HaLeX_tool/halex.hs, dist/build/halex/halex-tmp/Main.o )
HaLeX_tool/halex.hs:33: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_tool/halex.hs:35:1: warning: [-Wunused-imports]
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: [-Wunused-imports]
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: [-Wunused-local-binds]
Defined but not used: ‘output’
HaLeX_tool/halex.hs:120:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
compileFromStdIn :: forall (t :: * -> *).
Foldable t =>
[[Char]] -> t [Char] -> IO ()
HaLeX_tool/halex.hs:124:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
compileRegExp :: forall (t :: * -> *) sy.
(Foldable t, Show sy, Ord sy) =>
RegExp sy -> [[Char]] -> t [Char] -> IO ()
Linking dist/build/halex/halex ...
Running Haddock for HaLeX-1.2.2...
Running hscolour for HaLeX-1.2.2...
Preprocessing library HaLeX-1.2.2...
Preprocessing executable 'halex' for HaLeX-1.2.2...
Preprocessing library HaLeX-1.2.2...
HaLeX_lib/Language/HaLex/Parser.hs:40:9: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Parser.hs:60:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<*>) :: forall t t1 t2 t3 t4.
(t -> [(t4 -> t2, t1)])
-> (t1 -> [(t4, t3)]) -> t -> [(t2, t3)]
HaLeX_lib/Language/HaLex/Parser.hs:65:4: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
(Language.HaLex.Parser.<$>) :: forall t t1 t2 t3.
(t3 -> t1) -> (t -> [(t3, t2)]) -> t -> [(t1, t2)]
HaLeX_lib/Language/HaLex/Util.hs:55:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
insAtPos :: forall t t1. (Num t, Eq t) => t -> t1 -> [t1] -> [t1]
HaLeX_lib/Language/HaLex/Dfa.hs:78:9: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:89:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfaaccept'’
HaLeX_lib/Language/HaLex/Dfa.hs:89:17: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:89:19: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:99:16: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:99:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:109:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Dfa.hs:185:1: warning: [-Wredundant-constraints]
• Redundant constraint: Eq [st]
• In the type signature for:
reachedStatesFrom :: (Eq [st], Ord st) =>
(st -> sy -> st) -> [sy] -> st -> [st]
HaLeX_lib/Language/HaLex/Dfa.hs:216:29: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:216:31: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:239:18: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:239:20: warning: [-Wunused-matches]
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:239:24: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:239:26: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:267:18: warning: [-Wunused-matches]
Defined but not used: ‘qaux’
HaLeX_lib/Language/HaLex/Dfa.hs:274:18: warning: [-Wunused-matches]
Defined but not used: ‘i’
HaLeX_lib/Language/HaLex/Dfa.hs:284:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:285:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:286:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsTable :: forall a a1. [(a1, [a])] -> [a]
HaLeX_lib/Language/HaLex/Dfa.hs:295:17: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:295:21: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:312:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:312:23: warning: [-Wunused-matches]
Defined but not used: ‘alfabet’
HaLeX_lib/Language/HaLex/Dfa.hs:328:22: warning: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:328:24: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:334:46: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:346:20: warning: [-Wunused-matches]
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/Dfa.hs:357:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
lookupNewSts :: forall t t1 a.
(Eq a, Eq t) =>
(a -> t1 -> a) -> t -> t1 -> [(a, t)] -> t
HaLeX_lib/Language/HaLex/Dfa.hs:360:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getNewSt :: forall a b. Eq a => a -> [(a, b)] -> b
HaLeX_lib/Language/HaLex/Dfa.hs:360:49: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:361:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
getOldSt :: forall a b. Eq b => b -> [(a, b)] -> a
HaLeX_lib/Language/HaLex/Dfa.hs:361:47: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:382:25: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:425:15: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Ndfa.hs:48: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:87:10: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:8: warning: [-Wunused-matches]
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:23: warning: [-Wunused-matches]
Defined but not used: ‘sy’
HaLeX_lib/Language/HaLex/Ndfa.hs:118:17: warning: [-Wunused-matches]
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Ndfa.hs:133:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showNdfaDelta :: forall a t t1.
(Show t1, Show t, Show a, Eq t1) =>
[t] -> [a] -> (t -> Maybe a -> [t1]) -> String -> [Char]
HaLeX_lib/Language/HaLex/Ndfa.hs:223:33: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:223:35: warning: [-Wunused-matches]
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Ndfa.hs:277:47: warning: [-Wunused-matches]
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Ndfa.hs:281:45: warning: [-Wunused-matches]
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Ndfa.hs:294:27: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:326:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSyncState’
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: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 :: forall a. Show a => a -> String -> String
HaLeX_lib/Language/HaLex/DfaMonad.lhs:146:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showFinalStates' :: forall a. 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: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:353:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
runAccept :: forall s st sy.
(Num s, Eq st) =>
Dfa (StateT s Data.Functor.Identity.Identity) st sy
-> [sy] -> (Bool, s)
HaLeX_lib/Language/HaLex/DfaMonad.lhs:380:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
runAccept_ex4 :: forall st sy.
Eq st =>
Dfa (StateT [Char] Data.Functor.Identity.Identity) st sy
-> [sy] -> (Bool, [Char])
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: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:620:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
expo :: forall t t1. (Ord t1, Num t1, Num t) => t -> t1 -> t
HaLeX_lib/Language/HaLex/FaOperations.hs:55:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
allstsCT :: forall a a1. [(a1, [a])] -> [a]
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 :: forall t t1 t2.
(Eq t2, Eq t1) =>
t1 -> t2 -> [(t1, [[t]])] -> [t2] -> [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: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: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
HaLeX_lib/Language/HaLex/Minimize.hs:130:1: warning: [-Wtabs]
Tab character found here, and in 32 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/Minimize.hs:108:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
removeinaccessible :: forall sy a.
(Ord a, Ord sy) =>
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' :: forall st sy.
(Ord st, Eq sy) =>
Dfa st sy -> Dfa [st] sy
HaLeX_lib/Language/HaLex/Minimize.hs:187:16: warning: [-Wunused-matches]
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/RegExp.hs:163:2: warning: [-Wtabs]
Tab character found here, and in 8 further locations.
Please use spaces instead.
HaLeX_lib/Language/HaLex/RegExp.hs:61: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:82:17: warning: [-Wunused-matches]
Defined but not used: ‘inp’
HaLeX_lib/Language/HaLex/RegExp.hs:134:38: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExp.hs:170:21: warning: [-Wunused-matches]
Defined but not used: ‘n’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wunused-top-binds]
Defined but not used: ‘isSymbol’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: isSymbol :: Char -> Bool
HaLeX_lib/Language/HaLex/RegExp.hs:217:16: warning: [-Wunused-matches]
Defined but not used: ‘a’
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’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:29: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:30: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:34: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:38:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:41:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
ndfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Ndfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:45:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2graphviz2file :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:23: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-local-binds]
Defined but not used: ‘showNdfaArrows'’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:21: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: warning: [-Wname-shadowing]
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: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:39: warning: [-Wname-shadowing]
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: [-Wname-shadowing]
This binding for ‘delta’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:31
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:113:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
showListMaybe :: forall a. Show a => [Maybe a] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:126:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
groupMoves :: forall t sy.
(Eq sy, Eq t) =>
[(t, Maybe sy, t)] -> [(t, [Maybe sy], t)]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:1: warning: [-Wunused-top-binds]
Defined but not used: ‘showNdfaArrows’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:28: warning: [-Wunused-matches]
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157:1: warning: [-Wmissing-signatures]
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: [-Wmissing-signatures]
Top-level binding with no type signature:
tographvizIO :: forall sy st.
(Show st, Show sy, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphWithNoSyncSt :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfaDiGraphWithNoSyncStIO :: forall sy a.
(Show a, Show sy, Ord a, Eq sy) =>
Dfa a sy -> [Char] -> FilePath -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wunused-top-binds]
Defined but not used: ‘dfa2DiGraphIO''’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
dfa2DiGraphIO'' :: forall sy st.
(Show sy, Ord st, Ord sy) =>
Dfa st sy -> [Char] -> IO ()
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: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:81:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: acc :: Maybe Bool
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 ()
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 :: forall st sy.
(Show sy, Show st) =>
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 :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> Bool -> Bool -> [Char]
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
f :: forall sy. 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:120:15: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Eq a0)
arising from a use of ‘delta’
at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19
(Num a0)
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
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 :: forall sy. [sy] -> RegExp sy
HaLeX_lib/Language/HaLex/Fa2RegExp.hs:70:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
toRegExp2' :: forall sy. [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’
HaLeX_lib/Language/HaLex/RegExpParser.hs:62:44: warning: [-Wunused-matches]
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExpParser.hs:74:1: warning: [-Wunused-top-binds]
Defined but not used: ‘spaces’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:26: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/RegExpAsDiGraph.hs:58:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:61:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph'' :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:65:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraph''' :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:68:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
re2DiGraphNdfa :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:73:1: warning: [-Wunused-top-binds]
Defined but not used: ‘re2DiGraphIO’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wunused-top-binds]
Defined but not used: ‘absRe2DiGraph_File’
HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs:77:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
absRe2DiGraph_File :: forall sy.
(Show sy, Eq sy) =>
RegExp sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/Examples/Real.lhs:49: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/Examples/Real.lhs:59:1: warning: [-Wunused-imports]
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: [-Wunused-imports]
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: [-Wmissing-signatures]
Top-level binding with no type signature: sinal'' :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:72:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: d :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:75:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: re_int :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:78:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: intdfa :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:81:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: d' :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:87:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: re_real :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:91:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: re_real' :: RegExp Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:98:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: cre_real :: [Char]
HaLeX_lib/Language/HaLex/Examples/Real.lhs:101:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: realdfa' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:103:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: realdfa'' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:105:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
realdfa''' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:109:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
realdfa'''' :: Dfa Int Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:111:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
genGraph :: forall sy st.
(Show st, Show sy, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/Examples/Real.lhs:114:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: realdfa :: Dfa Char Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:176:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
realndfa :: Ndfa Char Char
HaLeX_lib/Language/HaLex/Examples/Real.lhs:182:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
deltaNdfa :: Char -> Maybe Char -> [Char]
HaLeX_lib/Language/HaLex/Examples/Real.lhs:227:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
isrealNdfa :: [Char] -> Bool
Haddock coverage:
0% ( 0 / 9) in 'Language.HaLex.Parser'
Missing documentation for:
Module header
Parser (HaLeX_lib/Language/HaLex/Parser.hs:27)
symbol (HaLeX_lib/Language/HaLex/Parser.hs:34)
satisfy (HaLeX_lib/Language/HaLex/Parser.hs:39)
token (HaLeX_lib/Language/HaLex/Parser.hs:44)
succeed (HaLeX_lib/Language/HaLex/Parser.hs:49)
<|> (HaLeX_lib/Language/HaLex/Parser.hs:56)
<*> (HaLeX_lib/Language/HaLex/Parser.hs:60)
<$> (HaLeX_lib/Language/HaLex/Parser.hs:65)
100% ( 4 / 4) in 'Language.HaLex.Util'
96% ( 27 / 28) in 'Language.HaLex.Dfa'
Missing documentation for:
beautifyDfaWithSyncSt (HaLeX_lib/Language/HaLex/Dfa.hs:248)
100% ( 25 / 25) in 'Language.HaLex.Ndfa'
0% ( 0 / 46) in 'Language.HaLex.DfaMonad'
Missing documentation for:
Module header
Dfa (HaLeX_lib/Language/HaLex/DfaMonad.lhs:42)
dfawalk (HaLeX_lib/Language/HaLex/DfaMonad.lhs:55)
dfaaccept' (HaLeX_lib/Language/HaLex/DfaMonad.lhs:61)
dfaaccept (HaLeX_lib/Language/HaLex/DfaMonad.lhs:66)
runDfa (HaLeX_lib/Language/HaLex/DfaMonad.lhs:77)
showDfa (HaLeX_lib/Language/HaLex/DfaMonad.lhs:85)
showDfaDelta (HaLeX_lib/Language/HaLex/DfaMonad.lhs:100)
showInDot (HaLeX_lib/Language/HaLex/DfaMonad.lhs:121)
showElemsListPerLine (HaLeX_lib/Language/HaLex/DfaMonad.lhs:138)
showInitialState (HaLeX_lib/Language/HaLex/DfaMonad.lhs:142)
showFinalStates' (HaLeX_lib/Language/HaLex/DfaMonad.lhs:146)
showArrows (HaLeX_lib/Language/HaLex/DfaMonad.lhs:149)
buildLine (HaLeX_lib/Language/HaLex/DfaMonad.lhs:155)
<-> (HaLeX_lib/Language/HaLex/DfaMonad.lhs:166)
xpto (HaLeX_lib/Language/HaLex/DfaMonad.lhs:171)
deadstates (HaLeX_lib/Language/HaLex/DfaMonad.lhs:182)
deadstates' (HaLeX_lib/Language/HaLex/DfaMonad.lhs:185)
isStDead (HaLeX_lib/Language/HaLex/DfaMonad.lhs:197)
isSyncState (HaLeX_lib/Language/HaLex/DfaMonad.lhs:206)
robot (HaLeX_lib/Language/HaLex/DfaMonad.lhs:220)
moves (HaLeX_lib/Language/HaLex/DfaMonad.lhs:245)
moves2 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:246)
moves3 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:247)
moves4 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:248)
acc (HaLeX_lib/Language/HaLex/DfaMonad.lhs:250)
varGlob (HaLeX_lib/Language/HaLex/DfaMonad.lhs:270)
ex2 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:272)
ex3 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:337)
runAccept (HaLeX_lib/Language/HaLex/DfaMonad.lhs:353)
ex4 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:366)
runAccept_ex4 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:380)
ex5 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:393)
runAccept_ex5 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:406)
ex_int (HaLeX_lib/Language/HaLex/DfaMonad.lhs:422)
runAccept_int (HaLeX_lib/Language/HaLex/DfaMonad.lhs:446)
ex6 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:461)
runAccept_ex6 (HaLeX_lib/Language/HaLex/DfaMonad.lhs:494)
Instr (HaLeX_lib/Language/HaLex/DfaMonad.lhs:508)
Code (HaLeX_lib/Language/HaLex/DfaMonad.lhs:510)
te (HaLeX_lib/Language/HaLex/DfaMonad.lhs:522)
runAccept_te (HaLeX_lib/Language/HaLex/DfaMonad.lhs:567)
pr (HaLeX_lib/Language/HaLex/DfaMonad.lhs:584)
converte (HaLeX_lib/Language/HaLex/DfaMonad.lhs:615)
expo (HaLeX_lib/Language/HaLex/DfaMonad.lhs:620)
runAccept_pr (HaLeX_lib/Language/HaLex/DfaMonad.lhs:623)
0% ( 0 / 16) in 'Language.HaLex.FaOperations'
Missing documentation for:
Module header
ndfa2dfa (HaLeX_lib/Language/HaLex/FaOperations.hs:79)
dfa2ndfa (HaLeX_lib/Language/HaLex/FaOperations.hs:104)
ndfa2ct (HaLeX_lib/Language/HaLex/FaOperations.hs:60)
CT (HaLeX_lib/Language/HaLex/FaOperations.hs:53)
lookupCT (HaLeX_lib/Language/HaLex/FaOperations.hs:94)
stsDfa (HaLeX_lib/Language/HaLex/FaOperations.hs:55)
concatNdfa (HaLeX_lib/Language/HaLex/FaOperations.hs:114)
unionNdfa (HaLeX_lib/Language/HaLex/FaOperations.hs:130)
starNdfa (HaLeX_lib/Language/HaLex/FaOperations.hs:143)
plusNdfa (HaLeX_lib/Language/HaLex/FaOperations.hs:158)
expNdfa (HaLeX_lib/Language/HaLex/FaOperations.hs:169)
unionDfa (HaLeX_lib/Language/HaLex/FaOperations.hs:205)
concatDfa (HaLeX_lib/Language/HaLex/FaOperations.hs:180)
starDfa (HaLeX_lib/Language/HaLex/FaOperations.hs:220)
plusDfa (HaLeX_lib/Language/HaLex/FaOperations.hs:238)
100% ( 10 / 10) in 'Language.HaLex.Minimize'
100% ( 15 / 15) in 'Language.HaLex.RegExp'
100% ( 4 / 4) in 'Language.HaLex.RegExp2Fa'
60% ( 6 / 10) in 'Language.HaLex.FaAsDiGraph'
Missing documentation for:
tographvizIO (HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:163)
dfa2DiGraphWithNoSyncSt (HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167)
dfaDiGraphWithNoSyncStIO (HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171)
genOneArrow (HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157)
0% ( 0 / 12) in 'Language.HaLex.Examples.Robot'
Missing documentation for:
Module header
ex (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:21)
moves (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:42)
moves2 (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:43)
moves3 (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:44)
moves4 (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:45)
g (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:47)
robotM (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:57)
acc (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:81)
robotM2 (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:92)
acc2 (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:118)
exShow (HaLeX_lib/Language/HaLex/Examples/Robot.lhs:121)
0% ( 0 / 8) in 'Language.HaLex.Dfa2MDfa'
Missing documentation for:
Module header
showAsAccumDfa (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:28)
showDfaMDelta (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:44)
dfa2MIO (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:66)
re2MHaskellMod (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:74)
re2MDfa (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:79)
f (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108)
dfa_int (HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:116)
100% ( 4 / 4) in 'Language.HaLex.Fa2RegExp'
100% ( 2 / 2) in 'Language.HaLex.RegExpParser'
100% ( 5 / 5) in 'Language.HaLex.Equivalence'
100% ( 4 / 4) in 'Language.HaLex.FaClasses'
100% ( 2 / 2) in 'Language.HaLex.RegExpAsDiGraph'
0% ( 0 / 20) in 'Language.HaLex.Examples.Real'
Missing documentation for:
Module header
sinal'' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:70)
d (HaLeX_lib/Language/HaLex/Examples/Real.lhs:72)
re_int (HaLeX_lib/Language/HaLex/Examples/Real.lhs:75)
intdfa (HaLeX_lib/Language/HaLex/Examples/Real.lhs:78)
d' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:81)
re_real (HaLeX_lib/Language/HaLex/Examples/Real.lhs:87)
re_real' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:91)
cre_real (HaLeX_lib/Language/HaLex/Examples/Real.lhs:98)
realdfa' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:101)
realdfa'' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:103)
realdfa''' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:105)
realdfa'''' (HaLeX_lib/Language/HaLex/Examples/Real.lhs:109)
genGraph (HaLeX_lib/Language/HaLex/Examples/Real.lhs:111)
realdfa (HaLeX_lib/Language/HaLex/Examples/Real.lhs:114)
delta_realdfa (HaLeX_lib/Language/HaLex/Examples/Real.lhs:120)
isreal (HaLeX_lib/Language/HaLex/Examples/Real.lhs:154)
realndfa (HaLeX_lib/Language/HaLex/Examples/Real.lhs:176)
deltaNdfa (HaLeX_lib/Language/HaLex/Examples/Real.lhs:182)
isrealNdfa (HaLeX_lib/Language/HaLex/Examples/Real.lhs:227)
Warning: Language.HaLex.Dfa: could not find link destinations for:
TableDfa
Warning: Language.HaLex.FaOperations: could not find link destinations for:
StDfa
Documentation created: dist/doc/html/HaLeX/index.html,
dist/doc/html/HaLeX/HaLeX.txt
Preprocessing executable 'halex' for HaLeX-1.2.2...
Creating package registration file:
/tmp/pkgConf-HaLeX-1.21046741222337739299.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/HaLeX-1.2.2-BFaBnCH8vECKBU5wpDI1Uh
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering HaLeX-1.2.2...
cabal: Leaving directory '/tmp/cabal-tmp-22057/HaLeX-1.2.2'
Installed HaLeX-1.2.2
Test log
No test log was submitted for this report.