[all reports]
| Package |
code-conjure-0.7.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-05-16 06:01:58.761243218 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, express-1.0.18, leancheck-1.0.2, speculate-0.4.20, template-haskell-2.21.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 67% (3844/5698) |
|---|
| boolean | guards | 25% (23/90) |
|---|
| conditions | 23% (3/13) |
|---|
| qualifiers | 53% (15/28) |
|---|
| alternatives | 58% (192/328) |
|---|
| local declarations | 82% (292/356) |
|---|
| top-level declarations | 57% (395/686) |
|---|
Build log
[view raw]
Resolving dependencies...
Configuring cmdargs-0.10.22...
Preprocessing library for cmdargs-0.10.22..
Building library for cmdargs-0.10.22..
[ 1 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o, dist/build/Data/Generics/Any.dyn_o )
Data/Generics/Any.hs:21:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
21 | where y = init $ tail x
| ^^^^
Data/Generics/Any.hs:102:32: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
102 | put $ tail cs
| ^^^^
Data/Generics/Any.hs:103:45: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
103 | return $ fromAny $ head cs
| ^^^^
[ 2 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o, dist/build/Data/Generics/Any/Prelude.dyn_o )
[ 3 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o, dist/build/System/Console/CmdArgs/Annotate.dyn_o )
System/Console/CmdArgs/Annotate.hs:81:22: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
81 | return $ head $
| ^^^^
System/Console/CmdArgs/Annotate.hs:148:14: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
148 | return $ head xs
| ^^^^
[ 4 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o, dist/build/System/Console/CmdArgs/Default.dyn_o )
[ 5 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.dyn_o )
[ 6 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.dyn_o )
[ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o, dist/build/System/Console/CmdArgs/Explicit/Type.dyn_o )
[ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o, dist/build/System/Console/CmdArgs/Explicit/Process.dyn_o )
System/Console/CmdArgs/Explicit/Process.hs:74:44: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
74 | | null b -> upd s{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:74:72: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
74 | | null b -> upd s{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:75:61: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
75 | | otherwise -> upd s $ flagValue flag $ tail b
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:77:55: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | | otherwise -> upd s $ flagValue flag $ tail b
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:91:46: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | | null xs -> upd s_{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:91:74: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | | null xs -> upd s_{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:92:99: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
92 | | otherwise -> upd s_{args=ys} $ flagValue flag $ if "=" `isPrefixOf` xs then tail xs else xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:94:101: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
94 | | otherwise -> upd s_{args=ys} $ flagValue flag $ if "=" `isPrefixOf` xs then tail xs else xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:95:87: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
95 | FlagOptRare x | "=" `isPrefixOf` xs -> upd s_{args=ys} $ flagValue flag $ tail xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:149:22: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
149 | match op = [(head ys,v) | (xs,v) <- names, let ys = filter (op value) xs, ys /= []]
| ^^^^
[ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o, dist/build/System/Console/CmdArgs/Explicit/Complete.dyn_o )
System/Console/CmdArgs/Explicit/Complete.hs:52:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
52 | now = head $ next ++ [""]
| ^^^^
[10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o, dist/build/System/Console/CmdArgs/Helper.dyn_o )
[11 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o, dist/build/System/Console/CmdArgs/Implicit/Ann.dyn_o )
[12 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o, dist/build/System/Console/CmdArgs/Implicit/UI.dyn_o )
[13 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o, dist/build/System/Console/CmdArgs/Text.dyn_o )
System/Console/CmdArgs/Text.hs:91:32: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | cs = map (\x -> (fst $ head x, map maximum $ transpose $ map snd x)) $
| ^^^^
[14 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o, dist/build/System/Console/CmdArgs/Explicit/Help.dyn_o )
System/Console/CmdArgs/Explicit/Help.hs:83:59: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
83 | helpText pre HelpFormatBash x = map Line $ completeBash $ head $ modeNames x ++ ["unknown"]
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:84:57: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
84 | helpText pre HelpFormatZsh x = map Line $ completeZsh $ head $ modeNames x ++ ["unknown"]
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:154:46: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
154 | add x y = if null x then x else (head x ++ y) : tail x
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:154:61: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
154 | add x y = if null x then x else (head x ++ y) : tail x
| ^^^^
[15 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o, dist/build/System/Console/CmdArgs/Verbosity.dyn_o )
[16 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o, dist/build/System/Console/CmdArgs/Implicit/Type.dyn_o )
[17 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o, dist/build/System/Console/CmdArgs/Explicit.dyn_o )
System/Console/CmdArgs/Explicit.hs:112:79: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
112 | let var = mplus (lookup ("CMDARGS_HELPER_" ++ show (map toUpper $ head $ modeNames m ++ [nam])) env)
| ^^^^
[18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o, dist/build/System/Console/CmdArgs/Implicit/Reader.dyn_o )
System/Console/CmdArgs/Implicit/Reader.hs:35:16: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | let down = head . children
| ^^^^
System/Console/CmdArgs/Implicit/Reader.hs:82:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
82 | | otherwise = Right $ snd $ head ys
| ^^^^
System/Console/CmdArgs/Implicit/Reader.hs:92:67: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
92 | if n == 1 then fmap (recompose x . return) $ readerRead_ (head $ filter ((==) 1 . readerParts) rs) s
| ^^^^
[19 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o, dist/build/System/Console/CmdArgs/Implicit/Local.dyn_o )
System/Console/CmdArgs/Implicit/Local.hs:120:58: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | where prog = map toLower $ typeShell $ fromCapture $ head xs
| ^^^^
System/Console/CmdArgs/Implicit/Local.hs:220:24: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
220 | flagAnn a x = errFlag (head $ words $ show x) $ show a
| ^^^^
[20 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o, dist/build/System/Console/CmdArgs/Implicit/Reform.dyn_o )
[21 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o, dist/build/System/Console/CmdArgs/Implicit/Global.dyn_o )
System/Console/CmdArgs/Implicit/Global.hs:35:38: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | collapse x | length ms == 1 = (snd $ head ms){modeNames=[progProgram x]}
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:37:27: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
37 | | otherwise = (head $ map zeroMode auto ++ map (emptyMode . snd) ms)
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:143:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
143 | com = map head $ filter ((== length (progModes p)) . length) $ group $ sort
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:193:74: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
193 | mapModes1 f pre m = m{modeGroupModes = fmap (mapModes0 f (pre ++ head (modeNames m) ++ " ")) $ modeGroupModes m}
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:204:68: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
204 | f flg = if concatMap flagNames hlp == flagNames flg then head hlp else flg
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:218:65: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
218 | toMode xs x = x{modeMode = (modeMode x){modeNames=["["++head xs++"]" | modeDefault x] ++ xs}}
| ^^^^
[22 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o, dist/build/System/Console/CmdArgs/Implicit.dyn_o )
[23 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o, dist/build/System/Console/CmdArgs/Quote.dyn_o )
[24 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o, dist/build/System/Console/CmdArgs.dyn_o )
[25 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o, dist/build/System/Console/CmdArgs/GetOpt.dyn_o )
Preprocessing library for cmdargs-0.10.22..
Running Haddock on library for cmdargs-0.10.22..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, /tmp/ghc1161800_0/ghc_4.o, /tmp/ghc1161800_0/ghc_4.dyn_o )
Data/Generics/Any.hs:21:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
21 | where y = init $ tail x
| ^^^^
Data/Generics/Any.hs:102:32: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
102 | put $ tail cs
| ^^^^
Data/Generics/Any.hs:103:45: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
103 | return $ fromAny $ head cs
| ^^^^
[ 2 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, /tmp/ghc1161800_0/ghc_6.o, /tmp/ghc1161800_0/ghc_6.dyn_o )
[ 3 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, /tmp/ghc1161800_0/ghc_8.o, /tmp/ghc1161800_0/ghc_8.dyn_o )
System/Console/CmdArgs/Annotate.hs:81:22: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
81 | return $ head $
| ^^^^
System/Console/CmdArgs/Annotate.hs:148:14: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
148 | return $ head xs
| ^^^^
[ 4 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, /tmp/ghc1161800_0/ghc_10.o, /tmp/ghc1161800_0/ghc_10.dyn_o )
[ 5 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, /tmp/ghc1161800_0/ghc_16.o, /tmp/ghc1161800_0/ghc_16.dyn_o )
[ 6 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, /tmp/ghc1161800_0/ghc_22.o, /tmp/ghc1161800_0/ghc_22.dyn_o )
[ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, /tmp/ghc1161800_0/ghc_24.o, /tmp/ghc1161800_0/ghc_24.dyn_o )
[ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, /tmp/ghc1161800_0/ghc_20.o, /tmp/ghc1161800_0/ghc_20.dyn_o )
System/Console/CmdArgs/Explicit/Process.hs:74:44: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
74 | | null b -> upd s{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:74:72: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
74 | | null b -> upd s{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:75:61: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
75 | | otherwise -> upd s $ flagValue flag $ tail b
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:77:55: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | | otherwise -> upd s $ flagValue flag $ tail b
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:91:46: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | | null xs -> upd s_{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:91:74: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | | null xs -> upd s_{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:92:99: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
92 | | otherwise -> upd s_{args=ys} $ flagValue flag $ if "=" `isPrefixOf` xs then tail xs else xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:94:101: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
94 | | otherwise -> upd s_{args=ys} $ flagValue flag $ if "=" `isPrefixOf` xs then tail xs else xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:95:87: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
95 | FlagOptRare x | "=" `isPrefixOf` xs -> upd s_{args=ys} $ flagValue flag $ tail xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:149:22: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
149 | match op = [(head ys,v) | (xs,v) <- names, let ys = filter (op value) xs, ys /= []]
| ^^^^
[ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, /tmp/ghc1161800_0/ghc_14.o, /tmp/ghc1161800_0/ghc_14.dyn_o )
System/Console/CmdArgs/Explicit/Complete.hs:52:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
52 | now = head $ next ++ [""]
| ^^^^
[10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, /tmp/ghc1161800_0/ghc_26.o, /tmp/ghc1161800_0/ghc_26.dyn_o )
[11 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, /tmp/ghc1161800_0/ghc_30.o, /tmp/ghc1161800_0/ghc_30.dyn_o )
[12 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, /tmp/ghc1161800_0/ghc_42.o, /tmp/ghc1161800_0/ghc_42.dyn_o )
[13 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, /tmp/ghc1161800_0/ghc_44.o, /tmp/ghc1161800_0/ghc_44.dyn_o )
System/Console/CmdArgs/Text.hs:91:32: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | cs = map (\x -> (fst $ head x, map maximum $ transpose $ map snd x)) $
| ^^^^
[14 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, /tmp/ghc1161800_0/ghc_18.o, /tmp/ghc1161800_0/ghc_18.dyn_o )
System/Console/CmdArgs/Explicit/Help.hs:83:59: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
83 | helpText pre HelpFormatBash x = map Line $ completeBash $ head $ modeNames x ++ ["unknown"]
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:84:57: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
84 | helpText pre HelpFormatZsh x = map Line $ completeZsh $ head $ modeNames x ++ ["unknown"]
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:154:46: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
154 | add x y = if null x then x else (head x ++ y) : tail x
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:154:61: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
154 | add x y = if null x then x else (head x ++ y) : tail x
| ^^^^
[15 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, /tmp/ghc1161800_0/ghc_46.o, /tmp/ghc1161800_0/ghc_46.dyn_o )
[16 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, /tmp/ghc1161800_0/ghc_40.o, /tmp/ghc1161800_0/ghc_40.dyn_o )
[17 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, /tmp/ghc1161800_0/ghc_12.o, /tmp/ghc1161800_0/ghc_12.dyn_o )
System/Console/CmdArgs/Explicit.hs:112:79: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
112 | let var = mplus (lookup ("CMDARGS_HELPER_" ++ show (map toUpper $ head $ modeNames m ++ [nam])) env)
| ^^^^
[18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, /tmp/ghc1161800_0/ghc_36.o, /tmp/ghc1161800_0/ghc_36.dyn_o )
System/Console/CmdArgs/Implicit/Reader.hs:35:16: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | let down = head . children
| ^^^^
System/Console/CmdArgs/Implicit/Reader.hs:82:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
82 | | otherwise = Right $ snd $ head ys
| ^^^^
System/Console/CmdArgs/Implicit/Reader.hs:92:67: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
92 | if n == 1 then fmap (recompose x . return) $ readerRead_ (head $ filter ((==) 1 . readerParts) rs) s
| ^^^^
[19 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, /tmp/ghc1161800_0/ghc_34.o, /tmp/ghc1161800_0/ghc_34.dyn_o )
System/Console/CmdArgs/Implicit/Local.hs:120:58: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | where prog = map toLower $ typeShell $ fromCapture $ head xs
| ^^^^
System/Console/CmdArgs/Implicit/Local.hs:220:24: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
220 | flagAnn a x = errFlag (head $ words $ show x) $ show a
| ^^^^
[20 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, /tmp/ghc1161800_0/ghc_38.o, /tmp/ghc1161800_0/ghc_38.dyn_o )
[21 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, /tmp/ghc1161800_0/ghc_32.o, /tmp/ghc1161800_0/ghc_32.dyn_o )
System/Console/CmdArgs/Implicit/Global.hs:35:38: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | collapse x | length ms == 1 = (snd $ head ms){modeNames=[progProgram x]}
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:37:27: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
37 | | otherwise = (head $ map zeroMode auto ++ map (emptyMode . snd) ms)
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:143:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
143 | com = map head $ filter ((== length (progModes p)) . length) $ group $ sort
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:193:74: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
193 | mapModes1 f pre m = m{modeGroupModes = fmap (mapModes0 f (pre ++ head (modeNames m) ++ " ")) $ modeGroupModes m}
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:204:68: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
204 | f flg = if concatMap flagNames hlp == flagNames flg then head hlp else flg
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:218:65: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
218 | toMode xs x = x{modeMode = (modeMode x){modeNames=["["++head xs++"]" | modeDefault x] ++ xs}}
| ^^^^
[22 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, /tmp/ghc1161800_0/ghc_28.o, /tmp/ghc1161800_0/ghc_28.dyn_o )
[23 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, nothing )
[24 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, nothing )
[25 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, nothing )
Haddock coverage:
Warning: 'RecConError' is ambiguous. It is defined
* in Control.Exception.Base
* in Control.Exception.Base
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Control.Exception.Base
100% ( 17 / 17) in 'System.Console.CmdArgs.Annotate'
100% ( 2 / 2) in 'System.Console.CmdArgs.Default'
Warning: 'getArgs' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Mode' is ambiguous. It is defined
* at System/Console/CmdArgs/Explicit/Type.hs:81:15
* at System/Console/CmdArgs/Explicit/Type.hs:81:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/Console/CmdArgs/Explicit/Type.hs:81:1
Warning: 'helpText' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'expandArgsAt' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Mode' is ambiguous. It is defined
* at System/Console/CmdArgs/Explicit/Type.hs:81:15
* at System/Console/CmdArgs/Explicit/Type.hs:81:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/Console/CmdArgs/Explicit/Type.hs:81:1
100% ( 8 / 8) in 'System.Console.CmdArgs.Helper'
Warning: 'flag' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 5 / 5) in 'System.Console.CmdArgs.Text'
100% ( 8 / 8) in 'System.Console.CmdArgs.Verbosity'
Warning: 'Mode' is ambiguous. It is defined
* at System/Console/CmdArgs/Explicit/Type.hs:81:15
* at System/Console/CmdArgs/Explicit/Type.hs:81:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/Console/CmdArgs/Explicit/Type.hs:81:1
Warning: 'Group' is ambiguous. It is defined
* at System/Console/CmdArgs/Explicit/Type.hs:42:16
* at System/Console/CmdArgs/Explicit/Type.hs:42:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/Console/CmdArgs/Explicit/Type.hs:42:1
100% ( 48 / 48) in 'System.Console.CmdArgs.Explicit'
Warning: 'process' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'CmdArgs' is ambiguous. It is defined
* at System/Console/CmdArgs/Implicit/Type.hs:19:18
* at System/Console/CmdArgs/Implicit/Type.hs:19:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/Console/CmdArgs/Implicit/Type.hs:19:1
100% ( 50 / 50) in 'System.Console.CmdArgs.Implicit'
100% ( 9 / 9) in 'System.Console.CmdArgs.Quote'
100% ( 2 / 2) in 'System.Console.CmdArgs'
Warning: 'Mode' is ambiguous. It is defined
* at System/Console/CmdArgs/Explicit/Type.hs:81:15
* at System/Console/CmdArgs/Explicit/Type.hs:81:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at System/Console/CmdArgs/Explicit/Type.hs:81:1
100% ( 8 / 8) in 'System.Console.CmdArgs.GetOpt'
Warning: System.Console.CmdArgs.Implicit: could not find link destinations for:
- System.Console.CmdArgs.Implicit.Type.CmdArgsPrivate
Documentation created: dist/doc/html/cmdargs/,
dist/doc/html/cmdargs/cmdargs.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/cmdargs-0.10.22-DrV9hhThmPRIxIB4blq0mX
Completed cmdargs-0.10.22
Downloading express-1.0.18
Downloaded express-1.0.18
Configuring express-1.0.18...
Preprocessing library for express-1.0.18..
Building library for express-1.0.18..
[ 1 of 20] Compiling Data.Express.Utils.List ( src/Data/Express/Utils/List.hs, dist/build/Data/Express/Utils/List.o, dist/build/Data/Express/Utils/List.dyn_o )
[ 2 of 20] Compiling Data.Express.Utils.String ( src/Data/Express/Utils/String.hs, dist/build/Data/Express/Utils/String.o, dist/build/Data/Express/Utils/String.dyn_o )
[ 3 of 20] Compiling Data.Express.Utils ( src/Data/Express/Utils.hs, dist/build/Data/Express/Utils.o, dist/build/Data/Express/Utils.dyn_o )
[ 4 of 20] Compiling Data.Express.Name ( src/Data/Express/Name.hs, dist/build/Data/Express/Name.o, dist/build/Data/Express/Name.dyn_o )
[ 5 of 20] Compiling Data.Express.Utils.TH ( src/Data/Express/Utils/TH.hs, dist/build/Data/Express/Utils/TH.o, dist/build/Data/Express/Utils/TH.dyn_o )
[ 6 of 20] Compiling Data.Express.Name.Derive ( src/Data/Express/Name/Derive.hs, dist/build/Data/Express/Name/Derive.o, dist/build/Data/Express/Name/Derive.dyn_o )
[ 7 of 20] Compiling Data.Express.Utils.Typeable ( src/Data/Express/Utils/Typeable.hs, dist/build/Data/Express/Utils/Typeable.o, dist/build/Data/Express/Utils/Typeable.dyn_o )
[ 8 of 20] Compiling Data.Express.Core ( src/Data/Express/Core.hs, dist/build/Data/Express/Core.o, dist/build/Data/Express/Core.dyn_o )
[ 9 of 20] Compiling Data.Express.Match ( src/Data/Express/Match.hs, dist/build/Data/Express/Match.o, dist/build/Data/Express/Match.dyn_o )
[10 of 20] Compiling Data.Express.Triexpr ( src/Data/Express/Triexpr.hs, dist/build/Data/Express/Triexpr.o, dist/build/Data/Express/Triexpr.dyn_o )
[11 of 20] Compiling Data.Express.Map ( src/Data/Express/Map.hs, dist/build/Data/Express/Map.o, dist/build/Data/Express/Map.dyn_o )
[12 of 20] Compiling Data.Express.Hole ( src/Data/Express/Hole.hs, dist/build/Data/Express/Hole.o, dist/build/Data/Express/Hole.dyn_o )
[13 of 20] Compiling Data.Express.Fold ( src/Data/Express/Fold.hs, dist/build/Data/Express/Fold.o, dist/build/Data/Express/Fold.dyn_o )
[14 of 20] Compiling Data.Express.Express ( src/Data/Express/Express.hs, dist/build/Data/Express/Express.o, dist/build/Data/Express/Express.dyn_o )
[15 of 20] Compiling Data.Express.Express.Derive ( src/Data/Express/Express/Derive.hs, dist/build/Data/Express/Express/Derive.o, dist/build/Data/Express/Express/Derive.dyn_o )
[16 of 20] Compiling Data.Express.Basic ( src/Data/Express/Basic.hs, dist/build/Data/Express/Basic.o, dist/build/Data/Express/Basic.dyn_o )
[17 of 20] Compiling Data.Express.Instances ( src/Data/Express/Instances.hs, dist/build/Data/Express/Instances.o, dist/build/Data/Express/Instances.dyn_o )
[18 of 20] Compiling Data.Express.Canon ( src/Data/Express/Canon.hs, dist/build/Data/Express/Canon.o, dist/build/Data/Express/Canon.dyn_o )
[19 of 20] Compiling Data.Express ( src/Data/Express.hs, dist/build/Data/Express.o, dist/build/Data/Express.dyn_o )
[20 of 20] Compiling Data.Express.Fixtures ( src/Data/Express/Fixtures.hs, dist/build/Data/Express/Fixtures.o, dist/build/Data/Express/Fixtures.dyn_o )
src/Data/Express/Fixtures.hs:1354:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1354 | [ value "head" (head :: Head Int)
| ^^^^
src/Data/Express/Fixtures.hs:1355:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1355 | , value "head" (head :: Head Char)
| ^^^^
src/Data/Express/Fixtures.hs:1356:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1356 | , value "head" (head :: Head Bool)
| ^^^^
src/Data/Express/Fixtures.hs:1357:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1357 | , value "head" (head :: Head [Int])
| ^^^^
src/Data/Express/Fixtures.hs:1358:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1358 | , value "head" (head :: Head [Char])
| ^^^^
src/Data/Express/Fixtures.hs:1359:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1359 | , value "head" (head :: Head [Bool])
| ^^^^
src/Data/Express/Fixtures.hs:1360:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1360 | , value "head" (head :: Head (Int,Int))
| ^^^^
src/Data/Express/Fixtures.hs:1361:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1361 | , value "head" (head :: Head (Maybe Int))
| ^^^^
src/Data/Express/Fixtures.hs:1381:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1381 | [ value "tail" (tail :: Tail Int)
| ^^^^
src/Data/Express/Fixtures.hs:1382:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1382 | , value "tail" (tail :: Tail Char)
| ^^^^
src/Data/Express/Fixtures.hs:1383:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1383 | , value "tail" (tail :: Tail Bool)
| ^^^^
src/Data/Express/Fixtures.hs:1384:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1384 | , value "tail" (tail :: Tail [Int])
| ^^^^
src/Data/Express/Fixtures.hs:1385:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1385 | , value "tail" (tail :: Tail [Char])
| ^^^^
src/Data/Express/Fixtures.hs:1386:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1386 | , value "tail" (tail :: Tail [Bool])
| ^^^^
src/Data/Express/Fixtures.hs:1387:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1387 | , value "tail" (tail :: Tail (Int,Int))
| ^^^^
src/Data/Express/Fixtures.hs:1388:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1388 | , value "tail" (tail :: Tail (Maybe Int))
| ^^^^
Preprocessing library for express-1.0.18..
Running Haddock on library for express-1.0.18..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 20] Compiling Data.Express.Utils.List ( src/Data/Express/Utils/List.hs, /tmp/ghc1162478_0/ghc_32.o, /tmp/ghc1162478_0/ghc_32.dyn_o )
[ 2 of 20] Compiling Data.Express.Utils.String ( src/Data/Express/Utils/String.hs, /tmp/ghc1162478_0/ghc_34.o, /tmp/ghc1162478_0/ghc_34.dyn_o )
[ 3 of 20] Compiling Data.Express.Utils ( src/Data/Express/Utils.hs, /tmp/ghc1162478_0/ghc_30.o, /tmp/ghc1162478_0/ghc_30.dyn_o )
[ 4 of 20] Compiling Data.Express.Name ( src/Data/Express/Name.hs, /tmp/ghc1162478_0/ghc_28.o, /tmp/ghc1162478_0/ghc_28.dyn_o )
[ 5 of 20] Compiling Data.Express.Utils.TH ( src/Data/Express/Utils/TH.hs, /tmp/ghc1162478_0/ghc_36.o, /tmp/ghc1162478_0/ghc_36.dyn_o )
[ 6 of 20] Compiling Data.Express.Name.Derive ( src/Data/Express/Name/Derive.hs, nothing )
[ 7 of 20] Compiling Data.Express.Utils.Typeable ( src/Data/Express/Utils/Typeable.hs, /tmp/ghc1162478_0/ghc_38.o, /tmp/ghc1162478_0/ghc_38.dyn_o )
[ 8 of 20] Compiling Data.Express.Core ( src/Data/Express/Core.hs, /tmp/ghc1162478_0/ghc_24.o, /tmp/ghc1162478_0/ghc_24.dyn_o )
[ 9 of 20] Compiling Data.Express.Match ( src/Data/Express/Match.hs, nothing )
[10 of 20] Compiling Data.Express.Triexpr ( src/Data/Express/Triexpr.hs, nothing )
[11 of 20] Compiling Data.Express.Map ( src/Data/Express/Map.hs, nothing )
[12 of 20] Compiling Data.Express.Hole ( src/Data/Express/Hole.hs, nothing )
[13 of 20] Compiling Data.Express.Fold ( src/Data/Express/Fold.hs, nothing )
[14 of 20] Compiling Data.Express.Express ( src/Data/Express/Express.hs, /tmp/ghc1162478_0/ghc_26.o, /tmp/ghc1162478_0/ghc_26.dyn_o )
[15 of 20] Compiling Data.Express.Express.Derive ( src/Data/Express/Express/Derive.hs, nothing )
[16 of 20] Compiling Data.Express.Basic ( src/Data/Express/Basic.hs, nothing )
[17 of 20] Compiling Data.Express.Instances ( src/Data/Express/Instances.hs, nothing )
[18 of 20] Compiling Data.Express.Canon ( src/Data/Express/Canon.hs, nothing )
[19 of 20] Compiling Data.Express ( src/Data/Express.hs, nothing )
[20 of 20] Compiling Data.Express.Fixtures ( src/Data/Express/Fixtures.hs, nothing )
src/Data/Express/Fixtures.hs:1354:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1354 | [ value "head" (head :: Head Int)
| ^^^^
src/Data/Express/Fixtures.hs:1355:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1355 | , value "head" (head :: Head Char)
| ^^^^
src/Data/Express/Fixtures.hs:1356:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1356 | , value "head" (head :: Head Bool)
| ^^^^
src/Data/Express/Fixtures.hs:1357:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1357 | , value "head" (head :: Head [Int])
| ^^^^
src/Data/Express/Fixtures.hs:1358:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1358 | , value "head" (head :: Head [Char])
| ^^^^
src/Data/Express/Fixtures.hs:1359:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1359 | , value "head" (head :: Head [Bool])
| ^^^^
src/Data/Express/Fixtures.hs:1360:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1360 | , value "head" (head :: Head (Int,Int))
| ^^^^
src/Data/Express/Fixtures.hs:1361:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1361 | , value "head" (head :: Head (Maybe Int))
| ^^^^
src/Data/Express/Fixtures.hs:1381:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1381 | [ value "tail" (tail :: Tail Int)
| ^^^^
src/Data/Express/Fixtures.hs:1382:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1382 | , value "tail" (tail :: Tail Char)
| ^^^^
src/Data/Express/Fixtures.hs:1383:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1383 | , value "tail" (tail :: Tail Bool)
| ^^^^
src/Data/Express/Fixtures.hs:1384:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1384 | , value "tail" (tail :: Tail [Int])
| ^^^^
src/Data/Express/Fixtures.hs:1385:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1385 | , value "tail" (tail :: Tail [Char])
| ^^^^
src/Data/Express/Fixtures.hs:1386:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1386 | , value "tail" (tail :: Tail [Bool])
| ^^^^
src/Data/Express/Fixtures.hs:1387:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1387 | , value "tail" (tail :: Tail (Int,Int))
| ^^^^
src/Data/Express/Fixtures.hs:1388:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1388 | , value "tail" (tail :: Tail (Maybe Int))
| ^^^^
Haddock coverage:
100% ( 10 / 10) in 'Data.Express.Utils.List'
100% ( 13 / 13) in 'Data.Express.Utils.String'
100% ( 8 / 8) in 'Data.Express.Utils'
100% ( 4 / 4) in 'Data.Express.Name'
55% ( 15 / 27) in 'Data.Express.Utils.TH'
Missing documentation for:
reallyDeriveCascading (src/Data/Express/Utils/TH.hs:78)
deriveWhenNeeded (src/Data/Express/Utils/TH.hs:45)
deriveWhenNeededOrWarn (src/Data/Express/Utils/TH.hs:48)
typeConArgs (src/Data/Express/Utils/TH.hs:86)
typeConArgsThat (src/Data/Express/Utils/TH.hs:106)
typeConCascadingArgsThat (src/Data/Express/Utils/TH.hs:109)
mergeIFns (src/Data/Express/Utils/TH.hs:304)
mergeI (src/Data/Express/Utils/TH.hs:314)
typeConstructorsArgNames (src/Data/Express/Utils/TH.hs:345)
|=>| (src/Data/Express/Utils/TH.hs:291)
|++| (src/Data/Express/Utils/TH.hs:301)
whereI (src/Data/Express/Utils/TH.hs:323)
Warning: 'Name' is ambiguous. It is defined
* at src/Data/Express/Name.hs:55:1
* in Language.Haskell.TH.Syntax
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Express/Name.hs:55:1
100% ( 4 / 4) in 'Data.Express.Name.Derive'
100% ( 20 / 20) in 'Data.Express.Utils.Typeable'
Warning: 'Dynamic' is ambiguous. It is defined
* in Data.Dynamic
* in Data.Dynamic
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Dynamic
100% ( 49 / 49) in 'Data.Express.Core'
100% ( 7 / 7) in 'Data.Express.Match'
Warning: 'Triexpr' is ambiguous. It is defined
* at src/Data/Express/Triexpr.hs:50:23
* at src/Data/Express/Triexpr.hs:50:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Express/Triexpr.hs:50:1
100% ( 10 / 10) in 'Data.Express.Triexpr'
100% ( 8 / 8) in 'Data.Express.Map'
100% ( 14 / 14) in 'Data.Express.Hole'
100% ( 9 / 9) in 'Data.Express.Fold'
100% ( 15 / 15) in 'Data.Express.Express'
100% ( 4 / 4) in 'Data.Express.Express.Derive'
100% ( 10 / 10) in 'Data.Express.Basic'
100% ( 27 / 27) in 'Data.Express.Instances'
100% ( 13 / 13) in 'Data.Express.Canon'
100% (144 /144) in 'Data.Express'
Warning: 'Just' is ambiguous. It is defined
* at src/Data/Express/Fixtures.hs:1879:1
* in GHC.Maybe
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Express/Fixtures.hs:1879:1
100% (185 /185) in 'Data.Express.Fixtures'
Warning: Data.Express.Fixtures: could not find link destinations for:
- Data.Express.Fixtures.Just
Documentation created: dist/doc/html/express/,
dist/doc/html/express/express.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/express-1.0.18-D9LptQeAb1d7QVcwLBWt0N
Completed express-1.0.18
Configuring leancheck-1.0.2...
Preprocessing library for leancheck-1.0.2..
Building library for leancheck-1.0.2..
[ 1 of 24] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, dist/build/Test/LeanCheck/Core.o, dist/build/Test/LeanCheck/Core.dyn_o )
[ 2 of 24] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, dist/build/Test/LeanCheck/Basic.o, dist/build/Test/LeanCheck/Basic.dyn_o )
[ 3 of 24] Compiling Test.LeanCheck.Derive ( src/Test/LeanCheck/Derive.hs, dist/build/Test/LeanCheck/Derive.o, dist/build/Test/LeanCheck/Derive.dyn_o )
[ 4 of 24] Compiling Test.LeanCheck.Generic ( src/Test/LeanCheck/Generic.hs, dist/build/Test/LeanCheck/Generic.o, dist/build/Test/LeanCheck/Generic.dyn_o )
[ 5 of 24] Compiling Test.LeanCheck.IO ( src/Test/LeanCheck/IO.hs, dist/build/Test/LeanCheck/IO.o, dist/build/Test/LeanCheck/IO.dyn_o )
[ 6 of 24] Compiling Test.LeanCheck.Stats ( src/Test/LeanCheck/Stats.hs, dist/build/Test/LeanCheck/Stats.o, dist/build/Test/LeanCheck/Stats.dyn_o )
[ 7 of 24] Compiling Test.LeanCheck.Tiers ( src/Test/LeanCheck/Tiers.hs, dist/build/Test/LeanCheck/Tiers.o, dist/build/Test/LeanCheck/Tiers.dyn_o )
[ 8 of 24] Compiling Test.LeanCheck ( src/Test/LeanCheck.hs, dist/build/Test/LeanCheck.o, dist/build/Test/LeanCheck.dyn_o )
[ 9 of 24] Compiling Test.LeanCheck.Function.ListsOfPairs ( src/Test/LeanCheck/Function/ListsOfPairs.hs, dist/build/Test/LeanCheck/Function/ListsOfPairs.o, dist/build/Test/LeanCheck/Function/ListsOfPairs.dyn_o )
[10 of 24] Compiling Test.LeanCheck.Function.Listable.ListsOfPairs ( src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs, dist/build/Test/LeanCheck/Function/Listable/ListsOfPairs.o, dist/build/Test/LeanCheck/Function/Listable/ListsOfPairs.dyn_o )
[11 of 24] Compiling Test.LeanCheck.Function.Listable ( src/Test/LeanCheck/Function/Listable.hs, dist/build/Test/LeanCheck/Function/Listable.o, dist/build/Test/LeanCheck/Function/Listable.dyn_o )
[12 of 24] Compiling Test.LeanCheck.Error ( src/Test/LeanCheck/Error.hs, dist/build/Test/LeanCheck/Error.o, dist/build/Test/LeanCheck/Error.dyn_o )
[13 of 24] Compiling Test.LeanCheck.Function.List ( src/Test/LeanCheck/Function/List.hs, dist/build/Test/LeanCheck/Function/List.o, dist/build/Test/LeanCheck/Function/List.dyn_o )
[14 of 24] Compiling Test.LeanCheck.Function.Eq ( src/Test/LeanCheck/Function/Eq.hs, dist/build/Test/LeanCheck/Function/Eq.o, dist/build/Test/LeanCheck/Function/Eq.dyn_o )
[15 of 24] Compiling Test.LeanCheck.Function.Ord ( src/Test/LeanCheck/Function/Ord.hs, dist/build/Test/LeanCheck/Function/Ord.o, dist/build/Test/LeanCheck/Function/Ord.dyn_o )
[16 of 24] Compiling Test.LeanCheck.Utils.Operators ( src/Test/LeanCheck/Utils/Operators.hs, dist/build/Test/LeanCheck/Utils/Operators.o, dist/build/Test/LeanCheck/Utils/Operators.dyn_o )
[17 of 24] Compiling Test.LeanCheck.Utils.Types ( src/Test/LeanCheck/Utils/Types.hs, dist/build/Test/LeanCheck/Utils/Types.o, dist/build/Test/LeanCheck/Utils/Types.dyn_o )
[18 of 24] Compiling Test.LeanCheck.Utils.TypeBinding ( src/Test/LeanCheck/Utils/TypeBinding.hs, dist/build/Test/LeanCheck/Utils/TypeBinding.o, dist/build/Test/LeanCheck/Utils/TypeBinding.dyn_o )
[19 of 24] Compiling Test.LeanCheck.Utils ( src/Test/LeanCheck/Utils.hs, dist/build/Test/LeanCheck/Utils.o, dist/build/Test/LeanCheck/Utils.dyn_o )
[20 of 24] Compiling Test.LeanCheck.Function.ShowFunction ( src/Test/LeanCheck/Function/ShowFunction.hs, dist/build/Test/LeanCheck/Function/ShowFunction.o, dist/build/Test/LeanCheck/Function/ShowFunction.dyn_o )
[21 of 24] Compiling Test.LeanCheck.Function.Show.FourCases ( src/Test/LeanCheck/Function/Show/FourCases.hs, dist/build/Test/LeanCheck/Function/Show/FourCases.o, dist/build/Test/LeanCheck/Function/Show/FourCases.dyn_o )
[22 of 24] Compiling Test.LeanCheck.Function.Show.EightLines ( src/Test/LeanCheck/Function/Show/EightLines.hs, dist/build/Test/LeanCheck/Function/Show/EightLines.o, dist/build/Test/LeanCheck/Function/Show/EightLines.dyn_o )
[23 of 24] Compiling Test.LeanCheck.Function.Show ( src/Test/LeanCheck/Function/Show.hs, dist/build/Test/LeanCheck/Function/Show.o, dist/build/Test/LeanCheck/Function/Show.dyn_o )
[24 of 24] Compiling Test.LeanCheck.Function ( src/Test/LeanCheck/Function.hs, dist/build/Test/LeanCheck/Function.o, dist/build/Test/LeanCheck/Function.dyn_o )
Preprocessing library for leancheck-1.0.2..
Running Haddock on library for leancheck-1.0.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 24] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, /tmp/ghc1163043_0/ghc_20.o, /tmp/ghc1163043_0/ghc_20.dyn_o )
[ 2 of 24] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, /tmp/ghc1163043_0/ghc_18.o, /tmp/ghc1163043_0/ghc_18.dyn_o )
[ 3 of 24] Compiling Test.LeanCheck.Derive ( src/Test/LeanCheck/Derive.hs, nothing )
[ 4 of 24] Compiling Test.LeanCheck.Generic ( src/Test/LeanCheck/Generic.hs, nothing )
[ 5 of 24] Compiling Test.LeanCheck.IO ( src/Test/LeanCheck/IO.hs, nothing )
[ 6 of 24] Compiling Test.LeanCheck.Stats ( src/Test/LeanCheck/Stats.hs, nothing )
[ 7 of 24] Compiling Test.LeanCheck.Tiers ( src/Test/LeanCheck/Tiers.hs, nothing )
[ 8 of 24] Compiling Test.LeanCheck ( src/Test/LeanCheck.hs, nothing )
[ 9 of 24] Compiling Test.LeanCheck.Function.ListsOfPairs ( src/Test/LeanCheck/Function/ListsOfPairs.hs, nothing )
[10 of 24] Compiling Test.LeanCheck.Function.Listable.ListsOfPairs ( src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs, nothing )
[11 of 24] Compiling Test.LeanCheck.Function.Listable ( src/Test/LeanCheck/Function/Listable.hs, nothing )
[12 of 24] Compiling Test.LeanCheck.Error ( src/Test/LeanCheck/Error.hs, nothing )
[13 of 24] Compiling Test.LeanCheck.Function.List ( src/Test/LeanCheck/Function/List.hs, nothing )
[14 of 24] Compiling Test.LeanCheck.Function.Eq ( src/Test/LeanCheck/Function/Eq.hs, nothing )
[15 of 24] Compiling Test.LeanCheck.Function.Ord ( src/Test/LeanCheck/Function/Ord.hs, nothing )
[16 of 24] Compiling Test.LeanCheck.Utils.Operators ( src/Test/LeanCheck/Utils/Operators.hs, nothing )
[17 of 24] Compiling Test.LeanCheck.Utils.Types ( src/Test/LeanCheck/Utils/Types.hs, nothing )
[18 of 24] Compiling Test.LeanCheck.Utils.TypeBinding ( src/Test/LeanCheck/Utils/TypeBinding.hs, nothing )
[19 of 24] Compiling Test.LeanCheck.Utils ( src/Test/LeanCheck/Utils.hs, nothing )
[20 of 24] Compiling Test.LeanCheck.Function.ShowFunction ( src/Test/LeanCheck/Function/ShowFunction.hs, nothing )
[21 of 24] Compiling Test.LeanCheck.Function.Show.FourCases ( src/Test/LeanCheck/Function/Show/FourCases.hs, nothing )
[22 of 24] Compiling Test.LeanCheck.Function.Show.EightLines ( src/Test/LeanCheck/Function/Show/EightLines.hs, nothing )
[23 of 24] Compiling Test.LeanCheck.Function.Show ( src/Test/LeanCheck/Function/Show.hs, nothing )
[24 of 24] Compiling Test.LeanCheck.Function ( src/Test/LeanCheck/Function.hs, nothing )
Haddock coverage:
100% ( 41 / 41) in 'Test.LeanCheck.Core'
100% ( 11 / 11) in 'Test.LeanCheck.Basic'
100% ( 6 / 6) in 'Test.LeanCheck.Derive'
100% ( 3 / 3) in 'Test.LeanCheck.Generic'
100% ( 5 / 5) in 'Test.LeanCheck.IO'
100% ( 11 / 11) in 'Test.LeanCheck.Stats'
100% ( 45 / 45) in 'Test.LeanCheck.Tiers'
100% ( 79 / 79) in 'Test.LeanCheck'
100% ( 3 / 3) in 'Test.LeanCheck.Function.ListsOfPairs'
100% ( 1 / 1) in 'Test.LeanCheck.Function.Listable.ListsOfPairs'
100% ( 1 / 1) in 'Test.LeanCheck.Function.Listable'
100% ( 74 / 74) in 'Test.LeanCheck.Error'
Warning: 'unsafePerformIO' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 6 / 6) in 'Test.LeanCheck.Function.List'
100% ( 1 / 1) in 'Test.LeanCheck.Function.Eq'
100% ( 1 / 1) in 'Test.LeanCheck.Function.Ord'
100% ( 66 / 66) in 'Test.LeanCheck.Utils.Operators'
Warning: 'Alpha' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:971:19
* at src/Test/LeanCheck/Utils/Types.hs:971:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:971:1
Warning: 'Letter' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:997:22
* at src/Test/LeanCheck/Utils/Types.hs:997:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:997:1
Warning: 'X' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:859:17
* at src/Test/LeanCheck/Utils/Types.hs:859:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:859:1
Warning: 'Word4' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:161:19
* at src/Test/LeanCheck/Utils/Types.hs:161:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:161:1
Warning: 'Word3' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:157:19
* at src/Test/LeanCheck/Utils/Types.hs:157:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:157:1
Warning: 'Word2' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:154:19
* at src/Test/LeanCheck/Utils/Types.hs:154:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:154:1
Warning: 'Word1' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:151:19
* at src/Test/LeanCheck/Utils/Types.hs:151:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:151:1
Warning: 'F' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:272:15
* at src/Test/LeanCheck/Utils/Types.hs:272:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:272:1
Warning: 'A' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:219:15
* at src/Test/LeanCheck/Utils/Types.hs:219:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:219:1
Warning: 'B' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:235:15
* at src/Test/LeanCheck/Utils/Types.hs:235:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:235:1
Warning: 'C' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:251:15
* at src/Test/LeanCheck/Utils/Types.hs:251:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:251:1
Warning: 'D' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:258:15
* at src/Test/LeanCheck/Utils/Types.hs:258:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:258:1
Warning: 'E' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:265:15
* at src/Test/LeanCheck/Utils/Types.hs:265:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:265:1
Warning: 'Nat6' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:197:18
* at src/Test/LeanCheck/Utils/Types.hs:197:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:197:1
Warning: 'sort' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 56 / 56) in 'Test.LeanCheck.Utils.Types'
Warning: 'Natural' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:170:21
* at src/Test/LeanCheck/Utils/Types.hs:170:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:170:1
Warning: 'Nat' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:179:17
* at src/Test/LeanCheck/Utils/Types.hs:179:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:179:1
Warning: 'Int1' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:138:18
* at src/Test/LeanCheck/Utils/Types.hs:138:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:138:1
Warning: 'Int2' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:141:18
* at src/Test/LeanCheck/Utils/Types.hs:141:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:141:1
Warning: 'Int3' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:144:18
* at src/Test/LeanCheck/Utils/Types.hs:144:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:144:1
Warning: 'Int4' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:148:18
* at src/Test/LeanCheck/Utils/Types.hs:148:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:148:1
Warning: 'Word1' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:151:19
* at src/Test/LeanCheck/Utils/Types.hs:151:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:151:1
Warning: 'Word2' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:154:19
* at src/Test/LeanCheck/Utils/Types.hs:154:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:154:1
Warning: 'Word3' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:157:19
* at src/Test/LeanCheck/Utils/Types.hs:157:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:157:1
Warning: 'Word4' is ambiguous. It is defined
* at src/Test/LeanCheck/Utils/Types.hs:161:19
* at src/Test/LeanCheck/Utils/Types.hs:161:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/LeanCheck/Utils/Types.hs:161:1
100% ( 59 / 59) in 'Test.LeanCheck.Utils.TypeBinding'
100% ( 5 / 5) in 'Test.LeanCheck.Utils'
100% ( 16 / 16) in 'Test.LeanCheck.Function.ShowFunction'
Warning: '->' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 1 / 1) in 'Test.LeanCheck.Function.Show.FourCases'
Warning: '->' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 1 / 1) in 'Test.LeanCheck.Function.Show.EightLines'
Warning: '->' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 1 / 1) in 'Test.LeanCheck.Function.Show'
100% ( 1 / 1) in 'Test.LeanCheck.Function'
Warning: Test.LeanCheck.Generic: could not find link destinations for:
- Test.LeanCheck.Generic.Listable'
Documentation created: dist/doc/html/leancheck/,
dist/doc/html/leancheck/leancheck.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/leancheck-1.0.2-Dc0g8W2mK63I8026HwJPU5
Completed leancheck-1.0.2
Downloading speculate-0.4.20
Downloaded speculate-0.4.20
Configuring speculate-0.4.20...
Preprocessing library for speculate-0.4.20..
Building library for speculate-0.4.20..
[ 1 of 31] Compiling Test.Speculate.Utils.Class ( src/Test/Speculate/Utils/Class.hs, dist/build/Test/Speculate/Utils/Class.o, dist/build/Test/Speculate/Utils/Class.dyn_o )
[ 2 of 31] Compiling Test.Speculate.Utils.Colour ( src/Test/Speculate/Utils/Colour.hs, dist/build/Test/Speculate/Utils/Colour.o, dist/build/Test/Speculate/Utils/Colour.dyn_o )
[ 3 of 31] Compiling Test.Speculate.Utils.List ( src/Test/Speculate/Utils/List.hs, dist/build/Test/Speculate/Utils/List.o, dist/build/Test/Speculate/Utils/List.dyn_o )
[ 4 of 31] Compiling Test.Speculate.Utils.Memoize ( src/Test/Speculate/Utils/Memoize.hs, dist/build/Test/Speculate/Utils/Memoize.o, dist/build/Test/Speculate/Utils/Memoize.dyn_o )
[ 5 of 31] Compiling Test.Speculate.Utils.Ord ( src/Test/Speculate/Utils/Ord.hs, dist/build/Test/Speculate/Utils/Ord.o, dist/build/Test/Speculate/Utils/Ord.dyn_o )
[ 6 of 31] Compiling Test.Speculate.Utils.PrettyPrint ( src/Test/Speculate/Utils/PrettyPrint.hs, dist/build/Test/Speculate/Utils/PrettyPrint.o, dist/build/Test/Speculate/Utils/PrettyPrint.dyn_o )
src/Test/Speculate/Utils/PrettyPrint.hs:35:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | above cs ds = if last cs == '\n' || head ds == '\n'
| ^^^^
[ 7 of 31] Compiling Test.Speculate.Utils.String ( src/Test/Speculate/Utils/String.hs, dist/build/Test/Speculate/Utils/String.o, dist/build/Test/Speculate/Utils/String.dyn_o )
[ 8 of 31] Compiling Test.Speculate.Utils.Misc ( src/Test/Speculate/Utils/Misc.hs, dist/build/Test/Speculate/Utils/Misc.o, dist/build/Test/Speculate/Utils/Misc.dyn_o )
[ 9 of 31] Compiling Test.Speculate.Utils.Tiers ( src/Test/Speculate/Utils/Tiers.hs, dist/build/Test/Speculate/Utils/Tiers.o, dist/build/Test/Speculate/Utils/Tiers.dyn_o )
[10 of 31] Compiling Test.Speculate.Utils.Timeout ( src/Test/Speculate/Utils/Timeout.hs, dist/build/Test/Speculate/Utils/Timeout.o, dist/build/Test/Speculate/Utils/Timeout.dyn_o )
[11 of 31] Compiling Test.Speculate.Utils.Tuple ( src/Test/Speculate/Utils/Tuple.hs, dist/build/Test/Speculate/Utils/Tuple.o, dist/build/Test/Speculate/Utils/Tuple.dyn_o )
[12 of 31] Compiling Test.Speculate.Utils ( src/Test/Speculate/Utils.hs, dist/build/Test/Speculate/Utils.o, dist/build/Test/Speculate/Utils.dyn_o )
[13 of 31] Compiling Test.Speculate.Utils.Digraph ( src/Test/Speculate/Utils/Digraph.hs, dist/build/Test/Speculate/Utils/Digraph.o, dist/build/Test/Speculate/Utils/Digraph.dyn_o )
[14 of 31] Compiling Test.Speculate.Expr.Core ( src/Test/Speculate/Expr/Core.hs, dist/build/Test/Speculate/Expr/Core.o, dist/build/Test/Speculate/Expr/Core.dyn_o )
[15 of 31] Compiling Test.Speculate.Expr.Instance ( src/Test/Speculate/Expr/Instance.hs, dist/build/Test/Speculate/Expr/Instance.o, dist/build/Test/Speculate/Expr/Instance.dyn_o )
src/Test/Speculate/Expr/Instance.hs:72:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
72 | ++ ", offending type: " ++ show (typeOf . head $ head xss)
| ^^^^
src/Test/Speculate/Expr/Instance.hs:72:57: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
72 | ++ ", offending type: " ++ show (typeOf . head $ head xss)
| ^^^^
src/Test/Speculate/Expr/Instance.hs:95:23: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
95 | , typ (head . concat $ tiers) == t]
| ^^^^
[16 of 31] Compiling Test.Speculate.Expr.Equate ( src/Test/Speculate/Expr/Equate.hs, dist/build/Test/Speculate/Expr/Equate.o, dist/build/Test/Speculate/Expr/Equate.dyn_o )
[17 of 31] Compiling Test.Speculate.Expr.Ground ( src/Test/Speculate/Expr/Ground.hs, dist/build/Test/Speculate/Expr/Ground.o, dist/build/Test/Speculate/Expr/Ground.dyn_o )
[18 of 31] Compiling Test.Speculate.Expr ( src/Test/Speculate/Expr.hs, dist/build/Test/Speculate/Expr.o, dist/build/Test/Speculate/Expr.dyn_o )
[19 of 31] Compiling Test.Speculate.Sanity ( src/Test/Speculate/Sanity.hs, dist/build/Test/Speculate/Sanity.o, dist/build/Test/Speculate/Sanity.dyn_o )
[20 of 31] Compiling Test.Speculate.Reason.Order ( src/Test/Speculate/Reason/Order.hs, dist/build/Test/Speculate/Reason/Order.o, dist/build/Test/Speculate/Reason/Order.dyn_o )
[21 of 31] Compiling Test.Speculate.Reason ( src/Test/Speculate/Reason.hs, dist/build/Test/Speculate/Reason.o, dist/build/Test/Speculate/Reason.dyn_o )
[22 of 31] Compiling Test.Speculate.SemiReason ( src/Test/Speculate/SemiReason.hs, dist/build/Test/Speculate/SemiReason.o, dist/build/Test/Speculate/SemiReason.dyn_o )
[23 of 31] Compiling Test.Speculate.CondReason ( src/Test/Speculate/CondReason.hs, dist/build/Test/Speculate/CondReason.o, dist/build/Test/Speculate/CondReason.dyn_o )
[24 of 31] Compiling Test.Speculate.Pretty ( src/Test/Speculate/Pretty.hs, dist/build/Test/Speculate/Pretty.o, dist/build/Test/Speculate/Pretty.dyn_o )
[25 of 31] Compiling Test.Speculate.Engine ( src/Test/Speculate/Engine.hs, dist/build/Test/Speculate/Engine.o, dist/build/Test/Speculate/Engine.dyn_o )
src/Test/Speculate/Engine.hs:86:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
86 | `concatMap` expansionsOfType (head es) (map nam es) e
| ^^^^
[26 of 31] Compiling Test.Speculate.Args ( src/Test/Speculate/Args.hs, dist/build/Test/Speculate/Args.o, dist/build/Test/Speculate/Args.dyn_o )
[27 of 31] Compiling Test.Speculate.Report ( src/Test/Speculate/Report.hs, dist/build/Test/Speculate/Report.o, dist/build/Test/Speculate/Report.dyn_o )
src/Test/Speculate/Report.hs:39:62: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | when (showConstants args) . putStrLn . unlines $ map show (head dss)
| ^^^^
[28 of 31] Compiling Test.Speculate ( src/Test/Speculate.hs, dist/build/Test/Speculate.o, dist/build/Test/Speculate.dyn_o )
[29 of 31] Compiling Test.Speculate.Function.A1000 ( src/Test/Speculate/Function/A1000.hs, dist/build/Test/Speculate/Function/A1000.o, dist/build/Test/Speculate/Function/A1000.dyn_o )
[30 of 31] Compiling Test.Speculate.Function.A100 ( src/Test/Speculate/Function/A100.hs, dist/build/Test/Speculate/Function/A100.o, dist/build/Test/Speculate/Function/A100.dyn_o )
[31 of 31] Compiling Test.Speculate.Function.A10 ( src/Test/Speculate/Function/A10.hs, dist/build/Test/Speculate/Function/A10.o, dist/build/Test/Speculate/Function/A10.dyn_o )
Preprocessing library for speculate-0.4.20..
Running Haddock on library for speculate-0.4.20..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 31] Compiling Test.Speculate.Utils.Class ( src/Test/Speculate/Utils/Class.hs, nothing )
[ 2 of 31] Compiling Test.Speculate.Utils.Colour ( src/Test/Speculate/Utils/Colour.hs, nothing )
[ 3 of 31] Compiling Test.Speculate.Utils.List ( src/Test/Speculate/Utils/List.hs, nothing )
[ 4 of 31] Compiling Test.Speculate.Utils.Memoize ( src/Test/Speculate/Utils/Memoize.hs, nothing )
[ 5 of 31] Compiling Test.Speculate.Utils.Ord ( src/Test/Speculate/Utils/Ord.hs, nothing )
[ 6 of 31] Compiling Test.Speculate.Utils.PrettyPrint ( src/Test/Speculate/Utils/PrettyPrint.hs, nothing )
src/Test/Speculate/Utils/PrettyPrint.hs:35:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | above cs ds = if last cs == '\n' || head ds == '\n'
| ^^^^
[ 7 of 31] Compiling Test.Speculate.Utils.String ( src/Test/Speculate/Utils/String.hs, nothing )
[ 8 of 31] Compiling Test.Speculate.Utils.Misc ( src/Test/Speculate/Utils/Misc.hs, nothing )
[ 9 of 31] Compiling Test.Speculate.Utils.Tiers ( src/Test/Speculate/Utils/Tiers.hs, nothing )
[10 of 31] Compiling Test.Speculate.Utils.Timeout ( src/Test/Speculate/Utils/Timeout.hs, nothing )
[11 of 31] Compiling Test.Speculate.Utils.Tuple ( src/Test/Speculate/Utils/Tuple.hs, nothing )
[12 of 31] Compiling Test.Speculate.Utils ( src/Test/Speculate/Utils.hs, nothing )
[13 of 31] Compiling Test.Speculate.Utils.Digraph ( src/Test/Speculate/Utils/Digraph.hs, nothing )
[14 of 31] Compiling Test.Speculate.Expr.Core ( src/Test/Speculate/Expr/Core.hs, nothing )
[15 of 31] Compiling Test.Speculate.Expr.Instance ( src/Test/Speculate/Expr/Instance.hs, nothing )
src/Test/Speculate/Expr/Instance.hs:72:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
72 | ++ ", offending type: " ++ show (typeOf . head $ head xss)
| ^^^^
src/Test/Speculate/Expr/Instance.hs:72:57: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
72 | ++ ", offending type: " ++ show (typeOf . head $ head xss)
| ^^^^
src/Test/Speculate/Expr/Instance.hs:95:23: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
95 | , typ (head . concat $ tiers) == t]
| ^^^^
[16 of 31] Compiling Test.Speculate.Expr.Equate ( src/Test/Speculate/Expr/Equate.hs, nothing )
[17 of 31] Compiling Test.Speculate.Expr.Ground ( src/Test/Speculate/Expr/Ground.hs, nothing )
[18 of 31] Compiling Test.Speculate.Expr ( src/Test/Speculate/Expr.hs, nothing )
[19 of 31] Compiling Test.Speculate.Sanity ( src/Test/Speculate/Sanity.hs, nothing )
[20 of 31] Compiling Test.Speculate.Reason.Order ( src/Test/Speculate/Reason/Order.hs, nothing )
[21 of 31] Compiling Test.Speculate.Reason ( src/Test/Speculate/Reason.hs, nothing )
[22 of 31] Compiling Test.Speculate.SemiReason ( src/Test/Speculate/SemiReason.hs, nothing )
[23 of 31] Compiling Test.Speculate.CondReason ( src/Test/Speculate/CondReason.hs, nothing )
[24 of 31] Compiling Test.Speculate.Pretty ( src/Test/Speculate/Pretty.hs, nothing )
[25 of 31] Compiling Test.Speculate.Engine ( src/Test/Speculate/Engine.hs, nothing )
src/Test/Speculate/Engine.hs:86:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
86 | `concatMap` expansionsOfType (head es) (map nam es) e
| ^^^^
[26 of 31] Compiling Test.Speculate.Args ( src/Test/Speculate/Args.hs, nothing )
[27 of 31] Compiling Test.Speculate.Report ( src/Test/Speculate/Report.hs, nothing )
src/Test/Speculate/Report.hs:39:62: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | when (showConstants args) . putStrLn . unlines $ map show (head dss)
| ^^^^
[28 of 31] Compiling Test.Speculate ( src/Test/Speculate.hs, nothing )
[29 of 31] Compiling Test.Speculate.Function.A1000 ( src/Test/Speculate/Function/A1000.hs, nothing )
[30 of 31] Compiling Test.Speculate.Function.A100 ( src/Test/Speculate/Function/A100.hs, nothing )
[31 of 31] Compiling Test.Speculate.Function.A10 ( src/Test/Speculate/Function/A10.hs, nothing )
Haddock coverage:
42% ( 69 /164) in 'Test.Speculate.Utils'
Missing documentation for:
undefined1 (src/Test/Speculate/Utils/Misc.hs:19)
undefined2 (src/Test/Speculate/Utils/Misc.hs:22)
thn (src/Test/Speculate/Utils/Misc.hs:25)
reportCountsBy (src/Test/Speculate/Utils/Misc.hs:31)
maybesToMaybe (src/Test/Speculate/Utils/Misc.hs:40)
maybe2 (src/Test/Speculate/Utils/Misc.hs:43)
iterateUntil (src/Test/Speculate/Utils/Misc.hs:47)
iterateUntilLimit (src/Test/Speculate/Utils/Misc.hs:53)
showRatio (src/Test/Speculate/Utils/Misc.hs:60)
percent (src/Test/Speculate/Utils/Misc.hs:63)
putLines (src/Test/Speculate/Utils/Misc.hs:66)
.: (src/Test/Speculate/Utils/Misc.hs:70)
..: (src/Test/Speculate/Utils/Misc.hs:73)
spaces (src/Test/Speculate/Utils/PrettyPrint.hs:113)
*** (src/Test/Speculate/Utils/Tuple.hs:102)
fst3 (src/Test/Speculate/Utils/Tuple.hs:24)
fst4 (src/Test/Speculate/Utils/Tuple.hs:33)
snd3 (src/Test/Speculate/Utils/Tuple.hs:27)
snd4 (src/Test/Speculate/Utils/Tuple.hs:36)
trd3 (src/Test/Speculate/Utils/Tuple.hs:30)
trd4 (src/Test/Speculate/Utils/Tuple.hs:39)
fth4 (src/Test/Speculate/Utils/Tuple.hs:42)
curry3 (src/Test/Speculate/Utils/Tuple.hs:45)
curry4 (src/Test/Speculate/Utils/Tuple.hs:48)
uncurry3 (src/Test/Speculate/Utils/Tuple.hs:51)
uncurry4 (src/Test/Speculate/Utils/Tuple.hs:54)
uncurry5 (src/Test/Speculate/Utils/Tuple.hs:57)
uncurry6 (src/Test/Speculate/Utils/Tuple.hs:60)
uncurry7 (src/Test/Speculate/Utils/Tuple.hs:63)
uncurry8 (src/Test/Speculate/Utils/Tuple.hs:66)
uncurry9 (src/Test/Speculate/Utils/Tuple.hs:69)
uncurry10 (src/Test/Speculate/Utils/Tuple.hs:72)
uncurry11 (src/Test/Speculate/Utils/Tuple.hs:76)
uncurry12 (src/Test/Speculate/Utils/Tuple.hs:80)
both (src/Test/Speculate/Utils/Tuple.hs:99)
catPairs (src/Test/Speculate/Utils/Tuple.hs:105)
indent (src/Test/Speculate/Utils/String.hs:32)
alignRight (src/Test/Speculate/Utils/String.hs:26)
alignLeft (src/Test/Speculate/Utils/String.hs:29)
splitAtCommas (src/Test/Speculate/Utils/String.hs:35)
! (src/Test/Speculate/Utils/List.hs:214)
accum (src/Test/Speculate/Utils/List.hs:196)
count (src/Test/Speculate/Utils/List.hs:48)
ordered (src/Test/Speculate/Utils/List.hs:102)
nubMergeBy (src/Test/Speculate/Utils/List.hs:58)
nubMerge (src/Test/Speculate/Utils/List.hs:68)
classifyBy (src/Test/Speculate/Utils/List.hs:140)
classifyOn (src/Test/Speculate/Utils/List.hs:137)
discard (src/Test/Speculate/Utils/List.hs:157)
classifySndByFst (src/Test/Speculate/Utils/List.hs:154)
pairsThat (src/Test/Speculate/Utils/List.hs:45)
firsts (src/Test/Speculate/Utils/List.hs:51)
nubMergeOn (src/Test/Speculate/Utils/List.hs:65)
nubMerges (src/Test/Speculate/Utils/List.hs:81)
nubMergesBy (src/Test/Speculate/Utils/List.hs:84)
nubMergeMap (src/Test/Speculate/Utils/List.hs:92)
ordIntersect (src/Test/Speculate/Utils/List.hs:78)
ordIntersectBy (src/Test/Speculate/Utils/List.hs:71)
orderedBy (src/Test/Speculate/Utils/List.hs:95)
orderedOn (src/Test/Speculate/Utils/List.hs:99)
strictlyOrdered (src/Test/Speculate/Utils/List.hs:108)
strictlyOrderedOn (src/Test/Speculate/Utils/List.hs:105)
areAll (src/Test/Speculate/Utils/List.hs:111)
areAny (src/Test/Speculate/Utils/List.hs:114)
allLater (src/Test/Speculate/Utils/List.hs:117)
groupOn (src/Test/Speculate/Utils/List.hs:129)
classifyWith (src/Test/Speculate/Utils/List.hs:147)
discardLater (src/Test/Speculate/Utils/List.hs:160)
discardEarlier (src/Test/Speculate/Utils/List.hs:164)
discardOthers (src/Test/Speculate/Utils/List.hs:167)
discardByOthers (src/Test/Speculate/Utils/List.hs:173)
allUnique (src/Test/Speculate/Utils/List.hs:180)
chain (src/Test/Speculate/Utils/List.hs:183)
zipWithReverse (src/Test/Speculate/Utils/List.hs:186)
medianate (src/Test/Speculate/Utils/List.hs:190)
takeGreaterHalf (src/Test/Speculate/Utils/List.hs:193)
partitionByMarkers (src/Test/Speculate/Utils/List.hs:203)
halve (src/Test/Speculate/Utils/List.hs:55)
productsList (src/Test/Speculate/Utils/Tiers.hs:23)
mapTMaybe (src/Test/Speculate/Utils/Tiers.hs:26)
uptoT (src/Test/Speculate/Utils/Tiers.hs:29)
filterTS (src/Test/Speculate/Utils/Tiers.hs:33)
discardTS (src/Test/Speculate/Utils/Tiers.hs:39)
fromTimeout (src/Test/Speculate/Utils/Timeout.hs:35)
timeoutToFalse (src/Test/Speculate/Utils/Timeout.hs:38)
timeoutToTrue (src/Test/Speculate/Utils/Timeout.hs:41)
timeoutToError (src/Test/Speculate/Utils/Timeout.hs:44)
Ordering
compareIndex (src/Test/Speculate/Utils/Ord.hs:20)
memory (src/Test/Speculate/Utils/Memoize.hs:42)
memory2 (src/Test/Speculate/Utils/Memoize.hs:45)
memoryFor (src/Test/Speculate/Utils/Memoize.hs:48)
memory2For (src/Test/Speculate/Utils/Memoize.hs:52)
withMemory (src/Test/Speculate/Utils/Memoize.hs:36)
withMemory2 (src/Test/Speculate/Utils/Memoize.hs:39)
Warning: 'lexicompareBy' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
50% ( 10 / 20) in 'Test.Speculate.Expr.Core'
Missing documentation for:
isConstantNamed (src/Test/Speculate/Expr/Core.hs:87)
unrepeatedVars (src/Test/Speculate/Expr/Core.hs:79)
isAssignment (src/Test/Speculate/Expr/Core.hs:83)
Binds (src/Test/Speculate/Expr/Core.hs:90)
unify (src/Test/Speculate/Expr/Core.hs:93)
unification (src/Test/Speculate/Expr/Core.hs:96)
unificationC (src/Test/Speculate/Expr/Core.hs:146)
isCanonInstanceOf (src/Test/Speculate/Expr/Core.hs:134)
hasCanonInstanceOf (src/Test/Speculate/Expr/Core.hs:140)
commutations (src/Test/Speculate/Expr/Core.hs:151)
36% ( 7 / 19) in 'Test.Speculate.Expr.Instance'
Missing documentation for:
Instances (src/Test/Speculate/Expr/Instance.hs:41)
reifyInstances (src/Test/Speculate/Expr/Instance.hs:47)
reifyInstances1 (src/Test/Speculate/Expr/Instance.hs:44)
reifyListable (src/Test/Speculate/Expr/Instance.hs:63)
mkListable (src/Test/Speculate/Expr/Instance.hs:66)
isListable (src/Test/Speculate/Expr/Instance.hs:77)
isListableT (src/Test/Speculate/Expr/Instance.hs:80)
lookupTiers (src/Test/Speculate/Expr/Instance.hs:83)
lookupTiersT (src/Test/Speculate/Expr/Instance.hs:86)
holeOfTy (src/Test/Speculate/Expr/Instance.hs:99)
maybeHoleOfTy (src/Test/Speculate/Expr/Instance.hs:104)
preludeInstances (src/Test/Speculate/Expr/Instance.hs:110)
16% ( 1 / 6) in 'Test.Speculate.Expr.Equate'
Missing documentation for:
unEquation (src/Test/Speculate/Expr/Equate.hs:30)
isEquation (src/Test/Speculate/Expr/Equate.hs:34)
unComparison (src/Test/Speculate/Expr/Equate.hs:38)
mkConditionalEquation (src/Test/Speculate/Expr/Equate.hs:46)
unConditionalEquation (src/Test/Speculate/Expr/Equate.hs:49)
100% ( 14 / 14) in 'Test.Speculate.Expr.Ground'
100% ( 5 / 5) in 'Test.Speculate.Expr'
20% ( 1 / 5) in 'Test.Speculate.Sanity'
Missing documentation for:
instanceErrors (src/Test/Speculate/Sanity.hs:81)
eqOrdErrors (src/Test/Speculate/Sanity.hs:61)
eqErrors (src/Test/Speculate/Sanity.hs:33)
ordErrors (src/Test/Speculate/Sanity.hs:47)
81% ( 9 / 11) in 'Test.Speculate.Reason.Order'
Missing documentation for:
|> (src/Test/Speculate/Reason/Order.hs:130)
kboBy (src/Test/Speculate/Reason/Order.hs:54)
Warning: 'Thy' is ambiguous. It is defined
* at src/Test/Speculate/Reason.hs:77:12
* at src/Test/Speculate/Reason.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/Speculate/Reason.hs:77:1
13% ( 6 / 45) in 'Test.Speculate.Reason'
Missing documentation for:
Thy (src/Test/Speculate/Reason.hs:77)
emptyThy (src/Test/Speculate/Reason.hs:137)
normalize (src/Test/Speculate/Reason.hs:159)
normalizeE (src/Test/Speculate/Reason.hs:167)
isNormal (src/Test/Speculate/Reason.hs:175)
isRootNormal (src/Test/Speculate/Reason.hs:178)
isRootNormalE (src/Test/Speculate/Reason.hs:181)
complete (src/Test/Speculate/Reason.hs:291)
equivalent (src/Test/Speculate/Reason.hs:249)
equivalentInstance (src/Test/Speculate/Reason.hs:259)
insert (src/Test/Speculate/Reason.hs:276)
keepUpToLength (src/Test/Speculate/Reason.hs:153)
keepMaxOf (src/Test/Speculate/Reason.hs:156)
|==| (src/Test/Speculate/Reason.hs:128)
theorize (src/Test/Speculate/Reason.hs:462)
theorizeBy (src/Test/Speculate/Reason.hs:465)
finalEquations (src/Test/Speculate/Reason.hs:426)
criticalPairs (src/Test/Speculate/Reason.hs:222)
normalizedCriticalPairs (src/Test/Speculate/Reason.hs:214)
append (src/Test/Speculate/Reason.hs:281)
okThy (src/Test/Speculate/Reason.hs:93)
canonicalEqn (src/Test/Speculate/Reason.hs:383)
canonicalRule (src/Test/Speculate/Reason.hs:397)
canonicalizeEqn (src/Test/Speculate/Reason.hs:380)
deduce (src/Test/Speculate/Reason.hs:320)
simplify (src/Test/Speculate/Reason.hs:345)
delete (src/Test/Speculate/Reason.hs:332)
orient (src/Test/Speculate/Reason.hs:323)
compose (src/Test/Speculate/Reason.hs:350)
collapse (src/Test/Speculate/Reason.hs:355)
updateRulesBy (src/Test/Speculate/Reason.hs:108)
updateEquationsBy (src/Test/Speculate/Reason.hs:111)
discardRedundantEquations (src/Test/Speculate/Reason.hs:485)
initialize (src/Test/Speculate/Reason.hs:471)
defaultKeep (src/Test/Speculate/Reason.hs:481)
commutativeOperators (src/Test/Speculate/Reason.hs:510)
reductions1 (src/Test/Speculate/Reason.hs:192)
groundJoinable (src/Test/Speculate/Reason.hs:204)
|> (src/Test/Speculate/Reason/Order.hs:130)
11% ( 2 / 17) in 'Test.Speculate.SemiReason'
Missing documentation for:
Equation (src/Test/Speculate/SemiReason.hs:18)
Shy (src/Test/Speculate/SemiReason.hs:21)
emptyShy (src/Test/Speculate/SemiReason.hs:28)
updateSemiEquationsBy (src/Test/Speculate/SemiReason.hs:34)
mapSemiEquations (src/Test/Speculate/SemiReason.hs:37)
scompareE (src/Test/Speculate/SemiReason.hs:40)
lesser (src/Test/Speculate/SemiReason.hs:43)
greater (src/Test/Speculate/SemiReason.hs:46)
transConsequence (src/Test/Speculate/SemiReason.hs:72)
updateSEquationsBy (src/Test/Speculate/SemiReason.hs:80)
stheorize (src/Test/Speculate/SemiReason.hs:83)
sides (src/Test/Speculate/SemiReason.hs:90)
finalSemiEquations (src/Test/Speculate/SemiReason.hs:95)
canonicalizeShyWith (src/Test/Speculate/SemiReason.hs:105)
canonicalizeSemiEquationWith (src/Test/Speculate/SemiReason.hs:108)
4% ( 1 / 23) in 'Test.Speculate.CondReason'
Missing documentation for:
Chy (src/Test/Speculate/CondReason.hs:24)
emptyChy (src/Test/Speculate/CondReason.hs:32)
updateCEquationsBy (src/Test/Speculate/CondReason.hs:40)
listImplied (src/Test/Speculate/CondReason.hs:43)
listImplies (src/Test/Speculate/CondReason.hs:46)
listEquivalent (src/Test/Speculate/CondReason.hs:49)
reduceRootWith (src/Test/Speculate/CondReason.hs:52)
reductions1With (src/Test/Speculate/CondReason.hs:55)
creductions1 (src/Test/Speculate/CondReason.hs:62)
cnormalize (src/Test/Speculate/CondReason.hs:69)
cequivalent (src/Test/Speculate/CondReason.hs:83)
cIsInstanceOf (src/Test/Speculate/CondReason.hs:87)
cinsert (src/Test/Speculate/CondReason.hs:94)
cfilter (src/Test/Speculate/CondReason.hs:99)
cdiscard (src/Test/Speculate/CondReason.hs:102)
cdelete (src/Test/Speculate/CondReason.hs:105)
cfinalize (src/Test/Speculate/CondReason.hs:111)
canonicalizeCEqn (src/Test/Speculate/CondReason.hs:124)
canonicalizeCEqnWith (src/Test/Speculate/CondReason.hs:127)
canonicalCEqnBy (src/Test/Speculate/CondReason.hs:137)
canonicalCEqn (src/Test/Speculate/CondReason.hs:140)
finalCondEquations (src/Test/Speculate/CondReason.hs:143)
14% ( 1 / 7) in 'Test.Speculate.Pretty'
Missing documentation for:
prettyThy (src/Test/Speculate/Pretty.hs:27)
prettyEquations (src/Test/Speculate/Pretty.hs:37)
prettyShy (src/Test/Speculate/Pretty.hs:33)
prettySemiEquations (src/Test/Speculate/Pretty.hs:47)
prettyChy (src/Test/Speculate/Pretty.hs:30)
prettyCondEquations (src/Test/Speculate/Pretty.hs:54)
33% ( 7 / 21) in 'Test.Speculate.Engine'
Missing documentation for:
expansionsWith (src/Test/Speculate/Engine.hs:79)
theoryAndRepresentativesFromAtoms (src/Test/Speculate/Engine.hs:135)
representativesFromAtoms (src/Test/Speculate/Engine.hs:132)
representativesFromAtomsKeeping (src/Test/Speculate/Engine.hs:141)
theoryFromAtomsKeeping (src/Test/Speculate/Engine.hs:138)
equivalencesBetween (src/Test/Speculate/Engine.hs:239)
consider (src/Test/Speculate/Engine.hs:172)
distinctFromSchemas (src/Test/Speculate/Engine.hs:193)
classesFromSchemas (src/Test/Speculate/Engine.hs:204)
classesFromSchemasAndVariables (src/Test/Speculate/Engine.hs:225)
semiTheoryFromThyAndReps (src/Test/Speculate/Engine.hs:249)
conditionalTheoryFromThyAndReps (src/Test/Speculate/Engine.hs:260)
conditionalEquivalences (src/Test/Speculate/Engine.hs:276)
psortBy (src/Test/Speculate/Engine.hs:316)
Warning: 'speculate' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
29% ( 7 / 24) in 'Test.Speculate.Args'
Missing documentation for:
constant (src/Test/Speculate/Args.hs:230)
showConstant (src/Test/Speculate/Args.hs:233)
getArgs (src/Test/Speculate/Args.hs:303)
computeMaxSemiSize (src/Test/Speculate/Args.hs:139)
computeMaxCondSize (src/Test/Speculate/Args.hs:144)
computeInstances (src/Test/Speculate/Args.hs:149)
types (src/Test/Speculate/Args.hs:202)
atoms (src/Test/Speculate/Args.hs:185)
keepExpr (src/Test/Speculate/Args.hs:176)
timeout (src/Test/Speculate/Args.hs:226)
shouldShowEquation (src/Test/Speculate/Args.hs:156)
shouldShowConditionalEquation (src/Test/Speculate/Args.hs:166)
reallyShowConditions (src/Test/Speculate/Args.hs:181)
foregroundConstants (src/Test/Speculate/Args.hs:205)
backgroundConstants (src/Test/Speculate/Args.hs:206)
about (src/Test/Speculate/Args.hs:223)
prepareArgs (src/Test/Speculate/Args.hs:252)
50% ( 1 / 2) in 'Test.Speculate.Report'
Missing documentation for:
report (src/Test/Speculate/Report.hs:31)
Warning: 'Args' is ambiguous. It is defined
* at src/Test/Speculate/Args.hs:56:13
* at src/Test/Speculate/Args.hs:56:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/Speculate/Args.hs:56:1
75% ( 25 / 33) in 'Test.Speculate'
Missing documentation for:
constant (src/Test/Speculate/Args.hs:230)
showConstant (src/Test/Speculate/Args.hs:233)
Instances (src/Test/Speculate/Expr/Instance.hs:41)
reifyInstances (src/Test/Speculate/Expr/Instance.hs:47)
reifyListable (src/Test/Speculate/Expr/Instance.hs:63)
mkListable (src/Test/Speculate/Expr/Instance.hs:66)
report (src/Test/Speculate/Report.hs:31)
getArgs (src/Test/Speculate/Args.hs:303)
100% ( 1 / 1) in 'Test.Speculate.Function.A1000'
100% ( 1 / 1) in 'Test.Speculate.Function.A100'
100% ( 1 / 1) in 'Test.Speculate.Function.A10'
Warning: Test.Speculate.Utils: could not find link destinations for:
- GHC.Generics.D:R:UReckCharp0
- GHC.Generics.Rep1_Down
- GHC.Generics.Rep1_Solo
- GHC.Generics.Rep_GeneralCategory
- GHC.Generics.Rep_Down
- GHC.Generics.Rep_Solo
- GHC.Generics.Rep_Ordering
- GHC.Generics.Rep_R:UReckCharp
- GHC.Generics.Rep1_R:UReckCharp
- System.Console.CmdArgs.Helper.Packer
- System.Console.CmdArgs.Helper.Pack
- System.Console.CmdArgs.Helper.pack
- System.Console.CmdArgs.Helper.unpack
Warning: Test.Speculate.Reason: could not find link destinations for:
- Test.Speculate.Reason.Equation
- Test.Speculate.Reason.Rule
Warning: Test.Speculate.CondReason: could not find link destinations for:
- Test.Speculate.Utils.Digraph.Digraph
Warning: Test.Speculate.Pretty: could not find link destinations for:
- Test.Speculate.Pretty.CondEquation
- Test.Speculate.Pretty.Equation
Warning: Test.Speculate.Engine: could not find link destinations for:
- Test.Speculate.Utils.Class.Class
Documentation created: dist/doc/html/speculate/,
dist/doc/html/speculate/speculate.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/speculate-0.4.20-EhBrnSDQJWKAEwVofnZQQr
Completed speculate-0.4.20
Downloading code-conjure-0.7.0
Downloaded code-conjure-0.7.0
Configuring code-conjure-0.7.0...
Preprocessing library for code-conjure-0.7.0..
Building library for code-conjure-0.7.0..
[ 1 of 13] Compiling Conjure.Utils ( src/Conjure/Utils.hs, dist/build/Conjure/Utils.o, dist/build/Conjure/Utils.dyn_o )
[ 2 of 13] Compiling Conjure.Expr ( src/Conjure/Expr.hs, dist/build/Conjure/Expr.o, dist/build/Conjure/Expr.dyn_o )
[ 3 of 13] Compiling Conjure.Reason ( src/Conjure/Reason.hs, dist/build/Conjure/Reason.o, dist/build/Conjure/Reason.dyn_o )
[ 4 of 13] Compiling Conjure.Defn ( src/Conjure/Defn.hs, dist/build/Conjure/Defn.o, dist/build/Conjure/Defn.dyn_o )
src/Conjure/Defn.hs:138:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Expr, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
138 | (ef':_) = unfoldApp . fst $ head cx
| ^^^^
[ 5 of 13] Compiling Conjure.Defn.Redundancy ( src/Conjure/Defn/Redundancy.hs, dist/build/Conjure/Defn/Redundancy.o, dist/build/Conjure/Defn/Redundancy.dyn_o )
src/Conjure/Defn/Redundancy.hs:77:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:77:47: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:113:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
113 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:113:47: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
113 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:177:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
177 | newName = head $ variableNamesFromTemplate "x" \\ varnames l
| ^^^^
[ 6 of 13] Compiling Conjure.Conjurable ( src/Conjure/Conjurable.hs, dist/build/Conjure/Conjurable.o, dist/build/Conjure/Conjurable.dyn_o )
src/Conjure/Conjurable.hs:232:26: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
232 | reifyEquality = Just . head . reifyEq
| ^^^^
src/Conjure/Conjurable.hs:418:25: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
418 | conjureNamesFor f e = head
| ^^^^
src/Conjure/Conjurable.hs:497:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
497 | conjureSubTypes xs = conjureType (head xs)
| ^^^^
src/Conjure/Conjurable.hs:502:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
502 | ] where x = head xs
| ^^^^
src/Conjure/Conjurable.hs:505:11: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
505 | x = head xs
| ^^^^
src/Conjure/Conjurable.hs:644:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
644 | (ef':_) = unfoldApp . fst $ head defn
| ^^^^
src/Conjure/Conjurable.hs:708:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
708 | ef = var (head $ words nm) f -- TODO: take the tail into account
| ^^^^
[ 7 of 13] Compiling Conjure.Red ( src/Conjure/Red.hs, dist/build/Conjure/Red.o, dist/build/Conjure/Red.dyn_o )
[ 8 of 13] Compiling Conjure.Ingredient ( src/Conjure/Ingredient.hs, dist/build/Conjure/Ingredient.o, dist/build/Conjure/Ingredient.dyn_o )
[ 9 of 13] Compiling Conjure.Settings ( src/Conjure/Settings.hs, dist/build/Conjure/Settings.o, dist/build/Conjure/Settings.dyn_o )
[10 of 13] Compiling Conjure.Defn.Test ( src/Conjure/Defn/Test.hs, dist/build/Conjure/Defn/Test.o, dist/build/Conjure/Defn/Test.dyn_o )
[11 of 13] Compiling Conjure.Engine ( src/Conjure/Engine.hs, dist/build/Conjure/Engine.o, dist/build/Conjure/Engine.dyn_o )
src/Conjure/Engine.hs:172:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
172 | print (var (head $ words nm) f)
| ^^^^
src/Conjure/Engine.hs:476:33: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
476 | aes = (tail . unfoldApp . rehole) pat
| ^^^^
src/Conjure/Engine.hs:477:33: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
477 | aess = transpose $ map (tail . unfoldApp . rehole) pats
| ^^^^
src/Conjure/Engine.hs:516:23: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
516 | $ recsV' (tail (vars ep))
| ^^^^
src/Conjure/Engine.hs:535:72: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
535 | evrs = [(vs, recsV vs) | vs <- concatMap nubSort $ mapT (nubSort . tail . vars) possiblePats]
| ^^^^
src/Conjure/Engine.hs:582:46: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
582 | toGroundPat f pat = foldApp (value "f" f : tail (unfoldApp pat))
| ^^^^
[12 of 13] Compiling Conjure.Conjurable.Derive ( src/Conjure/Conjurable/Derive.hs, dist/build/Conjure/Conjurable/Derive.o, dist/build/Conjure/Conjurable/Derive.dyn_o )
[13 of 13] Compiling Conjure ( src/Conjure.hs, dist/build/Conjure.o, dist/build/Conjure.dyn_o )
Preprocessing library for code-conjure-0.7.0..
Running Haddock on library for code-conjure-0.7.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 13] Compiling Conjure.Utils ( src/Conjure/Utils.hs, /tmp/ghc1164113_0/ghc_20.o, /tmp/ghc1164113_0/ghc_20.dyn_o )
[ 2 of 13] Compiling Conjure.Expr ( src/Conjure/Expr.hs, /tmp/ghc1164113_0/ghc_18.o, /tmp/ghc1164113_0/ghc_18.dyn_o )
[ 3 of 13] Compiling Conjure.Reason ( src/Conjure/Reason.hs, nothing )
[ 4 of 13] Compiling Conjure.Defn ( src/Conjure/Defn.hs, /tmp/ghc1164113_0/ghc_16.o, /tmp/ghc1164113_0/ghc_16.dyn_o )
src/Conjure/Defn.hs:138:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Expr, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
138 | (ef':_) = unfoldApp . fst $ head cx
| ^^^^
[ 5 of 13] Compiling Conjure.Defn.Redundancy ( src/Conjure/Defn/Redundancy.hs, nothing )
src/Conjure/Defn/Redundancy.hs:77:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:77:47: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:113:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
113 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:113:47: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
113 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:177:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
177 | newName = head $ variableNamesFromTemplate "x" \\ varnames l
| ^^^^
[ 6 of 13] Compiling Conjure.Conjurable ( src/Conjure/Conjurable.hs, /tmp/ghc1164113_0/ghc_14.o, /tmp/ghc1164113_0/ghc_14.dyn_o )
src/Conjure/Conjurable.hs:232:26: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
232 | reifyEquality = Just . head . reifyEq
| ^^^^
src/Conjure/Conjurable.hs:418:25: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
418 | conjureNamesFor f e = head
| ^^^^
src/Conjure/Conjurable.hs:497:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
497 | conjureSubTypes xs = conjureType (head xs)
| ^^^^
src/Conjure/Conjurable.hs:502:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
502 | ] where x = head xs
| ^^^^
src/Conjure/Conjurable.hs:505:11: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
505 | x = head xs
| ^^^^
src/Conjure/Conjurable.hs:644:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
644 | (ef':_) = unfoldApp . fst $ head defn
| ^^^^
src/Conjure/Conjurable.hs:708:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
708 | ef = var (head $ words nm) f -- TODO: take the tail into account
| ^^^^
[ 7 of 13] Compiling Conjure.Red ( src/Conjure/Red.hs, nothing )
[ 8 of 13] Compiling Conjure.Ingredient ( src/Conjure/Ingredient.hs, nothing )
[ 9 of 13] Compiling Conjure.Settings ( src/Conjure/Settings.hs, nothing )
[10 of 13] Compiling Conjure.Defn.Test ( src/Conjure/Defn/Test.hs, nothing )
[11 of 13] Compiling Conjure.Engine ( src/Conjure/Engine.hs, nothing )
src/Conjure/Engine.hs:172:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
172 | print (var (head $ words nm) f)
| ^^^^
src/Conjure/Engine.hs:476:33: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
476 | aes = (tail . unfoldApp . rehole) pat
| ^^^^
src/Conjure/Engine.hs:477:33: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
477 | aess = transpose $ map (tail . unfoldApp . rehole) pats
| ^^^^
src/Conjure/Engine.hs:516:23: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
516 | $ recsV' (tail (vars ep))
| ^^^^
src/Conjure/Engine.hs:535:72: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
535 | evrs = [(vs, recsV vs) | vs <- concatMap nubSort $ mapT (nubSort . tail . vars) possiblePats]
| ^^^^
src/Conjure/Engine.hs:582:46: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
582 | toGroundPat f pat = foldApp (value "f" f : tail (unfoldApp pat))
| ^^^^
[12 of 13] Compiling Conjure.Conjurable.Derive ( src/Conjure/Conjurable/Derive.hs, nothing )
[13 of 13] Compiling Conjure ( src/Conjure.hs, nothing )
Haddock coverage:
88% ( 37 / 42) in 'Conjure.Utils'
Missing documentation for:
allEqualOn (src/Conjure/Utils.hs:74)
none (src/Conjure/Utils.hs:187)
both (src/Conjure/Utils.hs:215)
+++ (src/Conjure/Utils.hs:231)
prods (src/Conjure/Utils.hs:235)
Warning: 'Dynamic' is ambiguous. It is defined
* in Data.Dynamic
* in Data.Dynamic
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Dynamic
98% (331 /335) in 'Conjure.Expr'
Missing documentation for:
isGuardSymbol (src/Conjure/Expr.hs:594)
mapInnerFirstOuterLast (src/Conjure/Expr.hs:639)
updateAppAt (src/Conjure/Expr.hs:532)
listConflicts (src/Conjure/Expr.hs:573)
40% ( 6 / 15) in 'Conjure.Reason'
Missing documentation for:
Thy
rules
equations
closureLimit
normalize
isRootNormalC (src/Conjure/Reason.hs:57)
isRootNormalE (src/Conjure/Reason.hs:62)
isCommutative (src/Conjure/Reason.hs:69)
commutativeOperators (src/Conjure/Reason.hs:72)
Warning: 'Dynamic' is ambiguous. It is defined
* in Data.Dynamic
* in Data.Dynamic
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Dynamic
82% ( 19 / 23) in 'Conjure.Defn'
Missing documentation for:
canonicalizeBndn (src/Conjure/Defn.hs:257)
canonicalizeBndnLast (src/Conjure/Defn.hs:260)
noUnbound (src/Conjure/Defn.hs:280)
isDefined (src/Conjure/Defn.hs:297)
100% ( 10 / 10) in 'Conjure.Defn.Redundancy'
90% ( 38 / 42) in 'Conjure.Conjurable'
Missing documentation for:
conjureGrounds (src/Conjure/Conjurable.hs:402)
conjureDynamicEq (src/Conjure/Conjurable.hs:283)
conjureIsNumeric (src/Conjure/Conjurable.hs:410)
conjureMostGeneralCanonicalVariation (src/Conjure/Conjurable.hs:423)
100% ( 5 / 5) in 'Conjure.Red'
87% ( 14 / 16) in 'Conjure.Ingredient'
Missing documentation for:
prif (src/Conjure/Ingredient.hs:270)
primOrdCaseFor (src/Conjure/Ingredient.hs:274)
63% ( 37 / 58) in 'Conjure.Settings'
Missing documentation for:
maxRecursionsI (src/Conjure/Settings.hs:202)
maxEquationSizeI (src/Conjure/Settings.hs:221)
maxSearchTestsI (src/Conjure/Settings.hs:237)
maxDeconstructionSizeI (src/Conjure/Settings.hs:249)
maxConstantSizeI (src/Conjure/Settings.hs:258)
maxPatternSizeI (src/Conjure/Settings.hs:268)
maxPatternDepthI (src/Conjure/Settings.hs:282)
showCandidatesI (src/Conjure/Settings.hs:324)
showTheoryI (src/Conjure/Settings.hs:299)
singlePatternI (src/Conjure/Settings.hs:309)
showTestsI (src/Conjure/Settings.hs:334)
showPatternsI (src/Conjure/Settings.hs:344)
showDeconstructionsI (src/Conjure/Settings.hs:353)
carryOnI (src/Conjure/Settings.hs:290)
rewriteI (src/Conjure/Settings.hs:362)
requireDescentI (src/Conjure/Settings.hs:371)
assortedPruningI (src/Conjure/Settings.hs:380)
earlyTestsI (src/Conjure/Settings.hs:389)
copyBindingsI (src/Conjure/Settings.hs:398)
atomicNumbersI (src/Conjure/Settings.hs:411)
uniqueCandidatesI (src/Conjure/Settings.hs:424)
60% ( 3 / 5) in 'Conjure.Defn.Test'
Missing documentation for:
equalModuloTesting (src/Conjure/Defn/Test.hs:29)
listDefnErrors (src/Conjure/Defn/Test.hs:61)
100% (333 /333) in 'Conjure.Engine'
100% ( 4 / 4) in 'Conjure.Conjurable.Derive'
100% ( 67 / 67) in 'Conjure'
Warning: Conjure.Utils: could not find link destinations for:
- GHC.Generics.Rep1_Solo
- GHC.Generics.Rep_Solo
Warning: Conjure.Expr: could not find link destinations for:
- Data.Express.Fixtures.Just
Warning: Conjure.Reason: could not find link destinations for:
- Test.Speculate.Reason.Equation
- Test.Speculate.Reason.Rule
Warning: Conjure.Conjurable: could not find link destinations for:
- Conjure.Conjurable.conjureNamesFor
Warning: Conjure.Engine: could not find link destinations for:
- Data.Express.Fixtures.Just
Documentation created: dist/doc/html/code-conjure/,
dist/doc/html/code-conjure/code-conjure.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/code-conjure-0.7.0-8IOlKscep7wBZxNF9hCVVZ
Completed code-conjure-0.7.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- cmdargs-0.10.22 (lib:cmdargs) (requires build)
- express-1.0.18 (lib:express) (requires build)
- leancheck-1.0.2 (lib:leancheck) (requires build)
- speculate-0.4.20 (lib:speculate) (requires build)
- code-conjure-0.7.0 (first run)
Configuring cmdargs-0.10.22...
Preprocessing library for cmdargs-0.10.22..
Building library for cmdargs-0.10.22..
[ 1 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o, dist/build/Data/Generics/Any.dyn_o )
Data/Generics/Any.hs:21:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
21 | where y = init $ tail x
| ^^^^
Data/Generics/Any.hs:102:32: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
102 | put $ tail cs
| ^^^^
Data/Generics/Any.hs:103:45: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
103 | return $ fromAny $ head cs
| ^^^^
[ 2 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o, dist/build/Data/Generics/Any/Prelude.dyn_o )
[ 3 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o, dist/build/System/Console/CmdArgs/Annotate.dyn_o )
System/Console/CmdArgs/Annotate.hs:81:22: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
81 | return $ head $
| ^^^^
System/Console/CmdArgs/Annotate.hs:148:14: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
148 | return $ head xs
| ^^^^
[ 4 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o, dist/build/System/Console/CmdArgs/Default.dyn_o )
[ 5 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.dyn_o )
[ 6 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.dyn_o )
[ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o, dist/build/System/Console/CmdArgs/Explicit/Type.dyn_o )
[ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o, dist/build/System/Console/CmdArgs/Explicit/Process.dyn_o )
System/Console/CmdArgs/Explicit/Process.hs:74:44: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
74 | | null b -> upd s{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:74:72: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
74 | | null b -> upd s{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:75:61: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
75 | | otherwise -> upd s $ flagValue flag $ tail b
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:77:55: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | | otherwise -> upd s $ flagValue flag $ tail b
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:91:46: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | | null xs -> upd s_{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:91:74: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | | null xs -> upd s_{args=tail ys} $ flagValue flag $ head ys
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:92:99: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
92 | | otherwise -> upd s_{args=ys} $ flagValue flag $ if "=" `isPrefixOf` xs then tail xs else xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:94:101: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
94 | | otherwise -> upd s_{args=ys} $ flagValue flag $ if "=" `isPrefixOf` xs then tail xs else xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:95:87: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
95 | FlagOptRare x | "=" `isPrefixOf` xs -> upd s_{args=ys} $ flagValue flag $ tail xs
| ^^^^
System/Console/CmdArgs/Explicit/Process.hs:149:22: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
149 | match op = [(head ys,v) | (xs,v) <- names, let ys = filter (op value) xs, ys /= []]
| ^^^^
[ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o, dist/build/System/Console/CmdArgs/Explicit/Complete.dyn_o )
System/Console/CmdArgs/Explicit/Complete.hs:52:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
52 | now = head $ next ++ [""]
| ^^^^
[10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o, dist/build/System/Console/CmdArgs/Helper.dyn_o )
[11 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o, dist/build/System/Console/CmdArgs/Implicit/Ann.dyn_o )
[12 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o, dist/build/System/Console/CmdArgs/Implicit/UI.dyn_o )
[13 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o, dist/build/System/Console/CmdArgs/Text.dyn_o )
System/Console/CmdArgs/Text.hs:91:32: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
91 | cs = map (\x -> (fst $ head x, map maximum $ transpose $ map snd x)) $
| ^^^^
[14 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o, dist/build/System/Console/CmdArgs/Explicit/Help.dyn_o )
System/Console/CmdArgs/Explicit/Help.hs:83:59: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
83 | helpText pre HelpFormatBash x = map Line $ completeBash $ head $ modeNames x ++ ["unknown"]
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:84:57: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
84 | helpText pre HelpFormatZsh x = map Line $ completeZsh $ head $ modeNames x ++ ["unknown"]
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:154:46: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
154 | add x y = if null x then x else (head x ++ y) : tail x
| ^^^^
System/Console/CmdArgs/Explicit/Help.hs:154:61: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
154 | add x y = if null x then x else (head x ++ y) : tail x
| ^^^^
[15 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o, dist/build/System/Console/CmdArgs/Verbosity.dyn_o )
[16 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o, dist/build/System/Console/CmdArgs/Implicit/Type.dyn_o )
[17 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o, dist/build/System/Console/CmdArgs/Explicit.dyn_o )
System/Console/CmdArgs/Explicit.hs:112:79: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
112 | let var = mplus (lookup ("CMDARGS_HELPER_" ++ show (map toUpper $ head $ modeNames m ++ [nam])) env)
| ^^^^
[18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o, dist/build/System/Console/CmdArgs/Implicit/Reader.dyn_o )
System/Console/CmdArgs/Implicit/Reader.hs:35:16: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | let down = head . children
| ^^^^
System/Console/CmdArgs/Implicit/Reader.hs:82:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
82 | | otherwise = Right $ snd $ head ys
| ^^^^
System/Console/CmdArgs/Implicit/Reader.hs:92:67: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
92 | if n == 1 then fmap (recompose x . return) $ readerRead_ (head $ filter ((==) 1 . readerParts) rs) s
| ^^^^
[19 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o, dist/build/System/Console/CmdArgs/Implicit/Local.dyn_o )
System/Console/CmdArgs/Implicit/Local.hs:120:58: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
120 | where prog = map toLower $ typeShell $ fromCapture $ head xs
| ^^^^
System/Console/CmdArgs/Implicit/Local.hs:220:24: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
220 | flagAnn a x = errFlag (head $ words $ show x) $ show a
| ^^^^
[20 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o, dist/build/System/Console/CmdArgs/Implicit/Reform.dyn_o )
[21 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o, dist/build/System/Console/CmdArgs/Implicit/Global.dyn_o )
System/Console/CmdArgs/Implicit/Global.hs:35:38: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | collapse x | length ms == 1 = (snd $ head ms){modeNames=[progProgram x]}
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:37:27: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
37 | | otherwise = (head $ map zeroMode auto ++ map (emptyMode . snd) ms)
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:143:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
143 | com = map head $ filter ((== length (progModes p)) . length) $ group $ sort
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:193:74: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
193 | mapModes1 f pre m = m{modeGroupModes = fmap (mapModes0 f (pre ++ head (modeNames m) ++ " ")) $ modeGroupModes m}
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:204:68: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
204 | f flg = if concatMap flagNames hlp == flagNames flg then head hlp else flg
| ^^^^
System/Console/CmdArgs/Implicit/Global.hs:218:65: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
218 | toMode xs x = x{modeMode = (modeMode x){modeNames=["["++head xs++"]" | modeDefault x] ++ xs}}
| ^^^^
[22 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o, dist/build/System/Console/CmdArgs/Implicit.dyn_o )
[23 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o, dist/build/System/Console/CmdArgs/Quote.dyn_o )
[24 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o, dist/build/System/Console/CmdArgs.dyn_o )
[25 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o, dist/build/System/Console/CmdArgs/GetOpt.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1164315/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/cmdargs-0.10.22-6798b45ce52ac7dc67cb1bc65eb4d4e28eabeedd0849f82983d3b2429f389f09/lib
Configuring express-1.0.18...
Preprocessing library for express-1.0.18..
Building library for express-1.0.18..
[ 1 of 20] Compiling Data.Express.Utils.List ( src/Data/Express/Utils/List.hs, dist/build/Data/Express/Utils/List.o, dist/build/Data/Express/Utils/List.dyn_o )
[ 2 of 20] Compiling Data.Express.Utils.String ( src/Data/Express/Utils/String.hs, dist/build/Data/Express/Utils/String.o, dist/build/Data/Express/Utils/String.dyn_o )
[ 3 of 20] Compiling Data.Express.Utils ( src/Data/Express/Utils.hs, dist/build/Data/Express/Utils.o, dist/build/Data/Express/Utils.dyn_o )
[ 4 of 20] Compiling Data.Express.Name ( src/Data/Express/Name.hs, dist/build/Data/Express/Name.o, dist/build/Data/Express/Name.dyn_o )
[ 5 of 20] Compiling Data.Express.Utils.TH ( src/Data/Express/Utils/TH.hs, dist/build/Data/Express/Utils/TH.o, dist/build/Data/Express/Utils/TH.dyn_o )
[ 6 of 20] Compiling Data.Express.Name.Derive ( src/Data/Express/Name/Derive.hs, dist/build/Data/Express/Name/Derive.o, dist/build/Data/Express/Name/Derive.dyn_o )
[ 7 of 20] Compiling Data.Express.Utils.Typeable ( src/Data/Express/Utils/Typeable.hs, dist/build/Data/Express/Utils/Typeable.o, dist/build/Data/Express/Utils/Typeable.dyn_o )
[ 8 of 20] Compiling Data.Express.Core ( src/Data/Express/Core.hs, dist/build/Data/Express/Core.o, dist/build/Data/Express/Core.dyn_o )
[ 9 of 20] Compiling Data.Express.Match ( src/Data/Express/Match.hs, dist/build/Data/Express/Match.o, dist/build/Data/Express/Match.dyn_o )
[10 of 20] Compiling Data.Express.Triexpr ( src/Data/Express/Triexpr.hs, dist/build/Data/Express/Triexpr.o, dist/build/Data/Express/Triexpr.dyn_o )
[11 of 20] Compiling Data.Express.Map ( src/Data/Express/Map.hs, dist/build/Data/Express/Map.o, dist/build/Data/Express/Map.dyn_o )
[12 of 20] Compiling Data.Express.Hole ( src/Data/Express/Hole.hs, dist/build/Data/Express/Hole.o, dist/build/Data/Express/Hole.dyn_o )
[13 of 20] Compiling Data.Express.Fold ( src/Data/Express/Fold.hs, dist/build/Data/Express/Fold.o, dist/build/Data/Express/Fold.dyn_o )
[14 of 20] Compiling Data.Express.Express ( src/Data/Express/Express.hs, dist/build/Data/Express/Express.o, dist/build/Data/Express/Express.dyn_o )
[15 of 20] Compiling Data.Express.Express.Derive ( src/Data/Express/Express/Derive.hs, dist/build/Data/Express/Express/Derive.o, dist/build/Data/Express/Express/Derive.dyn_o )
[16 of 20] Compiling Data.Express.Basic ( src/Data/Express/Basic.hs, dist/build/Data/Express/Basic.o, dist/build/Data/Express/Basic.dyn_o )
[17 of 20] Compiling Data.Express.Instances ( src/Data/Express/Instances.hs, dist/build/Data/Express/Instances.o, dist/build/Data/Express/Instances.dyn_o )
[18 of 20] Compiling Data.Express.Canon ( src/Data/Express/Canon.hs, dist/build/Data/Express/Canon.o, dist/build/Data/Express/Canon.dyn_o )
[19 of 20] Compiling Data.Express ( src/Data/Express.hs, dist/build/Data/Express.o, dist/build/Data/Express.dyn_o )
[20 of 20] Compiling Data.Express.Fixtures ( src/Data/Express/Fixtures.hs, dist/build/Data/Express/Fixtures.o, dist/build/Data/Express/Fixtures.dyn_o )
src/Data/Express/Fixtures.hs:1354:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1354 | [ value "head" (head :: Head Int)
| ^^^^
src/Data/Express/Fixtures.hs:1355:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1355 | , value "head" (head :: Head Char)
| ^^^^
src/Data/Express/Fixtures.hs:1356:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1356 | , value "head" (head :: Head Bool)
| ^^^^
src/Data/Express/Fixtures.hs:1357:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1357 | , value "head" (head :: Head [Int])
| ^^^^
src/Data/Express/Fixtures.hs:1358:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1358 | , value "head" (head :: Head [Char])
| ^^^^
src/Data/Express/Fixtures.hs:1359:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1359 | , value "head" (head :: Head [Bool])
| ^^^^
src/Data/Express/Fixtures.hs:1360:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1360 | , value "head" (head :: Head (Int,Int))
| ^^^^
src/Data/Express/Fixtures.hs:1361:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1361 | , value "head" (head :: Head (Maybe Int))
| ^^^^
src/Data/Express/Fixtures.hs:1381:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1381 | [ value "tail" (tail :: Tail Int)
| ^^^^
src/Data/Express/Fixtures.hs:1382:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1382 | , value "tail" (tail :: Tail Char)
| ^^^^
src/Data/Express/Fixtures.hs:1383:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1383 | , value "tail" (tail :: Tail Bool)
| ^^^^
src/Data/Express/Fixtures.hs:1384:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1384 | , value "tail" (tail :: Tail [Int])
| ^^^^
src/Data/Express/Fixtures.hs:1385:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1385 | , value "tail" (tail :: Tail [Char])
| ^^^^
src/Data/Express/Fixtures.hs:1386:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1386 | , value "tail" (tail :: Tail [Bool])
| ^^^^
src/Data/Express/Fixtures.hs:1387:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1387 | , value "tail" (tail :: Tail (Int,Int))
| ^^^^
src/Data/Express/Fixtures.hs:1388:19: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
1388 | , value "tail" (tail :: Tail (Maybe Int))
| ^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1164315/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/express-1.0.18-f60bf762589eb223e85602518a8c14f82a6fc1e149f7de66d278c5b115794aa3/lib
Configuring leancheck-1.0.2...
Preprocessing library for leancheck-1.0.2..
Building library for leancheck-1.0.2..
[ 1 of 24] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, dist/build/Test/LeanCheck/Core.o, dist/build/Test/LeanCheck/Core.dyn_o )
[ 2 of 24] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, dist/build/Test/LeanCheck/Basic.o, dist/build/Test/LeanCheck/Basic.dyn_o )
[ 3 of 24] Compiling Test.LeanCheck.Derive ( src/Test/LeanCheck/Derive.hs, dist/build/Test/LeanCheck/Derive.o, dist/build/Test/LeanCheck/Derive.dyn_o )
[ 4 of 24] Compiling Test.LeanCheck.Generic ( src/Test/LeanCheck/Generic.hs, dist/build/Test/LeanCheck/Generic.o, dist/build/Test/LeanCheck/Generic.dyn_o )
[ 5 of 24] Compiling Test.LeanCheck.IO ( src/Test/LeanCheck/IO.hs, dist/build/Test/LeanCheck/IO.o, dist/build/Test/LeanCheck/IO.dyn_o )
[ 6 of 24] Compiling Test.LeanCheck.Stats ( src/Test/LeanCheck/Stats.hs, dist/build/Test/LeanCheck/Stats.o, dist/build/Test/LeanCheck/Stats.dyn_o )
[ 7 of 24] Compiling Test.LeanCheck.Tiers ( src/Test/LeanCheck/Tiers.hs, dist/build/Test/LeanCheck/Tiers.o, dist/build/Test/LeanCheck/Tiers.dyn_o )
[ 8 of 24] Compiling Test.LeanCheck ( src/Test/LeanCheck.hs, dist/build/Test/LeanCheck.o, dist/build/Test/LeanCheck.dyn_o )
[ 9 of 24] Compiling Test.LeanCheck.Function.ListsOfPairs ( src/Test/LeanCheck/Function/ListsOfPairs.hs, dist/build/Test/LeanCheck/Function/ListsOfPairs.o, dist/build/Test/LeanCheck/Function/ListsOfPairs.dyn_o )
[10 of 24] Compiling Test.LeanCheck.Function.Listable.ListsOfPairs ( src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs, dist/build/Test/LeanCheck/Function/Listable/ListsOfPairs.o, dist/build/Test/LeanCheck/Function/Listable/ListsOfPairs.dyn_o )
[11 of 24] Compiling Test.LeanCheck.Function.Listable ( src/Test/LeanCheck/Function/Listable.hs, dist/build/Test/LeanCheck/Function/Listable.o, dist/build/Test/LeanCheck/Function/Listable.dyn_o )
[12 of 24] Compiling Test.LeanCheck.Error ( src/Test/LeanCheck/Error.hs, dist/build/Test/LeanCheck/Error.o, dist/build/Test/LeanCheck/Error.dyn_o )
[13 of 24] Compiling Test.LeanCheck.Function.List ( src/Test/LeanCheck/Function/List.hs, dist/build/Test/LeanCheck/Function/List.o, dist/build/Test/LeanCheck/Function/List.dyn_o )
[14 of 24] Compiling Test.LeanCheck.Function.Eq ( src/Test/LeanCheck/Function/Eq.hs, dist/build/Test/LeanCheck/Function/Eq.o, dist/build/Test/LeanCheck/Function/Eq.dyn_o )
[15 of 24] Compiling Test.LeanCheck.Function.Ord ( src/Test/LeanCheck/Function/Ord.hs, dist/build/Test/LeanCheck/Function/Ord.o, dist/build/Test/LeanCheck/Function/Ord.dyn_o )
[16 of 24] Compiling Test.LeanCheck.Utils.Operators ( src/Test/LeanCheck/Utils/Operators.hs, dist/build/Test/LeanCheck/Utils/Operators.o, dist/build/Test/LeanCheck/Utils/Operators.dyn_o )
[17 of 24] Compiling Test.LeanCheck.Utils.Types ( src/Test/LeanCheck/Utils/Types.hs, dist/build/Test/LeanCheck/Utils/Types.o, dist/build/Test/LeanCheck/Utils/Types.dyn_o )
[18 of 24] Compiling Test.LeanCheck.Utils.TypeBinding ( src/Test/LeanCheck/Utils/TypeBinding.hs, dist/build/Test/LeanCheck/Utils/TypeBinding.o, dist/build/Test/LeanCheck/Utils/TypeBinding.dyn_o )
[19 of 24] Compiling Test.LeanCheck.Utils ( src/Test/LeanCheck/Utils.hs, dist/build/Test/LeanCheck/Utils.o, dist/build/Test/LeanCheck/Utils.dyn_o )
[20 of 24] Compiling Test.LeanCheck.Function.ShowFunction ( src/Test/LeanCheck/Function/ShowFunction.hs, dist/build/Test/LeanCheck/Function/ShowFunction.o, dist/build/Test/LeanCheck/Function/ShowFunction.dyn_o )
[21 of 24] Compiling Test.LeanCheck.Function.Show.FourCases ( src/Test/LeanCheck/Function/Show/FourCases.hs, dist/build/Test/LeanCheck/Function/Show/FourCases.o, dist/build/Test/LeanCheck/Function/Show/FourCases.dyn_o )
[22 of 24] Compiling Test.LeanCheck.Function.Show.EightLines ( src/Test/LeanCheck/Function/Show/EightLines.hs, dist/build/Test/LeanCheck/Function/Show/EightLines.o, dist/build/Test/LeanCheck/Function/Show/EightLines.dyn_o )
[23 of 24] Compiling Test.LeanCheck.Function.Show ( src/Test/LeanCheck/Function/Show.hs, dist/build/Test/LeanCheck/Function/Show.o, dist/build/Test/LeanCheck/Function/Show.dyn_o )
[24 of 24] Compiling Test.LeanCheck.Function ( src/Test/LeanCheck/Function.hs, dist/build/Test/LeanCheck/Function.o, dist/build/Test/LeanCheck/Function.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1164315/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/leancheck-1.0.2-9bb1d3f7658d3beb69c296b9b15c3ab85708f2d43887bc668c6de62ca6d4a42c/lib
Configuring speculate-0.4.20...
Preprocessing library for speculate-0.4.20..
Building library for speculate-0.4.20..
[ 1 of 31] Compiling Test.Speculate.Utils.Class ( src/Test/Speculate/Utils/Class.hs, dist/build/Test/Speculate/Utils/Class.o, dist/build/Test/Speculate/Utils/Class.dyn_o )
[ 2 of 31] Compiling Test.Speculate.Utils.Colour ( src/Test/Speculate/Utils/Colour.hs, dist/build/Test/Speculate/Utils/Colour.o, dist/build/Test/Speculate/Utils/Colour.dyn_o )
[ 3 of 31] Compiling Test.Speculate.Utils.List ( src/Test/Speculate/Utils/List.hs, dist/build/Test/Speculate/Utils/List.o, dist/build/Test/Speculate/Utils/List.dyn_o )
[ 4 of 31] Compiling Test.Speculate.Utils.Memoize ( src/Test/Speculate/Utils/Memoize.hs, dist/build/Test/Speculate/Utils/Memoize.o, dist/build/Test/Speculate/Utils/Memoize.dyn_o )
[ 5 of 31] Compiling Test.Speculate.Utils.Ord ( src/Test/Speculate/Utils/Ord.hs, dist/build/Test/Speculate/Utils/Ord.o, dist/build/Test/Speculate/Utils/Ord.dyn_o )
[ 6 of 31] Compiling Test.Speculate.Utils.PrettyPrint ( src/Test/Speculate/Utils/PrettyPrint.hs, dist/build/Test/Speculate/Utils/PrettyPrint.o, dist/build/Test/Speculate/Utils/PrettyPrint.dyn_o )
src/Test/Speculate/Utils/PrettyPrint.hs:35:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
35 | above cs ds = if last cs == '\n' || head ds == '\n'
| ^^^^
[ 7 of 31] Compiling Test.Speculate.Utils.String ( src/Test/Speculate/Utils/String.hs, dist/build/Test/Speculate/Utils/String.o, dist/build/Test/Speculate/Utils/String.dyn_o )
[ 8 of 31] Compiling Test.Speculate.Utils.Misc ( src/Test/Speculate/Utils/Misc.hs, dist/build/Test/Speculate/Utils/Misc.o, dist/build/Test/Speculate/Utils/Misc.dyn_o )
[ 9 of 31] Compiling Test.Speculate.Utils.Tiers ( src/Test/Speculate/Utils/Tiers.hs, dist/build/Test/Speculate/Utils/Tiers.o, dist/build/Test/Speculate/Utils/Tiers.dyn_o )
[10 of 31] Compiling Test.Speculate.Utils.Timeout ( src/Test/Speculate/Utils/Timeout.hs, dist/build/Test/Speculate/Utils/Timeout.o, dist/build/Test/Speculate/Utils/Timeout.dyn_o )
[11 of 31] Compiling Test.Speculate.Utils.Tuple ( src/Test/Speculate/Utils/Tuple.hs, dist/build/Test/Speculate/Utils/Tuple.o, dist/build/Test/Speculate/Utils/Tuple.dyn_o )
[12 of 31] Compiling Test.Speculate.Utils ( src/Test/Speculate/Utils.hs, dist/build/Test/Speculate/Utils.o, dist/build/Test/Speculate/Utils.dyn_o )
[13 of 31] Compiling Test.Speculate.Utils.Digraph ( src/Test/Speculate/Utils/Digraph.hs, dist/build/Test/Speculate/Utils/Digraph.o, dist/build/Test/Speculate/Utils/Digraph.dyn_o )
[14 of 31] Compiling Test.Speculate.Expr.Core ( src/Test/Speculate/Expr/Core.hs, dist/build/Test/Speculate/Expr/Core.o, dist/build/Test/Speculate/Expr/Core.dyn_o )
[15 of 31] Compiling Test.Speculate.Expr.Instance ( src/Test/Speculate/Expr/Instance.hs, dist/build/Test/Speculate/Expr/Instance.o, dist/build/Test/Speculate/Expr/Instance.dyn_o )
src/Test/Speculate/Expr/Instance.hs:72:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
72 | ++ ", offending type: " ++ show (typeOf . head $ head xss)
| ^^^^
src/Test/Speculate/Expr/Instance.hs:72:57: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
72 | ++ ", offending type: " ++ show (typeOf . head $ head xss)
| ^^^^
src/Test/Speculate/Expr/Instance.hs:95:23: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
95 | , typ (head . concat $ tiers) == t]
| ^^^^
[16 of 31] Compiling Test.Speculate.Expr.Equate ( src/Test/Speculate/Expr/Equate.hs, dist/build/Test/Speculate/Expr/Equate.o, dist/build/Test/Speculate/Expr/Equate.dyn_o )
[17 of 31] Compiling Test.Speculate.Expr.Ground ( src/Test/Speculate/Expr/Ground.hs, dist/build/Test/Speculate/Expr/Ground.o, dist/build/Test/Speculate/Expr/Ground.dyn_o )
[18 of 31] Compiling Test.Speculate.Expr ( src/Test/Speculate/Expr.hs, dist/build/Test/Speculate/Expr.o, dist/build/Test/Speculate/Expr.dyn_o )
[19 of 31] Compiling Test.Speculate.Sanity ( src/Test/Speculate/Sanity.hs, dist/build/Test/Speculate/Sanity.o, dist/build/Test/Speculate/Sanity.dyn_o )
[20 of 31] Compiling Test.Speculate.Reason.Order ( src/Test/Speculate/Reason/Order.hs, dist/build/Test/Speculate/Reason/Order.o, dist/build/Test/Speculate/Reason/Order.dyn_o )
[21 of 31] Compiling Test.Speculate.Reason ( src/Test/Speculate/Reason.hs, dist/build/Test/Speculate/Reason.o, dist/build/Test/Speculate/Reason.dyn_o )
[22 of 31] Compiling Test.Speculate.SemiReason ( src/Test/Speculate/SemiReason.hs, dist/build/Test/Speculate/SemiReason.o, dist/build/Test/Speculate/SemiReason.dyn_o )
[23 of 31] Compiling Test.Speculate.CondReason ( src/Test/Speculate/CondReason.hs, dist/build/Test/Speculate/CondReason.o, dist/build/Test/Speculate/CondReason.dyn_o )
[24 of 31] Compiling Test.Speculate.Pretty ( src/Test/Speculate/Pretty.hs, dist/build/Test/Speculate/Pretty.o, dist/build/Test/Speculate/Pretty.dyn_o )
[25 of 31] Compiling Test.Speculate.Engine ( src/Test/Speculate/Engine.hs, dist/build/Test/Speculate/Engine.o, dist/build/Test/Speculate/Engine.dyn_o )
src/Test/Speculate/Engine.hs:86:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Data.List, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
86 | `concatMap` expansionsOfType (head es) (map nam es) e
| ^^^^
[26 of 31] Compiling Test.Speculate.Args ( src/Test/Speculate/Args.hs, dist/build/Test/Speculate/Args.o, dist/build/Test/Speculate/Args.dyn_o )
[27 of 31] Compiling Test.Speculate.Report ( src/Test/Speculate/Report.hs, dist/build/Test/Speculate/Report.o, dist/build/Test/Speculate/Report.dyn_o )
src/Test/Speculate/Report.hs:39:62: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
39 | when (showConstants args) . putStrLn . unlines $ map show (head dss)
| ^^^^
[28 of 31] Compiling Test.Speculate ( src/Test/Speculate.hs, dist/build/Test/Speculate.o, dist/build/Test/Speculate.dyn_o )
[29 of 31] Compiling Test.Speculate.Function.A1000 ( src/Test/Speculate/Function/A1000.hs, dist/build/Test/Speculate/Function/A1000.o, dist/build/Test/Speculate/Function/A1000.dyn_o )
[30 of 31] Compiling Test.Speculate.Function.A100 ( src/Test/Speculate/Function/A100.hs, dist/build/Test/Speculate/Function/A100.o, dist/build/Test/Speculate/Function/A100.dyn_o )
[31 of 31] Compiling Test.Speculate.Function.A10 ( src/Test/Speculate/Function/A10.hs, dist/build/Test/Speculate/Function/A10.o, dist/build/Test/Speculate/Function/A10.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1164315/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/speculate-0.4.20-20daca4aa603e97d81b8d9d0beb89085601775a020a182347de549de262ad59f/lib
Configuring code-conjure-0.7.0...
Preprocessing library for code-conjure-0.7.0..
Building library for code-conjure-0.7.0..
[ 1 of 13] Compiling Conjure.Utils ( src/Conjure/Utils.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Utils.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Utils.dyn_o )
[ 2 of 13] Compiling Conjure.Expr ( src/Conjure/Expr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Expr.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Expr.dyn_o )
[ 3 of 13] Compiling Conjure.Reason ( src/Conjure/Reason.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Reason.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Reason.dyn_o )
[ 4 of 13] Compiling Conjure.Defn ( src/Conjure/Defn.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Defn.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Defn.dyn_o )
src/Conjure/Defn.hs:138:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Expr, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
138 | (ef':_) = unfoldApp . fst $ head cx
| ^^^^
[ 5 of 13] Compiling Conjure.Defn.Redundancy ( src/Conjure/Defn/Redundancy.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Defn/Redundancy.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Defn/Redundancy.dyn_o )
src/Conjure/Defn/Redundancy.hs:77:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:77:47: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
77 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:113:22: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
113 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:113:47: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
113 | nArgs = length . tail . unfoldApp . fst $ head d
| ^^^^
src/Conjure/Defn/Redundancy.hs:177:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
177 | newName = head $ variableNamesFromTemplate "x" \\ varnames l
| ^^^^
[ 6 of 13] Compiling Conjure.Conjurable ( src/Conjure/Conjurable.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Conjurable.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Conjurable.dyn_o )
src/Conjure/Conjurable.hs:232:26: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
232 | reifyEquality = Just . head . reifyEq
| ^^^^
src/Conjure/Conjurable.hs:418:25: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
418 | conjureNamesFor f e = head
| ^^^^
src/Conjure/Conjurable.hs:497:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
497 | conjureSubTypes xs = conjureType (head xs)
| ^^^^
src/Conjure/Conjurable.hs:502:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
502 | ] where x = head xs
| ^^^^
src/Conjure/Conjurable.hs:505:11: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
505 | x = head xs
| ^^^^
src/Conjure/Conjurable.hs:644:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
644 | (ef':_) = unfoldApp . fst $ head defn
| ^^^^
src/Conjure/Conjurable.hs:708:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
708 | ef = var (head $ words nm) f -- TODO: take the tail into account
| ^^^^
[ 7 of 13] Compiling Conjure.Red ( src/Conjure/Red.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Red.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Red.dyn_o )
[ 8 of 13] Compiling Conjure.Ingredient ( src/Conjure/Ingredient.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Ingredient.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Ingredient.dyn_o )
[ 9 of 13] Compiling Conjure.Settings ( src/Conjure/Settings.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Settings.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Settings.dyn_o )
[10 of 13] Compiling Conjure.Defn.Test ( src/Conjure/Defn/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Defn/Test.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Defn/Test.dyn_o )
[11 of 13] Compiling Conjure.Engine ( src/Conjure/Engine.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Engine.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Engine.dyn_o )
src/Conjure/Engine.hs:172:15: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
172 | print (var (head $ words nm) f)
| ^^^^
src/Conjure/Engine.hs:476:33: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
476 | aes = (tail . unfoldApp . rehole) pat
| ^^^^
src/Conjure/Engine.hs:477:33: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
477 | aess = transpose $ map (tail . unfoldApp . rehole) pats
| ^^^^
src/Conjure/Engine.hs:516:23: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
516 | $ recsV' (tail (vars ep))
| ^^^^
src/Conjure/Engine.hs:535:72: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
535 | evrs = [(vs, recsV vs) | vs <- concatMap nubSort $ mapT (nubSort . tail . vars) possiblePats]
| ^^^^
src/Conjure/Engine.hs:582:46: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Conjure.Defn, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
582 | toGroundPat f pat = foldApp (value "f" f : tail (unfoldApp pat))
| ^^^^
[12 of 13] Compiling Conjure.Conjurable.Derive ( src/Conjure/Conjurable/Derive.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Conjurable/Derive.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure/Conjurable/Derive.dyn_o )
[13 of 13] Compiling Conjure ( src/Conjure.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/Conjure.dyn_o )
Preprocessing test suite 'conjurable' for code-conjure-0.7.0..
Building test suite 'conjurable' for code-conjure-0.7.0..
[1 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/conjurable/conjurable-tmp/Test/ListableExpr.o )
[2 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/conjurable/conjurable-tmp/Test.o )
[3 of 3] Compiling Main ( test/conjurable.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/conjurable/conjurable-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/conjurable/conjurable
Preprocessing test suite 'defn' for code-conjure-0.7.0..
Building test suite 'defn' for code-conjure-0.7.0..
[1 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/defn/defn-tmp/Test/ListableExpr.o )
[2 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/defn/defn-tmp/Test.o )
[3 of 3] Compiling Main ( test/defn.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/defn/defn-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/defn/defn
Preprocessing test suite 'derive' for code-conjure-0.7.0..
Building test suite 'derive' for code-conjure-0.7.0..
[1 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/derive/derive-tmp/Test/ListableExpr.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/derive/derive-tmp/Test/ListableExpr.dyn_o )
[2 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/derive/derive-tmp/Test.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/derive/derive-tmp/Test.dyn_o )
[3 of 3] Compiling Main ( test/derive.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/derive/derive-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/derive/derive
Preprocessing test suite 'expr' for code-conjure-0.7.0..
Building test suite 'expr' for code-conjure-0.7.0..
[1 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/expr/expr-tmp/Test/ListableExpr.o )
[2 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/expr/expr-tmp/Test.o )
[3 of 3] Compiling Main ( test/expr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/expr/expr-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/expr/expr
Preprocessing test suite 'factorial' for code-conjure-0.7.0..
Building test suite 'factorial' for code-conjure-0.7.0..
[1 of 3] Compiling Main ( test/factorial.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/factorial/factorial-tmp/Main.o )
[2 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/factorial/factorial-tmp/Test/ListableExpr.o )
[3 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/factorial/factorial-tmp/Test.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/factorial/factorial
Preprocessing test suite 'red' for code-conjure-0.7.0..
Building test suite 'red' for code-conjure-0.7.0..
[1 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/red/red-tmp/Test/ListableExpr.o )
[2 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/red/red-tmp/Test.o )
[3 of 3] Compiling Main ( test/red.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/red/red-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/red/red
Preprocessing test suite 'utils' for code-conjure-0.7.0..
Building test suite 'utils' for code-conjure-0.7.0..
[1 of 3] Compiling Test.ListableExpr ( test/Test/ListableExpr.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/utils/utils-tmp/Test/ListableExpr.o )
[2 of 3] Compiling Test ( test/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/utils/utils-tmp/Test.o )
[3 of 3] Compiling Main ( test/utils.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/utils/utils-tmp/Main.o )
[4 of 4] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/build/utils/utils
Running 7 test suites...
Test suite conjurable: RUNNING...
Test suite conjurable: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/conjurable/hpc_index.html
Test suite defn: RUNNING...
Test suite defn: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.Redundancy.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/defn/hpc_index.html
Test suite derive: RUNNING...
Test suite derive: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/derive/hpc_index.html
Test suite expr: RUNNING...
Test suite expr: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/expr/hpc_index.html
Test suite factorial: RUNNING...
Test suite factorial: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Settings.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Reason.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Red.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.Test.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.Redundancy.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Ingredient.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Engine.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/factorial/hpc_index.html
Test suite red: RUNNING...
Test suite red: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Red.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/red/hpc_index.html
Test suite utils: RUNNING...
Test suite utils: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/code-conjure-0.7.0.test
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/utils/hpc_index.html
7 of 7 test suites (7 of 7 test cases) passed.
Writing: code-conjure-0.7.0-inplace/Conjure.Conjurable.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.Redundancy.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Defn.Test.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Engine.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Expr.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Ingredient.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Reason.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Red.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Settings.hs.html
Writing: code-conjure-0.7.0-inplace/Conjure.Utils.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/code-conjure-0.7.0/noopt/hpc/vanilla/html/code-conjure-0.7.0/hpc_index.html