Resolving dependencies... Downloading th-cas-0.2.0 Downloaded th-cas-0.2.0 Configuring th-cas-0.2.0... Preprocessing library for th-cas-0.2.0.. Building library for th-cas-0.2.0.. [1 of 7] Compiling Algebra.CAS.Base ( Algebra/CAS/Base.hs, dist/build/Algebra/CAS/Base.o, dist/build/Algebra/CAS/Base.dyn_o ) Algebra/CAS/Base.hs:588:6: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: cl | 588 | (cl,vl) = headV lcm' | ^^ Algebra/CAS/Base.hs:691:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:691:7-11 (IsString a0) arising from the literal "((a:+:b):*:c)" at Algebra/CAS/Base.hs:691:13-27 " In a stmt of a 'do' block: print "((a:+:b):*:c)" In the expression: do print "((a:+:b):*:c)" print a print b print c .... In a case alternative: ((a :+: b) :*: c) -> do print "((a:+:b):*:c)" print a print b .... | 691 | print "((a:+:b):*:c)" | ^^^^^ Algebra/CAS/Base.hs:702:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:702:7-11 (IsString a0) arising from the literal "(a:*:(b:+:c))" at Algebra/CAS/Base.hs:702:13-27 " In a stmt of a 'do' block: print "(a:*:(b:+:c))" In the expression: do print "(a:*:(b:+:c))" print a print b print c .... In a case alternative: (a :*: (b :+: c)) -> do print "(a:*:(b:+:c))" print a print b .... | 702 | print "(a:*:(b:+:c))" | ^^^^^ Algebra/CAS/Base.hs:713:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:713:7-11 (IsString a0) arising from the literal "(a:+:b)" at Algebra/CAS/Base.hs:713:13-21 " In a stmt of a 'do' block: print "(a:+:b)" In the expression: do print "(a:+:b)" print a print b a' <- expandIO a .... In a case alternative: (a :+: b) -> do print "(a:+:b)" print a print b .... | 713 | print "(a:+:b)" | ^^^^^ Algebra/CAS/Base.hs:720:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:720:7-11 (IsString a0) arising from the literal "(a:*:b)" at Algebra/CAS/Base.hs:720:13-21 " In a stmt of a 'do' block: print "(a:*:b)" In the expression: do print "(a:*:b)" print a print b a' <- expandIO a .... In a case alternative: c@(a :*: b) -> do print "(a:*:b)" print a print b .... | 720 | print "(a:*:b)" | ^^^^^ Algebra/CAS/Base.hs:1036:11: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for genCoeff: genCoeff prefix a = genCoeff' prefix a where len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int nstr n = let ... in take (len - l) (repeat '0') ++ str genCoeff' prefix' a' | a' <= 0 = [] | otherwise = CV (prefix' ++ nstr (pred a')) : genCoeff' prefix' (pred a') | 1036 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^^^^^^^^ Algebra/CAS/Base.hs:1036:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at Algebra/CAS/Base.hs:1036:25-29 (Floating a0) arising from a use of logBase at Algebra/CAS/Base.hs:1036:32-38 (Num a0) arising from the literal 10 at Algebra/CAS/Base.hs:1036:40-41 " In the first argument of fromIntegral, namely (round (logBase 10 (fromIntegral a))) In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | 1036 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^ Algebra/CAS/Base.hs:1048:11: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for genVars: genVars prefix a = gen' prefix a where len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int nstr n = let ... in take (len - l) (repeat '0') ++ str gen' prefix' a' | a' <= 0 = [] | otherwise = V (prefix' ++ nstr (pred a')) : gen' prefix' (pred a') | 1048 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^^^^^^^^ Algebra/CAS/Base.hs:1048:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at Algebra/CAS/Base.hs:1048:25-29 (Floating a0) arising from a use of logBase at Algebra/CAS/Base.hs:1048:32-38 (Num a0) arising from the literal 10 at Algebra/CAS/Base.hs:1048:40-41 " In the first argument of fromIntegral, namely (round (logBase 10 (fromIntegral a))) In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | 1048 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^ [2 of 7] Compiling Algebra.CAS.Diff ( Algebra/CAS/Diff.hs, dist/build/Algebra/CAS/Diff.o, dist/build/Algebra/CAS/Diff.dyn_o ) [3 of 7] Compiling Algebra.CAS.GrobnerBasis ( Algebra/CAS/GrobnerBasis.hs, dist/build/Algebra/CAS/GrobnerBasis.o, dist/build/Algebra/CAS/GrobnerBasis.dyn_o ) [4 of 7] Compiling Algebra.CAS.Solve ( Algebra/CAS/Solve.hs, dist/build/Algebra/CAS/Solve.o, dist/build/Algebra/CAS/Solve.dyn_o ) Algebra/CAS/Solve.hs:60:7: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] (_:_:_:_) | 60 | let [a,b] = map CV ["a","b"] | ^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:69:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 69 | let [a,b,c] = map CV ["a","b","c"] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:72:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 72 | let [a',b',c'] = map (m M.!) [a,b,c] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:75:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 75 | let [a,b,c] = map CV ["a","b","c"] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:78:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 78 | let [a',b',c'] = map (m M.!) [a,b,c] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [5 of 7] Compiling Algebra.CAS.Integrate ( Algebra/CAS/Integrate.hs, dist/build/Algebra/CAS/Integrate.o, dist/build/Algebra/CAS/Integrate.dyn_o ) Algebra/CAS/Integrate.hs:90:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: reduce | 90 | reduce [] = (0, 0) | ^^^^^^ Algebra/CAS/Integrate.hs:93:59: warning: [GHC-63397] [-Wname-shadowing] This binding for exp shadows the existing binding imported from Prelude at Algebra/CAS/Integrate.hs:4:8-28 (and originally defined in GHC.Float) | 93 | in (r, expand $ l + (v * product [fac^exp | (fac, exp) <- vs])) -- Accumulate denominator for log part | ^^^ Algebra/CAS/Integrate.hs:95:16: warning: [GHC-40910] [-Wunused-matches] Defined but not used: v | 95 | reduce ((v, k):vs) | k > 1 = | ^ Algebra/CAS/Integrate.hs:120:11: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: u | 120 | let (g, u, v) = extendedEuclidean d (diff d x) x | ^ Algebra/CAS/Integrate.hs:120:14: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: v | 120 | let (g, u, v) = extendedEuclidean d (diff d x) x | ^ Algebra/CAS/Integrate.hs:149:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: w | 149 | w = expand $ p / c | ^ Algebra/CAS/Integrate.hs:150:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: y | 150 | y = expand $ p' / c | ^ Algebra/CAS/Integrate.hs:151:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: z | 151 | z = expand $ diff w x | ^ Algebra/CAS/Integrate.hs:174:17: warning: [GHC-40910] [-Wunused-matches] Defined but not used: x | 174 | quotRemPoly a b x = reduction a b -- Reuse existing reduction which is multivariate division | ^ Algebra/CAS/Integrate.hs:228:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type (Formula, Formula) not matched: ((C _), _) (Pi, _) (I, _) ((CV _), _) ... | 228 | convertSolution = map (\(V name, val) -> (CV name, val)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Integrate.hs:228:38: warning: [GHC-63397] [-Wname-shadowing] This binding for val shadows the existing binding imported from Algebra.CAS.Base at Algebra/CAS/Integrate.hs:6:1-23 (and originally defined at Algebra/CAS/Base.hs:521:1-3) | 228 | convertSolution = map (\(V name, val) -> (CV name, val)) | ^^^ [6 of 7] Compiling Algebra.CAS ( Algebra/CAS.hs, dist/build/Algebra/CAS.o, dist/build/Algebra/CAS.dyn_o ) [7 of 7] Compiling Algebra.CAS.TH ( Algebra/CAS/TH.hs, dist/build/Algebra/CAS/TH.o, dist/build/Algebra/CAS/TH.dyn_o ) Algebra/CAS/TH.hs:13:1: warning: [GHC-66111] [-Wunused-imports] The import of Control.Applicative is redundant except perhaps to import instances from Control.Applicative To import instances alone, use: import Control.Applicative() | 13 | import Control.Applicative | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing library for th-cas-0.2.0.. Running Haddock on library for th-cas-0.2.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 7] Compiling Algebra.CAS.Base ( Algebra/CAS/Base.hs, /tmp/ghc2091121_0/ghc_2.o, /tmp/ghc2091121_0/ghc_2.dyn_o ) Algebra/CAS/Base.hs:588:6: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: cl | 588 | (cl,vl) = headV lcm' | ^^ Algebra/CAS/Base.hs:691:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:691:7-11 (IsString a0) arising from the literal "((a:+:b):*:c)" at Algebra/CAS/Base.hs:691:13-27 " In a stmt of a 'do' block: print "((a:+:b):*:c)" In the expression: do print "((a:+:b):*:c)" print a print b print c .... In a case alternative: ((a :+: b) :*: c) -> do print "((a:+:b):*:c)" print a print b .... | 691 | print "((a:+:b):*:c)" | ^^^^^ Algebra/CAS/Base.hs:702:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:702:7-11 (IsString a0) arising from the literal "(a:*:(b:+:c))" at Algebra/CAS/Base.hs:702:13-27 " In a stmt of a 'do' block: print "(a:*:(b:+:c))" In the expression: do print "(a:*:(b:+:c))" print a print b print c .... In a case alternative: (a :*: (b :+: c)) -> do print "(a:*:(b:+:c))" print a print b .... | 702 | print "(a:*:(b:+:c))" | ^^^^^ Algebra/CAS/Base.hs:713:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:713:7-11 (IsString a0) arising from the literal "(a:+:b)" at Algebra/CAS/Base.hs:713:13-21 " In a stmt of a 'do' block: print "(a:+:b)" In the expression: do print "(a:+:b)" print a print b a' <- expandIO a .... In a case alternative: (a :+: b) -> do print "(a:+:b)" print a print b .... | 713 | print "(a:+:b)" | ^^^^^ Algebra/CAS/Base.hs:720:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:720:7-11 (IsString a0) arising from the literal "(a:*:b)" at Algebra/CAS/Base.hs:720:13-21 " In a stmt of a 'do' block: print "(a:*:b)" In the expression: do print "(a:*:b)" print a print b a' <- expandIO a .... In a case alternative: c@(a :*: b) -> do print "(a:*:b)" print a print b .... | 720 | print "(a:*:b)" | ^^^^^ Algebra/CAS/Base.hs:1036:11: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for genCoeff: genCoeff prefix a = genCoeff' prefix a where len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int nstr n = let ... in take (len - l) (repeat '0') ++ str genCoeff' prefix' a' | a' <= 0 = [] | otherwise = CV (prefix' ++ nstr (pred a')) : genCoeff' prefix' (pred a') | 1036 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^^^^^^^^ Algebra/CAS/Base.hs:1036:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at Algebra/CAS/Base.hs:1036:25-29 (Floating a0) arising from a use of logBase at Algebra/CAS/Base.hs:1036:32-38 (Num a0) arising from the literal 10 at Algebra/CAS/Base.hs:1036:40-41 " In the first argument of fromIntegral, namely (round (logBase 10 (fromIntegral a))) In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | 1036 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^ Algebra/CAS/Base.hs:1048:11: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for genVars: genVars prefix a = gen' prefix a where len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int nstr n = let ... in take (len - l) (repeat '0') ++ str gen' prefix' a' | a' <= 0 = [] | otherwise = V (prefix' ++ nstr (pred a')) : gen' prefix' (pred a') | 1048 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^^^^^^^^ Algebra/CAS/Base.hs:1048:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at Algebra/CAS/Base.hs:1048:25-29 (Floating a0) arising from a use of logBase at Algebra/CAS/Base.hs:1048:32-38 (Num a0) arising from the literal 10 at Algebra/CAS/Base.hs:1048:40-41 " In the first argument of fromIntegral, namely (round (logBase 10 (fromIntegral a))) In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | 1048 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^ [2 of 7] Compiling Algebra.CAS.Diff ( Algebra/CAS/Diff.hs, /tmp/ghc2091121_0/ghc_4.o, /tmp/ghc2091121_0/ghc_4.dyn_o ) [3 of 7] Compiling Algebra.CAS.GrobnerBasis ( Algebra/CAS/GrobnerBasis.hs, nothing ) [4 of 7] Compiling Algebra.CAS.Solve ( Algebra/CAS/Solve.hs, /tmp/ghc2091121_0/ghc_6.o, /tmp/ghc2091121_0/ghc_6.dyn_o ) [5 of 7] Compiling Algebra.CAS.Integrate ( Algebra/CAS/Integrate.hs, nothing ) Algebra/CAS/Integrate.hs:90:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: reduce | 90 | reduce [] = (0, 0) | ^^^^^^ Algebra/CAS/Integrate.hs:93:59: warning: [GHC-63397] [-Wname-shadowing] This binding for exp shadows the existing binding imported from Prelude at Algebra/CAS/Integrate.hs:4:8-28 (and originally defined in GHC.Float) | 93 | in (r, expand $ l + (v * product [fac^exp | (fac, exp) <- vs])) -- Accumulate denominator for log part | ^^^ Algebra/CAS/Integrate.hs:95:16: warning: [GHC-40910] [-Wunused-matches] Defined but not used: v | 95 | reduce ((v, k):vs) | k > 1 = | ^ Algebra/CAS/Integrate.hs:120:11: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: u | 120 | let (g, u, v) = extendedEuclidean d (diff d x) x | ^ Algebra/CAS/Integrate.hs:120:14: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: v | 120 | let (g, u, v) = extendedEuclidean d (diff d x) x | ^ Algebra/CAS/Integrate.hs:149:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: w | 149 | w = expand $ p / c | ^ Algebra/CAS/Integrate.hs:150:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: y | 150 | y = expand $ p' / c | ^ Algebra/CAS/Integrate.hs:151:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: z | 151 | z = expand $ diff w x | ^ Algebra/CAS/Integrate.hs:174:17: warning: [GHC-40910] [-Wunused-matches] Defined but not used: x | 174 | quotRemPoly a b x = reduction a b -- Reuse existing reduction which is multivariate division | ^ Algebra/CAS/Integrate.hs:228:38: warning: [GHC-63397] [-Wname-shadowing] This binding for val shadows the existing binding imported from Algebra.CAS.Base at Algebra/CAS/Integrate.hs:6:1-23 (and originally defined at Algebra/CAS/Base.hs:521:1-3) | 228 | convertSolution = map (\(V name, val) -> (CV name, val)) | ^^^ [6 of 7] Compiling Algebra.CAS ( Algebra/CAS.hs, nothing ) [7 of 7] Compiling Algebra.CAS.TH ( Algebra/CAS/TH.hs, nothing ) Algebra/CAS/TH.hs:13:1: warning: [GHC-66111] [-Wunused-imports] The import of Control.Applicative is redundant except perhaps to import instances from Control.Applicative To import instances alone, use: import Control.Applicative() | 13 | import Control.Applicative | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Haddock coverage: 20% ( 12 / 58) in 'Algebra.CAS.Base' Missing documentation for: Module header neg (Algebra/CAS/Base.hs:45) constSimplify (Algebra/CAS/Base.hs:48) toInt (Algebra/CAS/Base.hs:185) mapTuple (Algebra/CAS/Base.hs:191) SpecialFunction (Algebra/CAS/Base.hs:208) =: (Algebra/CAS/Base.hs:246) tryPlus (Algebra/CAS/Base.hs:311) insertPlus (Algebra/CAS/Base.hs:351) insertMul (Algebra/CAS/Base.hs:388) constDiv (Algebra/CAS/Base.hs:395) splitExp (Algebra/CAS/Base.hs:407) divGB (Algebra/CAS/Base.hs:411) divGB' (Algebra/CAS/Base.hs:427) divAll (Algebra/CAS/Base.hs:443) lcmMonomial (Algebra/CAS/Base.hs:546) lcmMonomial' (Algebra/CAS/Base.hs:555) reduction (Algebra/CAS/Base.hs:571) reductions (Algebra/CAS/Base.hs:594) degree (Algebra/CAS/Base.hs:613) converge (Algebra/CAS/Base.hs:645) expand' (Algebra/CAS/Base.hs:674) expandIO (Algebra/CAS/Base.hs:687) gcdPolynomial (Algebra/CAS/Base.hs:732) lcmPolynomial (Algebra/CAS/Base.hs:742) headAdd (Algebra/CAS/Base.hs:749) tailAdd (Algebra/CAS/Base.hs:752) mapAdd (Algebra/CAS/Base.hs:755) splitAdd (Algebra/CAS/Base.hs:764) headMul (Algebra/CAS/Base.hs:773) tailMul (Algebra/CAS/Base.hs:776) headDiv (Algebra/CAS/Base.hs:780) tailDiv (Algebra/CAS/Base.hs:784) subst' (Algebra/CAS/Base.hs:802) mapFormula (Algebra/CAS/Base.hs:838) hasVariable (Algebra/CAS/Base.hs:911) isVariable (Algebra/CAS/Base.hs:914) variables (Algebra/CAS/Base.hs:917) denom (Algebra/CAS/Base.hs:948) numer (Algebra/CAS/Base.hs:953) headV (Algebra/CAS/Base.hs:959) ppr' (Algebra/CAS/Base.hs:1006) genCoeff (Algebra/CAS/Base.hs:1034) genVars (Algebra/CAS/Base.hs:1046) indets' (Algebra/CAS/Base.hs:1070) maskVariables (Algebra/CAS/Base.hs:1103) 33% ( 1 / 3) in 'Algebra.CAS.Diff' Missing documentation for: Module header diffn (Algebra/CAS/Diff.hs:40) 0% ( 0 / 8) in 'Algebra.CAS.GrobnerBasis' Missing documentation for: Module header sPolynomial (Algebra/CAS/GrobnerBasis.hs:9) allPair (Algebra/CAS/GrobnerBasis.hs:16) grobnerG (Algebra/CAS/GrobnerBasis.hs:20) grobnerBasis (Algebra/CAS/GrobnerBasis.hs:23) grobnerBasis' (Algebra/CAS/GrobnerBasis.hs:31) grobnerBasisIO (Algebra/CAS/GrobnerBasis.hs:38) grobnerBasisIO' (Algebra/CAS/GrobnerBasis.hs:41) 33% ( 3 / 9) in 'Algebra.CAS.Solve' Missing documentation for: Module header solve1 (Algebra/CAS/Solve.hs:59) solve2 (Algebra/CAS/Solve.hs:66) solve (Algebra/CAS/Solve.hs:88) lReductions (Algebra/CAS/Solve.hs:133) rSolve (Algebra/CAS/Solve.hs:140) 57% ( 11 / 19) in 'Algebra.CAS.Integrate' Missing documentation for: Module header terms (Algebra/CAS/Integrate.hs:236) genPow (Algebra/CAS/Integrate.hs:239) candidateDegree (Algebra/CAS/Integrate.hs:247) candidateFormula (Algebra/CAS/Integrate.hs:250) derivationCandidate (Algebra/CAS/Integrate.hs:257) splitCoeffAndVariable (Algebra/CAS/Integrate.hs:263) coeffToVariable (Algebra/CAS/Integrate.hs:272) 83% ( 5 / 6) in 'Algebra.CAS' Missing documentation for: Module header 0% ( 0 / 9) in 'Algebra.CAS.TH' Missing documentation for: Module header exp2val (Algebra/CAS/TH.hs:17) val2exp (Algebra/CAS/TH.hs:51) lift (Algebra/CAS/TH.hs:83) lift1 (Algebra/CAS/TH.hs:85) lift2 (Algebra/CAS/TH.hs:87) lift3 (Algebra/CAS/TH.hs:89) prettyPrint (Algebra/CAS/TH.hs:92) diff (Algebra/CAS/TH.hs:102) Documentation created: dist/doc/html/th-cas/, dist/doc/html/th-cas/th-cas.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/th-cas-0.2.0-AM5wvxMRnCmD51d9EtOoEB Completed th-cas-0.2.0