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/ghc3867881_0/ghc_4.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_6.o, /tmp/ghc3867881_0/ghc_6.dyn_o ) [ 3 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, /tmp/ghc3867881_0/ghc_8.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_10.o, /tmp/ghc3867881_0/ghc_10.dyn_o ) [ 5 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, /tmp/ghc3867881_0/ghc_16.o, /tmp/ghc3867881_0/ghc_16.dyn_o ) [ 6 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, /tmp/ghc3867881_0/ghc_22.o, /tmp/ghc3867881_0/ghc_22.dyn_o ) [ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, /tmp/ghc3867881_0/ghc_24.o, /tmp/ghc3867881_0/ghc_24.dyn_o ) [ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, /tmp/ghc3867881_0/ghc_20.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_14.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_26.o, /tmp/ghc3867881_0/ghc_26.dyn_o ) [11 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, /tmp/ghc3867881_0/ghc_30.o, /tmp/ghc3867881_0/ghc_30.dyn_o ) [12 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, /tmp/ghc3867881_0/ghc_42.o, /tmp/ghc3867881_0/ghc_42.dyn_o ) [13 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, /tmp/ghc3867881_0/ghc_44.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_18.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_46.o, /tmp/ghc3867881_0/ghc_46.dyn_o ) [16 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, /tmp/ghc3867881_0/ghc_40.o, /tmp/ghc3867881_0/ghc_40.dyn_o ) [17 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, /tmp/ghc3867881_0/ghc_12.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_36.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_34.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_38.o, /tmp/ghc3867881_0/ghc_38.dyn_o ) [21 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, /tmp/ghc3867881_0/ghc_32.o, /tmp/ghc3867881_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/ghc3867881_0/ghc_28.o, /tmp/ghc3867881_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 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/ghc3869433_0/ghc_32.o, /tmp/ghc3869433_0/ghc_32.dyn_o ) [ 2 of 20] Compiling Data.Express.Utils.String ( src/Data/Express/Utils/String.hs, /tmp/ghc3869433_0/ghc_34.o, /tmp/ghc3869433_0/ghc_34.dyn_o ) [ 3 of 20] Compiling Data.Express.Utils ( src/Data/Express/Utils.hs, /tmp/ghc3869433_0/ghc_30.o, /tmp/ghc3869433_0/ghc_30.dyn_o ) [ 4 of 20] Compiling Data.Express.Name ( src/Data/Express/Name.hs, /tmp/ghc3869433_0/ghc_28.o, /tmp/ghc3869433_0/ghc_28.dyn_o ) [ 5 of 20] Compiling Data.Express.Utils.TH ( src/Data/Express/Utils/TH.hs, /tmp/ghc3869433_0/ghc_36.o, /tmp/ghc3869433_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/ghc3869433_0/ghc_38.o, /tmp/ghc3869433_0/ghc_38.dyn_o ) [ 8 of 20] Compiling Data.Express.Core ( src/Data/Express/Core.hs, /tmp/ghc3869433_0/ghc_24.o, /tmp/ghc3869433_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/ghc3869433_0/ghc_26.o, /tmp/ghc3869433_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.4... Preprocessing library for leancheck-1.0.4.. Building library for leancheck-1.0.4.. [ 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.4.. Running Haddock on library for leancheck-1.0.4.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 24] Compiling Test.LeanCheck.Core ( src/Test/LeanCheck/Core.hs, /tmp/ghc3870787_0/ghc_20.o, /tmp/ghc3870787_0/ghc_20.dyn_o ) [ 2 of 24] Compiling Test.LeanCheck.Basic ( src/Test/LeanCheck/Basic.hs, /tmp/ghc3870787_0/ghc_18.o, /tmp/ghc3870787_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' Warning: 'Buffer' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 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.4-AyHMdr2PppGGblFhh7JgUr Completed leancheck-1.0.4 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-5Gp6tZMIB16103lgLySZNG Completed speculate-0.4.20 Downloading code-conjure-0.7.8 Downloaded code-conjure-0.7.8 Configuring code-conjure-0.7.8... Preprocessing library for code-conjure-0.7.8.. Building library for code-conjure-0.7.8.. [ 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:144: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." | 144 | (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:187: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." | 187 | 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:259: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." | 259 | reifyEquality = Just . head . reifyEq | ^^^^ src/Conjure/Conjurable.hs:445: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." | 445 | conjureNamesFor f e = head | ^^^^ src/Conjure/Conjurable.hs:524: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." | 524 | conjureSubTypes xs = conjureType (head xs) | ^^^^ src/Conjure/Conjurable.hs:529: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." | 529 | ] where x = head xs | ^^^^ src/Conjure/Conjurable.hs:532: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." | 532 | x = head xs | ^^^^ src/Conjure/Conjurable.hs:673: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." | 673 | (ef':_) = unfoldApp . fst $ head defn | ^^^^ src/Conjure/Conjurable.hs:737: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." | 737 | 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:167: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." | 167 | print (var (head $ words nm) f) | ^^^^ src/Conjure/Engine.hs:497: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." | 497 | aes = (tail . unfoldApp . rehole) pat | ^^^^ src/Conjure/Engine.hs:498: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." | 498 | aess = transpose $ map (tail . unfoldApp . rehole) pats | ^^^^ src/Conjure/Engine.hs:537: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." | 537 | $ recsV' (tail (vars ep)) | ^^^^ src/Conjure/Engine.hs:556: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." | 556 | evrs = [(vs, recsV vs) | vs <- concatMap nubSort $ mapT (nubSort . tail . vars) possiblePats] | ^^^^ src/Conjure/Engine.hs:603: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." | 603 | 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.8.. Running Haddock on library for code-conjure-0.7.8.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 13] Compiling Conjure.Utils ( src/Conjure/Utils.hs, /tmp/ghc3873056_0/ghc_20.o, /tmp/ghc3873056_0/ghc_20.dyn_o ) [ 2 of 13] Compiling Conjure.Expr ( src/Conjure/Expr.hs, /tmp/ghc3873056_0/ghc_18.o, /tmp/ghc3873056_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/ghc3873056_0/ghc_16.o, /tmp/ghc3873056_0/ghc_16.dyn_o ) src/Conjure/Defn.hs:144: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." | 144 | (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:187: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." | 187 | newName = head $ variableNamesFromTemplate "x" \\ varnames l | ^^^^ [ 6 of 13] Compiling Conjure.Conjurable ( src/Conjure/Conjurable.hs, /tmp/ghc3873056_0/ghc_14.o, /tmp/ghc3873056_0/ghc_14.dyn_o ) src/Conjure/Conjurable.hs:259: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." | 259 | reifyEquality = Just . head . reifyEq | ^^^^ src/Conjure/Conjurable.hs:445: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." | 445 | conjureNamesFor f e = head | ^^^^ src/Conjure/Conjurable.hs:524: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." | 524 | conjureSubTypes xs = conjureType (head xs) | ^^^^ src/Conjure/Conjurable.hs:529: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." | 529 | ] where x = head xs | ^^^^ src/Conjure/Conjurable.hs:532: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." | 532 | x = head xs | ^^^^ src/Conjure/Conjurable.hs:673: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." | 673 | (ef':_) = unfoldApp . fst $ head defn | ^^^^ src/Conjure/Conjurable.hs:737: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." | 737 | 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:167: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." | 167 | print (var (head $ words nm) f) | ^^^^ src/Conjure/Engine.hs:497: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." | 497 | aes = (tail . unfoldApp . rehole) pat | ^^^^ src/Conjure/Engine.hs:498: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." | 498 | aess = transpose $ map (tail . unfoldApp . rehole) pats | ^^^^ src/Conjure/Engine.hs:537: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." | 537 | $ recsV' (tail (vars ep)) | ^^^^ src/Conjure/Engine.hs:556: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." | 556 | evrs = [(vs, recsV vs) | vs <- concatMap nubSort $ mapT (nubSort . tail . vars) possiblePats] | ^^^^ src/Conjure/Engine.hs:603: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." | 603 | 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: 86% ( 37 / 43) in 'Conjure.Utils' Missing documentation for: allEqualOn (src/Conjure/Utils.hs:75) none (src/Conjure/Utils.hs:179) nor (src/Conjure/Utils.hs:182) both (src/Conjure/Utils.hs:210) +++ (src/Conjure/Utils.hs:226) prods (src/Conjure/Utils.hs:230) 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 97% (331 /338) in 'Conjure.Expr' Missing documentation for: isGuardSymbol (src/Conjure/Expr.hs:601) isIfSymbol (src/Conjure/Expr.hs:605) mapInnerFirstOuterLast (src/Conjure/Expr.hs:650) mappArgs (src/Conjure/Expr.hs:657) mappFun (src/Conjure/Expr.hs:664) updateAppAt (src/Conjure/Expr.hs:539) listConflicts (src/Conjure/Expr.hs:580) 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 84% ( 21 / 25) in 'Conjure.Defn' Missing documentation for: canonicalizeBndn (src/Conjure/Defn.hs:263) canonicalizeBndnLast (src/Conjure/Defn.hs:266) noUnbound (src/Conjure/Defn.hs:286) isDefined (src/Conjure/Defn.hs:303) 100% ( 10 / 10) in 'Conjure.Defn.Redundancy' 93% ( 54 / 58) in 'Conjure.Conjurable' Missing documentation for: conjureGrounds (src/Conjure/Conjurable.hs:429) conjureDynamicEq (src/Conjure/Conjurable.hs:310) conjureIsNumeric (src/Conjure/Conjurable.hs:437) conjureMostGeneralCanonicalVariation (src/Conjure/Conjurable.hs:450) 100% ( 5 / 5) in 'Conjure.Red' 88% ( 15 / 17) in 'Conjure.Ingredient' Missing documentation for: prif (src/Conjure/Ingredient.hs:273) primOrdCaseFor (src/Conjure/Ingredient.hs:277) 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) maxEarlyTestsI (src/Conjure/Settings.hs:392) copyBindingsI (src/Conjure/Settings.hs:401) atomicNumbersI (src/Conjure/Settings.hs:414) uniqueCandidatesI (src/Conjure/Settings.hs:427) 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% (337 /337) in 'Conjure.Engine' 100% ( 4 / 4) in 'Conjure.Conjurable.Derive' 100% ( 86 / 86) 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.8-JfRJP1Hr8K61iIBRCreriQ Completed code-conjure-0.7.8