Build #2 for HaLeX-1.2
| Package | HaLeX-1.2 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-05-22 02:20:49.273273 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | mtl-2.2.1, base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring transformers-0.4.3.0...
Building transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
[ 1 of 28] Compiling Data.Functor.Identity ( oldsrc/Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o )
[ 2 of 28] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o )
[ 3 of 28] Compiling Control.Monad.Signatures ( Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o )
[ 4 of 28] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o )
[ 5 of 28] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o )
[ 6 of 28] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o )
[ 7 of 28] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o )
[ 8 of 28] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o )
[ 9 of 28] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o )
[10 of 28] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o )
[11 of 28] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o )
[12 of 28] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o )
[13 of 28] Compiling Data.Functor.Classes ( Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o )
[14 of 28] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o )
[15 of 28] Compiling Control.Applicative.Lift ( Control/Applicative/Lift.hs, dist/build/Control/Applicative/Lift.o )
[16 of 28] Compiling Control.Monad.Trans.Except ( Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o )
[17 of 28] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o )
[18 of 28] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o )
[19 of 28] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o )
[20 of 28] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o )
[21 of 28] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o )
[22 of 28] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o )
[23 of 28] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o )
[24 of 28] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o )
[25 of 28] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o )
[26 of 28] Compiling Data.Functor.Sum ( Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o )
[27 of 28] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[28 of 28] Compiling Data.Functor.Reverse ( Data/Functor/Reverse.hs, dist/build/Data/Functor/Reverse.o )
In-place registering transformers-0.4.3.0...
Running Haddock for transformers-0.4.3.0...
Running hscolour for transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
Haddock coverage:
100% ( 2 / 2) in 'Data.Functor.Identity'
100% ( 14 / 14) in 'Control.Monad.Trans.Class'
100% ( 5 / 5) in 'Control.Monad.Signatures'
100% ( 2 / 2) in 'Control.Monad.IO.Class'
100% ( 22 / 22) in 'Control.Monad.Trans.Cont'
100% ( 18 / 18) in 'Control.Monad.Trans.Reader'
100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.RWS'
100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Strict'
100% ( 34 / 34) in 'Control.Monad.Trans.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.State'
100% ( 34 / 34) in 'Control.Monad.Trans.State.Strict'
100% ( 15 / 15) in 'Data.Functor.Classes'
100% ( 2 / 2) in 'Data.Functor.Constant'
100% ( 9 / 9) in 'Control.Applicative.Lift'
100% ( 19 / 19) in 'Control.Monad.Trans.Except'
100% ( 15 / 15) in 'Control.Monad.Trans.Error'
100% ( 7 / 7) in 'Control.Monad.Trans.Identity'
100% ( 7 / 7) in 'Control.Monad.Trans.List'
100% ( 12 / 12) in 'Control.Monad.Trans.Maybe'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.Writer'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict'
100% ( 2 / 2) in 'Data.Functor.Compose'
100% ( 2 / 2) in 'Data.Functor.Product'
100% ( 2 / 2) in 'Data.Functor.Sum'
100% ( 2 / 2) in 'Control.Applicative.Backwards'
100% ( 2 / 2) in 'Data.Functor.Reverse'
Documentation created: dist/doc/html/transformers/index.html,
dist/doc/html/transformers/transformers.txt
Creating package registration file: /tmp/pkgConf-transformers-0.4.320540.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.3.0
Registering transformers-0.4.3.0...
Installed transformers-0.4.3.0
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 )
In-place registering mtl-2.2.1...
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'
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
91% ( 20 / 22) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.220540.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.2.1
Registering mtl-2.2.1...
Installed mtl-2.2.1
Downloading HaLeX-1.2...
Configuring HaLeX-1.2...
Building HaLeX-1.2...
Preprocessing library HaLeX-1.2...
[ 1 of 18] Compiling Language.HaLex.Parser ( HaLeX_lib/Language/HaLex/Parser.hs, dist/build/Language/HaLex/Parser.o )
HaLeX_lib/Language/HaLex/Parser.hs:40:9: Warning:
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Parser.hs:60:1: Warning:
Top-level binding with no type signature:
(<*>) :: forall t t1 t2 t3 t4.
(t -> [(t2 -> t3, t1)]) -> (t1 -> [(t2, t4)]) -> t -> [(t3, t4)]
HaLeX_lib/Language/HaLex/Parser.hs:60:4: Warning:
Local definition of ‘<*>’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
HaLeX_lib/Language/HaLex/Parser.hs:65:1: Warning:
Top-level binding with no type signature:
(<$>) :: forall t t1 t2 t3.
(t1 -> t2) -> (t -> [(t1, t3)]) -> t -> [(t2, t3)]
[ 2 of 18] Compiling Language.HaLex.Util ( HaLeX_lib/Language/HaLex/Util.hs, dist/build/Language/HaLex/Util.o )
HaLeX_lib/Language/HaLex/Util.hs:55:1: Warning:
Top-level binding with no type signature:
insAtPos :: forall a a1. (Num a, Eq a) => a -> a1 -> [a1] -> [a1]
HaLeX_lib/Language/HaLex/Util.hs:55:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘insAtPos’: Patterns not matched: _ _ []
[ 3 of 18] Compiling Language.HaLex.Dfa ( HaLeX_lib/Language/HaLex/Dfa.hs, dist/build/Language/HaLex/Dfa.o )
HaLeX_lib/Language/HaLex/Dfa.hs:78:9: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:89:1: Warning:
Defined but not used: ‘dfaaccept'’
HaLeX_lib/Language/HaLex/Dfa.hs:89:17: Warning:
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:89:19: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:99:16: Warning:
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:99:18: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:109:17: Warning:
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Dfa.hs:216:29: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:216:31: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:239:18: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:239:20: Warning:
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/Dfa.hs:239:24: Warning:
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:239:26: Warning:
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:267:18: Warning:
Defined but not used: ‘qaux’
HaLeX_lib/Language/HaLex/Dfa.hs:274:18: Warning:
Defined but not used: ‘i’
HaLeX_lib/Language/HaLex/Dfa.hs:284:1: Warning:
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:285:1: Warning:
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/Dfa.hs:286:1: Warning:
Top-level binding with no type signature:
allstsTable :: forall a a1. [(a1, [a])] -> [a]
HaLeX_lib/Language/HaLex/Dfa.hs:295:17: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:295:21: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:312:10: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Dfa.hs:312:23: Warning:
Defined but not used: ‘alfabet’
HaLeX_lib/Language/HaLex/Dfa.hs:328:22: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/Dfa.hs:328:24: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:334:46: Warning:
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:346:20: Warning:
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/Dfa.hs:357:1: Warning:
Top-level binding with no type signature:
lookupNewSts :: forall t b a.
(Eq a, Eq b) =>
(a -> t -> a) -> b -> t -> [(a, b)] -> b
HaLeX_lib/Language/HaLex/Dfa.hs:360:1: Warning:
Top-level binding with no type signature:
getNewSt :: forall b a. Eq a => a -> [(a, b)] -> b
HaLeX_lib/Language/HaLex/Dfa.hs:360:49: Warning:
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Dfa.hs:361:1: Warning:
Top-level binding with no type signature:
getOldSt :: forall a a1. Eq a1 => a1 -> [(a, a1)] -> a
HaLeX_lib/Language/HaLex/Dfa.hs:361:47: Warning:
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Dfa.hs:382:25: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Dfa.hs:425:15: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Dfa.hs:239:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘lookUptt’: Patterns not matched: _ _ []
HaLeX_lib/Language/HaLex/Dfa.hs:259:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘lookupSt’: Patterns not matched: _ []
HaLeX_lib/Language/HaLex/Dfa.hs:263:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘lookupNewSt’: Patterns not matched: _ []
[ 4 of 18] Compiling Language.HaLex.Ndfa ( HaLeX_lib/Language/HaLex/Ndfa.hs, dist/build/Language/HaLex/Ndfa.o )
HaLeX_lib/Language/HaLex/Ndfa.hs:48:1: Warning:
The import of ‘Language.HaLex.Dfa’ is redundant
except perhaps to import instances from ‘Language.HaLex.Dfa’
To import instances alone, use: import Language.HaLex.Dfa()
HaLeX_lib/Language/HaLex/Ndfa.hs:87:10: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:8: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/Ndfa.hs:99:23: Warning:
Defined but not used: ‘sy’
HaLeX_lib/Language/HaLex/Ndfa.hs:118:17: Warning:
Defined but not used: ‘p’
HaLeX_lib/Language/HaLex/Ndfa.hs:133:1: Warning:
Top-level binding with no type signature:
showNdfaDelta :: forall a t a1.
(Show a1, Show t, Show a, Eq t) =>
[a1] -> [a] -> (a1 -> Maybe a -> [t]) -> String -> String
HaLeX_lib/Language/HaLex/Ndfa.hs:223:33: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:223:35: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/Ndfa.hs:277:47: Warning:
Defined but not used: ‘b’
HaLeX_lib/Language/HaLex/Ndfa.hs:281:45: Warning:
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/Ndfa.hs:294:27: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Ndfa.hs:326:1: Warning:
Defined but not used: ‘isSyncState’
HaLeX_lib/Language/HaLex/Ndfa.hs:249:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘lookupTT’: Patterns not matched: _ _ []
[ 5 of 18] Compiling Language.HaLex.DfaMonad ( HaLeX_lib/Language/HaLex/DfaMonad.lhs, dist/build/Language/HaLex/DfaMonad.o )
HaLeX_lib/Language/HaLex/DfaMonad.lhs:29:1: Warning:
The import of ‘Data.List’ is redundant
except perhaps to import instances from ‘Data.List’
To import instances alone, use: import Data.List()
HaLeX_lib/Language/HaLex/DfaMonad.lhs:30:1: Warning:
The import of ‘Language.HaLex.Ndfa’ is redundant
except perhaps to import instances from ‘Language.HaLex.Ndfa’
To import instances alone, use: import Language.HaLex.Ndfa()
HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:20: Warning:
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:22: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:126:28: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:142:1: Warning:
Top-level binding with no type signature:
showInitialState :: forall a. Show a => a -> String -> String
HaLeX_lib/Language/HaLex/DfaMonad.lhs:146:1: Warning:
Top-level binding with no type signature:
showFinalStates' :: forall a. Show a => [a] -> [[Char]]
HaLeX_lib/Language/HaLex/DfaMonad.lhs:151:22: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:151:24: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:183:22: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:183:24: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:209:15: Warning:
Defined but not used: ‘e’
HaLeX_lib/Language/HaLex/DfaMonad.lhs:245:1: Warning:
Top-level binding with no type signature: moves :: [[Char]]
HaLeX_lib/Language/HaLex/DfaMonad.lhs:246:1: Warning:
Top-level binding with no type signature: moves2 :: [[Char]]
HaLeX_lib/Language/HaLex/DfaMonad.lhs:247:1: Warning:
Top-level binding with no type signature: moves3 :: [[Char]]
HaLeX_lib/Language/HaLex/DfaMonad.lhs:248:1: Warning:
Top-level binding with no type signature: moves4 :: [[Char]]
HaLeX_lib/Language/HaLex/DfaMonad.lhs:250:1: Warning:
Top-level binding with no type signature: acc :: Maybe Bool
HaLeX_lib/Language/HaLex/DfaMonad.lhs:270:1: Warning:
Top-level binding with no type signature: varGlob :: IORef [Char]
HaLeX_lib/Language/HaLex/DfaMonad.lhs:353:1: Warning:
Top-level binding with no type signature:
runAccept :: forall s st sy.
(Num s, Eq st) =>
Dfa
(StateT s transformers-0.4.3.0:Data.Functor.Identity.Identity)
st
sy
-> [sy] -> (Bool, s)
HaLeX_lib/Language/HaLex/DfaMonad.lhs:380:1: Warning:
Top-level binding with no type signature:
runAccept_ex4 :: forall st sy.
Eq st =>
Dfa
(StateT [Char] transformers-0.4.3.0:Data.Functor.Identity.Identity)
st
sy
-> [sy] -> (Bool, [Char])
HaLeX_lib/Language/HaLex/DfaMonad.lhs:406:1: Warning:
Top-level binding with no type signature:
runAccept_ex5 :: [Char] -> (Bool, [Char])
HaLeX_lib/Language/HaLex/DfaMonad.lhs:446:1: Warning:
Top-level binding with no type signature:
runAccept_int :: [Char] -> (Bool, [Char])
HaLeX_lib/Language/HaLex/DfaMonad.lhs:494:1: Warning:
Top-level binding with no type signature:
runAccept_ex6 :: [Char] -> (Bool, ([Char], Int))
HaLeX_lib/Language/HaLex/DfaMonad.lhs:557:5: Warning:
This binding for ‘init’ shadows the existing binding
imported from ‘Data.List’ at HaLeX_lib/Language/HaLex/DfaMonad.lhs:29:1-16
(and originally defined in ‘GHC.List’)
HaLeX_lib/Language/HaLex/DfaMonad.lhs:567:1: Warning:
Top-level binding with no type signature:
runAccept_te :: [Char] -> (Bool, ([Char], [Code]))
HaLeX_lib/Language/HaLex/DfaMonad.lhs:611:5: Warning:
This binding for ‘init’ shadows the existing binding
imported from ‘Data.List’ at HaLeX_lib/Language/HaLex/DfaMonad.lhs:29:1-16
(and originally defined in ‘GHC.List’)
HaLeX_lib/Language/HaLex/DfaMonad.lhs:620:1: Warning:
Top-level binding with no type signature:
expo :: forall a a1. (Ord a, Num a1, Num a) => a1 -> a -> a1
HaLeX_lib/Language/HaLex/DfaMonad.lhs:227:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
[] _
((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
[ghc-prim:GHC.Types.C# 'C'] _
((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
with
#x `notElem` ['0', '1']
...
HaLeX_lib/Language/HaLex/DfaMonad.lhs:344:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
(ghc-prim:GHC.Types.C# #x) _ with #x `notElem` ['A', 'B']
(ghc-prim:GHC.Types.C# 'A') (ghc-prim:GHC.Types.C# #x)
with
#x `notElem` ['a', 'b']
(ghc-prim:GHC.Types.C# 'B') (ghc-prim:GHC.Types.C# #x)
with
#x `notElem` ['a']
HaLeX_lib/Language/HaLex/DfaMonad.lhs:373:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
(ghc-prim:GHC.Types.C# #x) _ with #x `notElem` ['A', 'B']
(ghc-prim:GHC.Types.C# 'A') (ghc-prim:GHC.Types.C# #x)
with
#x `notElem` ['a', 'b']
(ghc-prim:GHC.Types.C# 'B') (ghc-prim:GHC.Types.C# #x)
with
#x `notElem` ['a']
HaLeX_lib/Language/HaLex/DfaMonad.lhs:400:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
(ghc-prim:GHC.Types.C# #x) _ with #x `notElem` ['A', 'B']
(ghc-prim:GHC.Types.C# 'A') (ghc-prim:GHC.Types.C# #x)
with
#x `notElem` ['a', 'b']
(ghc-prim:GHC.Types.C# 'B') (ghc-prim:GHC.Types.C# #x)
with
#x `notElem` ['a']
HaLeX_lib/Language/HaLex/DfaMonad.lhs:429:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
#x _ with #x `notElem` [1#, 2#, 3#]
1# (ghc-prim:GHC.Types.C# #x) with #x `notElem` ['+', '-', 'd']
2# (ghc-prim:GHC.Types.C# #x) with #x `notElem` ['d']
3# (ghc-prim:GHC.Types.C# #x) with #x `notElem` ['d']
HaLeX_lib/Language/HaLex/DfaMonad.lhs:430:22: Warning:
A do-notation statement discarded a result of type ‘[Char]’
Suppress this warning by saying ‘_ <- accumM’
or by using the flag -fno-warn-unused-do-bind
HaLeX_lib/Language/HaLex/DfaMonad.lhs:432:22: Warning:
A do-notation statement discarded a result of type ‘[Char]’
Suppress this warning by saying ‘_ <- accumD’
or by using the flag -fno-warn-unused-do-bind
HaLeX_lib/Language/HaLex/DfaMonad.lhs:434:22: Warning:
A do-notation statement discarded a result of type ‘[Char]’
Suppress this warning by saying ‘_ <- accumD’
or by using the flag -fno-warn-unused-do-bind
HaLeX_lib/Language/HaLex/DfaMonad.lhs:436:22: Warning:
A do-notation statement discarded a result of type ‘[Char]’
Suppress this warning by saying ‘_ <- accumD’
or by using the flag -fno-warn-unused-do-bind
HaLeX_lib/Language/HaLex/DfaMonad.lhs:616:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘converte’:
Patterns not matched:
(ghc-prim:GHC.Types.C# #x) : _ with #x `notElem` ['0', '1']
[ 6 of 18] Compiling Language.HaLex.FaOperations ( HaLeX_lib/Language/HaLex/FaOperations.hs, dist/build/Language/HaLex/FaOperations.o )
HaLeX_lib/Language/HaLex/FaOperations.hs:55:1: Warning:
Top-level binding with no type signature:
stsDfa :: forall b b1. [(b, b1)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:56:1: Warning:
Top-level binding with no type signature:
stsRHS :: forall b a. [(a, b)] -> [b]
HaLeX_lib/Language/HaLex/FaOperations.hs:57:1: Warning:
Top-level binding with no type signature:
allstsCT :: forall a a1. [(a1, [a])] -> [a]
HaLeX_lib/Language/HaLex/FaOperations.hs:61:17: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:61:21: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/FaOperations.hs:71:10: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/FaOperations.hs:71:23: Warning:
Defined but not used: ‘alfabet’
HaLeX_lib/Language/HaLex/FaOperations.hs:80:23: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:80:25: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaOperations.hs:80:29: Warning:
Defined but not used: ‘delta’
HaLeX_lib/Language/HaLex/FaOperations.hs:89:23: Warning:
Defined but not used: ‘z’
HaLeX_lib/Language/HaLex/FaOperations.hs:94:1: Warning:
Top-level binding with no type signature:
lookupCT :: forall t a a1.
(Eq a1, Eq a) =>
a1 -> a -> [(a1, [[t]])] -> [a] -> [t]
HaLeX_lib/Language/HaLex/FaOperations.hs:94:10: Warning:
Defined but not used: ‘st’
HaLeX_lib/Language/HaLex/FaOperations.hs:94:13: Warning:
Defined but not used: ‘sy’
HaLeX_lib/Language/HaLex/FaOperations.hs:94:23: Warning:
Defined but not used: ‘v’
HaLeX_lib/Language/HaLex/FaOperations.hs:106:16: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:105:17
HaLeX_lib/Language/HaLex/FaOperations.hs:107:16: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:105:17
HaLeX_lib/Language/HaLex/FaOperations.hs:107:16: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:123:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:120:12
HaLeX_lib/Language/HaLex/FaOperations.hs:124:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:120:12
HaLeX_lib/Language/HaLex/FaOperations.hs:148:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12
HaLeX_lib/Language/HaLex/FaOperations.hs:149:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12
HaLeX_lib/Language/HaLex/FaOperations.hs:151:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12
HaLeX_lib/Language/HaLex/FaOperations.hs:152:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:145:12
HaLeX_lib/Language/HaLex/FaOperations.hs:162:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:160:12
HaLeX_lib/Language/HaLex/FaOperations.hs:163:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:160:12
HaLeX_lib/Language/HaLex/FaOperations.hs:189:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12
HaLeX_lib/Language/HaLex/FaOperations.hs:189:20: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:190:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12
HaLeX_lib/Language/HaLex/FaOperations.hs:193:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12
HaLeX_lib/Language/HaLex/FaOperations.hs:193:20: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:194:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12
HaLeX_lib/Language/HaLex/FaOperations.hs:197:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12
HaLeX_lib/Language/HaLex/FaOperations.hs:197:20: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:198:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:186:12
HaLeX_lib/Language/HaLex/FaOperations.hs:222:12: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:221:16
HaLeX_lib/Language/HaLex/FaOperations.hs:225:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12
HaLeX_lib/Language/HaLex/FaOperations.hs:225:21: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:226:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12
HaLeX_lib/Language/HaLex/FaOperations.hs:228:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12
HaLeX_lib/Language/HaLex/FaOperations.hs:228:21: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:229:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12
HaLeX_lib/Language/HaLex/FaOperations.hs:231:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:222:12
HaLeX_lib/Language/HaLex/FaOperations.hs:240:12: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:239:16
HaLeX_lib/Language/HaLex/FaOperations.hs:242:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12
HaLeX_lib/Language/HaLex/FaOperations.hs:242:21: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaOperations.hs:243:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12
HaLeX_lib/Language/HaLex/FaOperations.hs:245:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaOperations.hs:240:12
HaLeX_lib/Language/HaLex/FaOperations.hs:136:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘d'’: Patterns not matched: _
HaLeX_lib/Language/HaLex/FaOperations.hs:186:9: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘d'’: Patterns not matched: _
[ 7 of 18] Compiling Language.HaLex.Minimize ( HaLeX_lib/Language/HaLex/Minimize.hs, dist/build/Language/HaLex/Minimize.o )
HaLeX_lib/Language/HaLex/Minimize.hs:108:1: Warning:
Top-level binding with no type signature:
removeinaccessible :: forall st sy.
(Ord sy, Ord st) =>
Dfa st sy -> Dfa st sy
HaLeX_lib/Language/HaLex/Minimize.hs:108:31: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/Minimize.hs:114:1: Warning:
Defined but not used: ‘removeinaccessible'’
HaLeX_lib/Language/HaLex/Minimize.hs:114:1: Warning:
Top-level binding with no type signature:
removeinaccessible' :: forall st sy.
(Ord st, Eq sy) =>
Dfa st sy -> Dfa [st] sy
HaLeX_lib/Language/HaLex/Minimize.hs:187:16: Warning:
Defined but not used: ‘st’
[ 8 of 18] Compiling Language.HaLex.RegExp ( HaLeX_lib/Language/HaLex/RegExp.hs, dist/build/Language/HaLex/RegExp.o )
HaLeX_lib/Language/HaLex/RegExp.hs:61:27: Warning:
This binding for ‘or’ shadows the existing binding
imported from ‘Prelude’ at HaLeX_lib/Language/HaLex/RegExp.hs:18:8-28
(and originally defined in ‘GHC.List’)
HaLeX_lib/Language/HaLex/RegExp.hs:82:17: Warning:
Defined but not used: ‘inp’
HaLeX_lib/Language/HaLex/RegExp.hs:134:38: Warning:
Defined but not used: ‘x’
HaLeX_lib/Language/HaLex/RegExp.hs:170:21: Warning:
Defined but not used: ‘n’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: Warning:
Defined but not used: ‘isSymbol’
HaLeX_lib/Language/HaLex/RegExp.hs:185:1: Warning:
Top-level binding with no type signature: isSymbol :: Char -> Bool
HaLeX_lib/Language/HaLex/RegExp.hs:217:16: Warning:
Defined but not used: ‘a’
HaLeX_lib/Language/HaLex/RegExp.hs:82:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘matchesRE’:
Patterns not matched:
(OneOrMore _) _
(Optional _) _
[ 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:70:16: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:63:22
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:73:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:70:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:74:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:70:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:76:20
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:89:19: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:89:19: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:92:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:95:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:83:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:109:20: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:106:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:109:20: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:112:21: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/RegExp2Fa.hs:106:16
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:112:21: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/RegExp2Fa.hs:47:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘regExp2Ndfa'’:
Patterns not matched:
(OneOrMore _) _
(Optional _) _
[10 of 18] Compiling Language.HaLex.FaAsDiGraph ( HaLeX_lib/Language/HaLex/FaAsDiGraph.hs, dist/build/Language/HaLex/FaAsDiGraph.o )
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:29:1: Warning:
The import of ‘Language.HaLex.RegExp’ is redundant
except perhaps to import instances from ‘Language.HaLex.RegExp’
To import instances alone, use: import Language.HaLex.RegExp()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:30:1: Warning:
The import of ‘Language.HaLex.RegExp2Fa’ is redundant
except perhaps to import instances from ‘Language.HaLex.RegExp2Fa’
To import instances alone, use: import Language.HaLex.RegExp2Fa()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:34:1: Warning:
The import of ‘Language.HaLex.Minimize’ is redundant
except perhaps to import instances from ‘Language.HaLex.Minimize’
To import instances alone, use: import Language.HaLex.Minimize()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:38:1: Warning:
Top-level binding with no type signature:
ndfa2graphviz :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:41:1: Warning:
Top-level binding with no type signature:
ndfa2graphviz2file :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:45:1: Warning:
Top-level binding with no type signature:
dfa2graphviz :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Dfa st sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:48:1: Warning:
Top-level binding with no type signature:
dfa2graphviz2file :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Dfa st sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:79:23: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:25
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:83:23: Warning:
This binding for ‘s’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:27
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:89:77: Warning:
This binding for ‘z’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:29
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:5: Warning:
Defined but not used: ‘showNdfaArrows'’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:92:21: Warning:
This binding for ‘ndfa’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:12
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:22: Warning:
This binding for ‘ndfa’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:12
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:33: Warning:
This binding for ‘v’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:23
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:35: Warning:
This binding for ‘q’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:25
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:35: Warning:
Defined but not used: ‘q’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: Warning:
This binding for ‘s’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:27
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:37: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:39: Warning:
This binding for ‘z’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:29
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:97:41: Warning:
This binding for ‘delta’ shadows the existing binding
bound at HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:61:31
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:113:1: Warning:
Top-level binding with no type signature:
showListMaybe :: forall a. Show a => [Maybe a] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:126:1: Warning:
Top-level binding with no type signature:
groupMoves :: forall sy t.
(Eq t, Eq sy) =>
[(t, Maybe sy, t)] -> [(t, [Maybe sy], t)]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:1: Warning:
Defined but not used: ‘showNdfaArrows’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:144:28: Warning:
Defined but not used: ‘s’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:157:1: Warning:
Top-level binding with no type signature:
genOneArrow :: forall a. Show a => [Char] -> a -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:163:1: Warning:
Top-level binding with no type signature:
tographvizIO :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:167:1: Warning:
Top-level binding with no type signature:
dfa2DiGraphWithNoSyncSt :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Dfa st sy -> [Char] -> [Char]
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: Warning:
Defined but not used: ‘dfa2DiGraphIO’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:169:1: Warning:
Top-level binding with no type signature:
dfa2DiGraphIO :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Dfa st sy -> [Char] -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:171:1: Warning:
Top-level binding with no type signature:
dfaDiGraphWithNoSyncStIO :: forall st sy.
(Show sy, Show st, Ord st, Eq sy) =>
Dfa st sy -> [Char] -> FilePath -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: Warning:
Defined but not used: ‘dfa2DiGraphIO''’
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:174:1: Warning:
Top-level binding with no type signature:
dfa2DiGraphIO'' :: forall sy st.
(Show sy, Ord st, Ord sy) =>
Dfa st sy -> [Char] -> IO ()
HaLeX_lib/Language/HaLex/FaAsDiGraph.hs:107:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘createInitialArrows’:
Patterns not matched:
[] (_ : _)
(_ : _) []
[11 of 18] Compiling Language.HaLex.Examples.Robot ( HaLeX_lib/Language/HaLex/Examples/Robot.lhs, dist/build/Language/HaLex/Examples/Robot.o )
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:21:1: Warning:
Top-level binding with no type signature: ex :: Dfa [Char] [Char]
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:42:1: Warning:
Top-level binding with no type signature: moves :: [[Char]]
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:43:1: Warning:
Top-level binding with no type signature: moves2 :: [[Char]]
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:44:1: Warning:
Top-level binding with no type signature: moves3 :: [[Char]]
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:45:1: Warning:
Top-level binding with no type signature: moves4 :: [[Char]]
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:47:1: Warning:
Top-level binding with no type signature: g :: IO ()
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:81:1: Warning:
Top-level binding with no type signature: acc :: Maybe Bool
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:118:1: Warning:
Top-level binding with no type signature: acc2 :: IO Bool
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:121:1: Warning:
Top-level binding with no type signature: exShow :: IO ()
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:27:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
[] _
((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
[ghc-prim:GHC.Types.C# 'C'] _
((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
with
#x `notElem` ['0', '1']
...
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:64:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
[] _
((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
[ghc-prim:GHC.Types.C# 'C'] _
((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
with
#x `notElem` ['0', '1']
...
HaLeX_lib/Language/HaLex/Examples/Robot.lhs:99:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘delta’:
Patterns not matched:
[] _
((ghc-prim:GHC.Types.C# #x) : _) _ with #x `notElem` ['C']
[ghc-prim:GHC.Types.C# 'C'] _
((ghc-prim:GHC.Types.C# 'C') : ((ghc-prim:GHC.Types.C# #x) : _)) _
with
#x `notElem` ['0', '1']
...
[12 of 18] Compiling Language.HaLex.Dfa2MDfa ( HaLeX_lib/Language/HaLex/Dfa2MDfa.hs, dist/build/Language/HaLex/Dfa2MDfa.o )
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:19:1: Warning:
The import of ‘Data.List’ is redundant
except perhaps to import instances from ‘Data.List’
To import instances alone, use: import Data.List()
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:21:1: Warning:
The import of ‘Language.HaLex.Ndfa’ is redundant
except perhaps to import instances from ‘Language.HaLex.Ndfa’
To import instances alone, use: import Language.HaLex.Ndfa()
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:28:1: Warning:
Top-level binding with no type signature:
showAsAccumDfa :: forall st sy.
(Show sy, Show st) =>
Dfa st sy -> String -> String
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:48:5: Warning:
This binding for ‘f’ shadows the existing binding
defined at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108:1
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:74:1: Warning:
Top-level binding with no type signature:
re2MHaskellMod :: forall sy.
(Show sy, Ord sy) =>
RegExp sy -> Bool -> Bool -> [Char]
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:108:1: Warning:
Top-level binding with no type signature:
f :: forall sy. Maybe (RegExp sy) -> RegExp sy
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:116:1: Warning:
Top-level binding with no type signature:
dfa_int :: Dfa Integer Char
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:117:16: Warning:
Defaulting the following constraint(s) to type ‘Integer’
(Num st0)
arising from the literal ‘1’
at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:117:16
(Eq st0)
arising from a use of ‘delta’
at HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:120:15-19
In the expression: 1
In the second argument of ‘Dfa’, namely ‘[1, 2, 3, 4]’
In the expression:
Dfa ['+', '-', '0', '1'] [1, 2, 3, 4] 1 [3] delta
HaLeX_lib/Language/HaLex/Dfa2MDfa.hs:84:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘re2MDfa’: Patterns not matched: _ _ _
[13 of 18] Compiling Language.HaLex.Fa2RegExp ( HaLeX_lib/Language/HaLex/Fa2RegExp.hs, dist/build/Language/HaLex/Fa2RegExp.o )
HaLeX_lib/Language/HaLex/Fa2RegExp.hs:88:17:
Could not deduce (Eq st) arising from the literal ‘0’
from the context (Num st)
bound by the type signature for
regular :: Num st =>
(st -> sy -> st) -> [sy] -> st -> st -> st -> RegExp sy
at HaLeX_lib/Language/HaLex/Fa2RegExp.hs:(80,12)-(86,20)
Possible fix:
add (Eq st) to the context of
the type signature for
regular :: Num st =>
(st -> sy -> st) -> [sy] -> st -> st -> st -> RegExp sy
In the pattern: 0
In an equation for ‘regular’:
regular d v i j 0
| i == j = (regExpFromTo d v i j) `Or` Epsilon
| otherwise = regExpFromTo d v i j
Failed to install HaLeX-1.2
cabal: Error: some packages failed to install:
HaLeX-1.2 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.