[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-12-16 21:54:52.431057243 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, containers-0.6.8, template-haskell-2.21.0.0, text-2.1.1 |
| Flags |
none
|
Code Coverage
| expressions | 52% (2277/4309) |
|---|
| boolean | guards | 37% (35/93) |
|---|
| conditions | 50% (16/32) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 49% (371/746) |
|---|
| local declarations | 65% (64/97) |
|---|
| top-level declarations | 49% (115/234) |
|---|
Build log
[view raw]
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
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- call-stack-0.4.0 (lib:call-stack) (requires build)
- colour-2.3.6 (lib:colour) (requires build)
- ghc-paths-0.1.0.12 (lib:ghc-paths) (requires build)
- haskell-lexer-1.2.1 (lib:haskell-lexer) (requires build)
- hsc2hs-0.68.10 (exe:hsc2hs) (requires build)
- hspec-discover-2.11.16 (lib:hspec-discover) (requires build)
- splitmix-0.1.3.1 (lib:splitmix) (requires build)
- syb-0.7.3 (lib:syb) (requires build)
- HUnit-1.6.2.0 (lib:HUnit) (requires build)
- ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build)
- code-page-0.2.1 (lib:code-page) (requires build)
- random-1.3.1 (lib:random) (requires build)
- hspec-expectations-0.8.4 (lib:hspec-expectations) (requires build)
- ansi-terminal-1.1.4 (lib:ansi-terminal) (requires build)
- temporary-1.3 (lib:temporary) (requires build)
- QuickCheck-2.17.1.0 (lib:QuickCheck) (requires build)
- doctest-0.24.2 (lib:doctest) (requires build)
- quickcheck-io-0.2.0 (lib:quickcheck-io) (requires build)
- hspec-core-2.11.16 (lib:hspec-core) (requires build)
- hspec-2.11.16 (lib:hspec) (requires build)
- th-cas-0.2.0 (first run)
Configuring call-stack-0.4.0...
Preprocessing library for call-stack-0.4.0..
Building library for call-stack-0.4.0..
[1 of 3] Compiling Data.SrcLoc ( src/Data/SrcLoc.hs, dist/build/Data/SrcLoc.o, dist/build/Data/SrcLoc.dyn_o )
[2 of 3] Compiling Data.CallStack ( src/Data/CallStack.hs, dist/build/Data/CallStack.o, dist/build/Data/CallStack.dyn_o )
[3 of 3] Compiling Paths_call_stack ( dist/build/autogen/Paths_call_stack.hs, dist/build/Paths_call_stack.o, dist/build/Paths_call_stack.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/call-stack-0.4.0-31951dc4e9db177e2ea89098d1122ced7b6da41fd279273945130bdfc91e7098/lib
Configuring colour-2.3.6...
Preprocessing library for colour-2.3.6..
Building library for colour-2.3.6..
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, dist/build/Data/Colour/CIE/Chromaticity.o, dist/build/Data/Colour/CIE/Chromaticity.dyn_o )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, dist/build/Data/Colour/CIE/Illuminant.o, dist/build/Data/Colour/CIE/Illuminant.dyn_o )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, dist/build/Data/Colour/Chan.o, dist/build/Data/Colour/Chan.dyn_o )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, dist/build/Data/Colour/Internal.o, dist/build/Data/Colour/Internal.dyn_o )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, dist/build/Data/Colour/Matrix.o, dist/build/Data/Colour/Matrix.dyn_o )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, dist/build/Data/Colour/RGB.o, dist/build/Data/Colour/RGB.dyn_o )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, dist/build/Data/Colour/RGBSpace/HSL.o, dist/build/Data/Colour/RGBSpace/HSL.dyn_o )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, dist/build/Data/Colour/RGBSpace/HSV.o, dist/build/Data/Colour/RGBSpace/HSV.dyn_o )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, dist/build/Data/Colour/SRGB/Linear.o, dist/build/Data/Colour/SRGB/Linear.dyn_o )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, dist/build/Data/Colour/RGBSpace.o, dist/build/Data/Colour/RGBSpace.dyn_o )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, dist/build/Data/Colour/SRGB.o, dist/build/Data/Colour/SRGB.dyn_o )
Data/Colour/SRGB.hs:117:8: 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."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, 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."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127: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."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: 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."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, dist/build/Data/Colour.o, dist/build/Data/Colour.dyn_o )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, dist/build/Data/Colour/Names.o, dist/build/Data/Colour/Names.dyn_o )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, dist/build/Data/Colour/CIE.o, dist/build/Data/Colour/CIE.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib
[1 of 2] Compiling Main ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-2097788/ghc-paths-0.1.0.12/dist/setup/setup.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-2097788/ghc-paths-0.1.0.12/dist/setup/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-2097788/ghc-paths-0.1.0.12/dist/setup/setup
Configuring ghc-paths-0.1.0.12...
Preprocessing library for ghc-paths-0.1.0.12..
Building library for ghc-paths-0.1.0.12..
[1 of 1] Compiling GHC.Paths ( GHC/Paths.hs, dist/build/GHC/Paths.o, dist/build/GHC/Paths.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-paths-0.1.0.12-752baea774d5a9355b94345c7a0a744cc9812598aa286234fb651daeff14fda1/lib
Configuring haskell-lexer-1.2.1...
Preprocessing library for haskell-lexer-1.2.1..
Building library for haskell-lexer-1.2.1..
[1 of 6] Compiling Language.Haskell.Lexer.Position ( Language/Haskell/Lexer/Position.hs, dist/build/Language/Haskell/Lexer/Position.o, dist/build/Language/Haskell/Lexer/Position.dyn_o )
[2 of 6] Compiling Language.Haskell.Lexer.Tokens ( Language/Haskell/Lexer/Tokens.hs, dist/build/Language/Haskell/Lexer/Tokens.o, dist/build/Language/Haskell/Lexer/Tokens.dyn_o )
[3 of 6] Compiling Language.Haskell.Lexer.Layout ( Language/Haskell/Lexer/Layout.hs, dist/build/Language/Haskell/Lexer/Layout.o, dist/build/Language/Haskell/Lexer/Layout.dyn_o )
[4 of 6] Compiling Language.Haskell.Lexer.Utils ( Language/Haskell/Lexer/Utils.hs, dist/build/Language/Haskell/Lexer/Utils.o, dist/build/Language/Haskell/Lexer/Utils.dyn_o )
[5 of 6] Compiling Language.Haskell.Lexer.Lex ( Language/Haskell/Lexer/Lex.hs, dist/build/Language/Haskell/Lexer/Lex.o, dist/build/Language/Haskell/Lexer/Lex.dyn_o )
[6 of 6] Compiling Language.Haskell.Lexer ( Language/Haskell/Lexer.hs, dist/build/Language/Haskell/Lexer.o, dist/build/Language/Haskell/Lexer.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/haskell-lexer-1.2.1-07ce2b6f833f94cf09fbdacdf7fa3295ac26750496ef3ee4e7fedfde0a802017/lib
Configuring hsc2hs-0.68.10...
Preprocessing executable 'hsc2hs' for hsc2hs-0.68.10..
Building executable 'hsc2hs' for hsc2hs-0.68.10..
[ 1 of 12] Compiling ATTParser ( src/ATTParser.hs, dist/build/hsc2hs/hsc2hs-tmp/ATTParser.o )
[ 2 of 12] Compiling Compat.ResponseFile ( src/Compat/ResponseFile.hs, dist/build/hsc2hs/hsc2hs-tmp/Compat/ResponseFile.o )
[ 3 of 12] Compiling Compat.TempFile ( src/Compat/TempFile.hs, dist/build/hsc2hs/hsc2hs-tmp/Compat/TempFile.o )
[ 4 of 12] Compiling Common ( src/Common.hs, dist/build/hsc2hs/hsc2hs-tmp/Common.o )
[ 5 of 12] Compiling Flags ( src/Flags.hs, dist/build/hsc2hs/hsc2hs-tmp/Flags.o )
[ 6 of 12] Compiling HSCParser ( src/HSCParser.hs, dist/build/hsc2hs/hsc2hs-tmp/HSCParser.o )
[ 7 of 12] Compiling C ( src/C.hs, dist/build/hsc2hs/hsc2hs-tmp/C.o )
[ 8 of 12] Compiling CrossCodegen ( src/CrossCodegen.hs, dist/build/hsc2hs/hsc2hs-tmp/CrossCodegen.o )
[ 9 of 12] Compiling Paths_hsc2hs ( dist/build/hsc2hs/autogen/Paths_hsc2hs.hs, dist/build/hsc2hs/hsc2hs-tmp/Paths_hsc2hs.o )
[10 of 12] Compiling UtilsCodegen ( src/UtilsCodegen.hs, dist/build/hsc2hs/hsc2hs-tmp/UtilsCodegen.o )
[11 of 12] Compiling DirectCodegen ( src/DirectCodegen.hs, dist/build/hsc2hs/hsc2hs-tmp/DirectCodegen.o )
[12 of 12] Compiling Main ( src/Main.hs, dist/build/hsc2hs/hsc2hs-tmp/Main.o )
[13 of 13] Linking dist/build/hsc2hs/hsc2hs
Installing executable hsc2hs in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hsc2hs-0.68.10-e789c287b7adf7ead2fa569692031ba633cdb2fbee6ed05ce142d2c969dd649a/bin
Warning: The directory
/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hsc2hs-0.68.10-e789c287b7adf7ead2fa569692031ba633cdb2fbee6ed05ce142d2c969dd649a/bin
is not in the system search path.
Configuring hspec-discover-2.11.16...
Preprocessing library for hspec-discover-2.11.16..
Building library for hspec-discover-2.11.16..
[1 of 4] Compiling Paths_hspec_discover ( dist/build/autogen/Paths_hspec_discover.hs, dist/build/Paths_hspec_discover.o, dist/build/Paths_hspec_discover.dyn_o )
[2 of 4] Compiling Test.Hspec.Discover.Config ( src/Test/Hspec/Discover/Config.hs, dist/build/Test/Hspec/Discover/Config.o, dist/build/Test/Hspec/Discover/Config.dyn_o )
[3 of 4] Compiling Test.Hspec.Discover.Sort ( src/Test/Hspec/Discover/Sort.hs, dist/build/Test/Hspec/Discover/Sort.o, dist/build/Test/Hspec/Discover/Sort.dyn_o )
[4 of 4] Compiling Test.Hspec.Discover.Run ( src/Test/Hspec/Discover/Run.hs, dist/build/Test/Hspec/Discover/Run.o, dist/build/Test/Hspec/Discover/Run.dyn_o )
Preprocessing executable 'hspec-discover' for hspec-discover-2.11.16..
Building executable 'hspec-discover' for hspec-discover-2.11.16..
[1 of 2] Compiling Main ( driver/hspec-discover.hs, dist/build/hspec-discover/hspec-discover-tmp/Main.o )
[2 of 2] Compiling Paths_hspec_discover ( dist/build/hspec-discover/autogen/Paths_hspec_discover.hs, dist/build/hspec-discover/hspec-discover-tmp/Paths_hspec_discover.o )
[3 of 3] Linking dist/build/hspec-discover/hspec-discover
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-discover-2.11.16-b7310e5dc5a76ec92b37dd191c08eda2d9c14b5bac02cfcd4ec16220435b21fa/lib
Installing executable hspec-discover in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-discover-2.11.16-b7310e5dc5a76ec92b37dd191c08eda2d9c14b5bac02cfcd4ec16220435b21fa/bin
Warning: The directory
/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-discover-2.11.16-b7310e5dc5a76ec92b37dd191c08eda2d9c14b5bac02cfcd4ec16220435b21fa/bin
is not in the system search path.
Configuring splitmix-0.1.3.1...
Preprocessing library for splitmix-0.1.3.1..
Building library for splitmix-0.1.3.1..
[1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o )
[2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o )
[3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.1-288b12a0a41106e148ec05076951fd3c1649588ba20ba3678f267f4c1aba182b/lib
Configuring syb-0.7.3...
Preprocessing library for syb-0.7.3..
Building library for syb-0.7.3..
[ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o, dist/build/Data/Generics/Aliases.dyn_o )
[ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o, dist/build/Data/Generics/Basics.dyn_o )
[ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o, dist/build/Data/Generics/Builders.dyn_o )
[ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o, dist/build/Data/Generics/Instances.dyn_o )
[ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o, dist/build/Data/Generics/Schemes.dyn_o )
[ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o, dist/build/Data/Generics/Text.dyn_o )
[ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o, dist/build/Data/Generics/Twins.dyn_o )
[ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o, dist/build/Data/Generics.dyn_o )
[ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o, dist/build/Generics/SYB.dyn_o )
[10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o, dist/build/Generics/SYB/Aliases.dyn_o )
[11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o, dist/build/Generics/SYB/Basics.dyn_o )
[12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o, dist/build/Generics/SYB/Builders.dyn_o )
[13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o, dist/build/Generics/SYB/Instances.dyn_o )
[14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o, dist/build/Generics/SYB/Schemes.dyn_o )
[15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o, dist/build/Generics/SYB/Text.dyn_o )
[16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o, dist/build/Generics/SYB/Twins.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/syb-0.7.3-91569291a6b6655ddb7860d21c8ae004348ada5c1942b294a18fcfc00df0ed3e/lib
Configuring HUnit-1.6.2.0...
Preprocessing library for HUnit-1.6.2.0..
Building library for HUnit-1.6.2.0..
[1 of 6] Compiling Paths_HUnit ( dist/build/autogen/Paths_HUnit.hs, dist/build/Paths_HUnit.o, dist/build/Paths_HUnit.dyn_o )
[2 of 6] Compiling Test.HUnit.Lang ( src/Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o, dist/build/Test/HUnit/Lang.dyn_o )
[3 of 6] Compiling Test.HUnit.Base ( src/Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o, dist/build/Test/HUnit/Base.dyn_o )
[4 of 6] Compiling Test.HUnit.Terminal ( src/Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o, dist/build/Test/HUnit/Terminal.dyn_o )
src/Test/HUnit/Terminal.hs:41:41: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, 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."
|
41 | | otherwise = ta f (c:bs) (tail as) cs
| ^^^^
[5 of 6] Compiling Test.HUnit.Text ( src/Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o, dist/build/Test/HUnit/Text.dyn_o )
[6 of 6] Compiling Test.HUnit ( src/Test/HUnit.hs, dist/build/Test/HUnit.o, dist/build/Test/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/HUnit-1.6.2.0-aa8518921a665b3ce3b9f7f0c7a8a7fa42d03d10681bd5ecec8be730444183ec/lib
Configuring ansi-terminal-types-1.1.3...
Preprocessing library for ansi-terminal-types-1.1.3..
Building library for ansi-terminal-types-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, dist/build/System/Console/ANSI/Types.o, dist/build/System/Console/ANSI/Types.dyn_o )
[2 of 2] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, dist/build/System/Console/ANSI/Codes.o, dist/build/System/Console/ANSI/Codes.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/lib
Configuring code-page-0.2.1...
Preprocessing library for code-page-0.2.1..
Building library for code-page-0.2.1..
[1 of 3] Compiling System.IO.CodePage.Internal ( src/System/IO/CodePage/Internal.hs, dist/build/System/IO/CodePage/Internal.o, dist/build/System/IO/CodePage/Internal.dyn_o )
[2 of 3] Compiling System.IO.CodePage ( src/System/IO/CodePage.hs, dist/build/System/IO/CodePage.o, dist/build/System/IO/CodePage.dyn_o )
[3 of 3] Compiling System.Win32.CodePage ( dist/build/System/Win32/CodePage.hs, dist/build/System/Win32/CodePage.o, dist/build/System/Win32/CodePage.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/code-page-0.2.1-cc2d70f060db8c5c68a44dfdbefe331042c2cb4a9f2dcdc1ce0eb89f7352e01f/lib
Configuring random-1.3.1...
Preprocessing library for random-1.3.1..
Building library for random-1.3.1..
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o )
[5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-53ff6fe118017105e81166d88d18b96f408abcf71eb151b207f576308ca5b779/lib
Configuring hspec-expectations-0.8.4...
Preprocessing library for hspec-expectations-0.8.4..
Building library for hspec-expectations-0.8.4..
[1 of 4] Compiling Paths_hspec_expectations ( dist/build/autogen/Paths_hspec_expectations.hs, dist/build/Paths_hspec_expectations.o, dist/build/Paths_hspec_expectations.dyn_o )
[2 of 4] Compiling Test.Hspec.Expectations.Contrib ( src/Test/Hspec/Expectations/Contrib.hs, dist/build/Test/Hspec/Expectations/Contrib.o, dist/build/Test/Hspec/Expectations/Contrib.dyn_o )
[3 of 4] Compiling Test.Hspec.Expectations.Matcher ( src/Test/Hspec/Expectations/Matcher.hs, dist/build/Test/Hspec/Expectations/Matcher.o, dist/build/Test/Hspec/Expectations/Matcher.dyn_o )
[4 of 4] Compiling Test.Hspec.Expectations ( src/Test/Hspec/Expectations.hs, dist/build/Test/Hspec/Expectations.o, dist/build/Test/Hspec/Expectations.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-expectations-0.8.4-51ddcf445663c1d1fd72d4d7b52dab96f645bbc90c0046fd47e1fa05d2447893/lib
Configuring ansi-terminal-1.1.4...
Preprocessing library for ansi-terminal-1.1.4..
Building library for ansi-terminal-1.1.4..
[1 of 2] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, dist/build/System/Console/ANSI/Internal.o, dist/build/System/Console/ANSI/Internal.dyn_o )
[2 of 2] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, dist/build/System/Console/ANSI.o, dist/build/System/Console/ANSI.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.4-fdeb4df7a6008ccad81953a2118316a1a4bcb0a286aeba20b7689fd876f5587d/lib
Configuring temporary-1.3...
Preprocessing library for temporary-1.3..
Building library for temporary-1.3..
[1 of 1] Compiling System.IO.Temp ( System/IO/Temp.hs, dist/build/System/IO/Temp.o, dist/build/System/IO/Temp.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/temporary-1.3-0acaf5a116fe7526c76685b87076f05fccfc89c7b78f5a61da0b51b850b2db4a/lib
Configuring QuickCheck-2.17.1.0...
Preprocessing library for QuickCheck-2.17.1.0..
Building library for QuickCheck-2.17.1.0..
[ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o )
[ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o )
[ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o )
[ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o )
[ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o )
[ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o )
[ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o )
[ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o )
[10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o )
[11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o )
[12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o )
[13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o )
[14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o )
[15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o )
[16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o )
[17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/QuickCheck-2.17.1.0-68d4c270cdd354bbf9cd447a1fe77dfbbde8709019e0681f0f73f9dd7e81b905/lib
Configuring doctest-0.24.2...
Preprocessing library for doctest-0.24.2..
Building library for doctest-0.24.2..
[ 1 of 26] Compiling Imports ( src/Imports.hs, dist/build/Imports.o, dist/build/Imports.dyn_o )
[ 2 of 26] Compiling GhcUtil ( src/GhcUtil.hs, dist/build/GhcUtil.o, dist/build/GhcUtil.dyn_o )
[ 3 of 26] Compiling Cabal.ReplOptions ( src/Cabal/ReplOptions.hs, dist/build/Cabal/ReplOptions.o, dist/build/Cabal/ReplOptions.dyn_o )
[ 4 of 26] Compiling Cabal.Paths ( src/Cabal/Paths.hs, dist/build/Cabal/Paths.o, dist/build/Cabal/Paths.dyn_o )
[ 5 of 26] Compiling Cabal.Options ( src/Cabal/Options.hs, dist/build/Cabal/Options.o, dist/build/Cabal/Options.dyn_o )
[ 6 of 26] Compiling Language.Haskell.GhciWrapper ( src/Language/Haskell/GhciWrapper.hs, dist/build/Language/Haskell/GhciWrapper.o, dist/build/Language/Haskell/GhciWrapper.dyn_o )
[ 7 of 26] Compiling Interpreter ( src/Interpreter.hs, dist/build/Interpreter.o, dist/build/Interpreter.dyn_o )
[ 8 of 26] Compiling Location ( src/Location.hs, dist/build/Location.o, dist/build/Location.dyn_o )
[ 9 of 26] Compiling PackageDBs ( src/PackageDBs.hs, dist/build/PackageDBs.o, dist/build/PackageDBs.dyn_o )
[10 of 26] Compiling Paths_doctest ( dist/build/autogen/Paths_doctest.hs, dist/build/Paths_doctest.o, dist/build/Paths_doctest.dyn_o )
[11 of 26] Compiling Info ( src/Info.hs, dist/build/Info.o, dist/build/Info.dyn_o )
[12 of 26] Compiling Options ( src/Options.hs, dist/build/Options.o, dist/build/Options.dyn_o )
[13 of 26] Compiling Cabal ( src/Cabal.hs, dist/build/Cabal.o, dist/build/Cabal.dyn_o )
[14 of 26] Compiling Test.DocTest.Internal.Cabal ( src/Test/DocTest/Internal/Cabal.hs, dist/build/Test/DocTest/Internal/Cabal.o, dist/build/Test/DocTest/Internal/Cabal.dyn_o )
[15 of 26] Compiling Test.DocTest.Internal.Location ( src/Test/DocTest/Internal/Location.hs, dist/build/Test/DocTest/Internal/Location.o, dist/build/Test/DocTest/Internal/Location.dyn_o )
[16 of 26] Compiling Util ( src/Util.hs, dist/build/Util.o, dist/build/Util.dyn_o )
[17 of 26] Compiling Extract ( src/Extract.hs, dist/build/Extract.o, dist/build/Extract.dyn_o )
[18 of 26] Compiling Test.DocTest.Internal.Extract ( src/Test/DocTest/Internal/Extract.hs, dist/build/Test/DocTest/Internal/Extract.o, dist/build/Test/DocTest/Internal/Extract.dyn_o )
[19 of 26] Compiling Parse ( src/Parse.hs, dist/build/Parse.o, dist/build/Parse.dyn_o )
[20 of 26] Compiling Test.DocTest.Internal.Parse ( src/Test/DocTest/Internal/Parse.hs, dist/build/Test/DocTest/Internal/Parse.o, dist/build/Test/DocTest/Internal/Parse.dyn_o )
[21 of 26] Compiling Runner.Example ( src/Runner/Example.hs, dist/build/Runner/Example.o, dist/build/Runner/Example.dyn_o )
[22 of 26] Compiling Property ( src/Property.hs, dist/build/Property.o, dist/build/Property.dyn_o )
[23 of 26] Compiling Runner ( src/Runner.hs, dist/build/Runner.o, dist/build/Runner.dyn_o )
[24 of 26] Compiling Run ( src/Run.hs, dist/build/Run.o, dist/build/Run.dyn_o )
[25 of 26] Compiling Test.DocTest.Internal.Run ( src/Test/DocTest/Internal/Run.hs, dist/build/Test/DocTest/Internal/Run.o, dist/build/Test/DocTest/Internal/Run.dyn_o )
[26 of 26] Compiling Test.DocTest ( src/Test/DocTest.hs, dist/build/Test/DocTest.o, dist/build/Test/DocTest.dyn_o )
Preprocessing executable 'doctest' for doctest-0.24.2..
Building executable 'doctest' for doctest-0.24.2..
[1 of 2] Compiling Main ( driver/doctest.hs, dist/build/doctest/doctest-tmp/Main.o )
[2 of 2] Compiling Paths_doctest ( dist/build/doctest/autogen/Paths_doctest.hs, dist/build/doctest/doctest-tmp/Paths_doctest.o )
[3 of 3] Linking dist/build/doctest/doctest
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/doctest-0.24.2-36fb02a50f8d6dde48c0de8a1a53472b08cbf5dbf8abfc2d1dbc6c44c93c1cd8/lib
Installing executable doctest in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/doctest-0.24.2-36fb02a50f8d6dde48c0de8a1a53472b08cbf5dbf8abfc2d1dbc6c44c93c1cd8/bin
Warning: The directory
/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/doctest-0.24.2-36fb02a50f8d6dde48c0de8a1a53472b08cbf5dbf8abfc2d1dbc6c44c93c1cd8/bin
is not in the system search path.
Configuring quickcheck-io-0.2.0...
Preprocessing library for quickcheck-io-0.2.0..
Building library for quickcheck-io-0.2.0..
[1 of 2] Compiling Paths_quickcheck_io ( dist/build/autogen/Paths_quickcheck_io.hs, dist/build/Paths_quickcheck_io.o, dist/build/Paths_quickcheck_io.dyn_o )
[2 of 2] Compiling Test.QuickCheck.IO ( src/Test/QuickCheck/IO.hs, dist/build/Test/QuickCheck/IO.o, dist/build/Test/QuickCheck/IO.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/quickcheck-io-0.2.0-7a46409c8cb7ca919c3dd14643bbf4e1f21f46b34e9fe63a3a11db3fca7f0a1c/lib
Configuring hspec-core-2.11.16...
Preprocessing library for hspec-core-2.11.16..
Building library for hspec-core-2.11.16..
[ 1 of 50] Compiling Control.Concurrent.Async ( vendor/async-2.2.5/Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[ 2 of 50] Compiling Data.Algorithm.Diff ( vendor/Data/Algorithm/Diff.hs, dist/build/Data/Algorithm/Diff.o, dist/build/Data/Algorithm/Diff.dyn_o )
[ 3 of 50] Compiling Paths_hspec_core ( dist/build/autogen/Paths_hspec_core.hs, dist/build/Paths_hspec_core.o, dist/build/Paths_hspec_core.dyn_o )
[ 4 of 50] Compiling Test.Hspec.Core.Compat ( src/Test/Hspec/Core/Compat.hs, dist/build/Test/Hspec/Core/Compat.o, dist/build/Test/Hspec/Core/Compat.dyn_o )
[ 5 of 50] Compiling Test.Hspec.Core.Clock ( src/Test/Hspec/Core/Clock.hs, dist/build/Test/Hspec/Core/Clock.o, dist/build/Test/Hspec/Core/Clock.dyn_o )
[ 6 of 50] Compiling Test.Hspec.Core.Annotations ( src/Test/Hspec/Core/Annotations.hs, dist/build/Test/Hspec/Core/Annotations.o, dist/build/Test/Hspec/Core/Annotations.dyn_o )
[ 7 of 50] Compiling GetOpt.Declarative.Types ( src/GetOpt/Declarative/Types.hs, dist/build/GetOpt/Declarative/Types.o, dist/build/GetOpt/Declarative/Types.dyn_o )
[ 8 of 50] Compiling GetOpt.Declarative.Environment ( src/GetOpt/Declarative/Environment.hs, dist/build/GetOpt/Declarative/Environment.o, dist/build/GetOpt/Declarative/Environment.dyn_o )
[ 9 of 50] Compiling Test.Hspec.Core.Example.Location ( src/Test/Hspec/Core/Example/Location.hs, dist/build/Test/Hspec/Core/Example/Location.o, dist/build/Test/Hspec/Core/Example/Location.dyn_o )
[10 of 50] Compiling Test.Hspec.Core.Formatters.Diff ( src/Test/Hspec/Core/Formatters/Diff.hs, dist/build/Test/Hspec/Core/Formatters/Diff.o, dist/build/Test/Hspec/Core/Formatters/Diff.dyn_o )
[11 of 50] Compiling Test.Hspec.Core.Formatters.Pretty.Parser ( src/Test/Hspec/Core/Formatters/Pretty/Parser.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.dyn_o )
[12 of 50] Compiling Test.Hspec.Core.Formatters.Pretty.Unicode ( src/Test/Hspec/Core/Formatters/Pretty/Unicode.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.dyn_o )
[13 of 50] Compiling Test.Hspec.Core.Formatters.Pretty ( src/Test/Hspec/Core/Formatters/Pretty.hs, dist/build/Test/Hspec/Core/Formatters/Pretty.o, dist/build/Test/Hspec/Core/Formatters/Pretty.dyn_o )
[14 of 50] Compiling Test.Hspec.Core.Formatters.V1.Free ( src/Test/Hspec/Core/Formatters/V1/Free.hs, dist/build/Test/Hspec/Core/Formatters/V1/Free.o, dist/build/Test/Hspec/Core/Formatters/V1/Free.dyn_o )
[15 of 50] Compiling Test.Hspec.Core.Runner.JobQueue ( src/Test/Hspec/Core/Runner/JobQueue.hs, dist/build/Test/Hspec/Core/Runner/JobQueue.o, dist/build/Test/Hspec/Core/Runner/JobQueue.dyn_o )
[16 of 50] Compiling Test.Hspec.Core.Timer ( src/Test/Hspec/Core/Timer.hs, dist/build/Test/Hspec/Core/Timer.o, dist/build/Test/Hspec/Core/Timer.dyn_o )
[17 of 50] Compiling Test.Hspec.Core.Util ( src/Test/Hspec/Core/Util.hs, dist/build/Test/Hspec/Core/Util.o, dist/build/Test/Hspec/Core/Util.dyn_o )
[18 of 50] Compiling Test.Hspec.Core.QuickCheck.Util ( src/Test/Hspec/Core/QuickCheck/Util.hs, dist/build/Test/Hspec/Core/QuickCheck/Util.o, dist/build/Test/Hspec/Core/QuickCheck/Util.dyn_o )
[19 of 50] Compiling Test.Hspec.Core.Example ( src/Test/Hspec/Core/Example.hs, dist/build/Test/Hspec/Core/Example.o, dist/build/Test/Hspec/Core/Example.dyn_o )
[20 of 50] Compiling Test.Hspec.Core.Tree ( src/Test/Hspec/Core/Tree.hs, dist/build/Test/Hspec/Core/Tree.o, dist/build/Test/Hspec/Core/Tree.dyn_o )
[21 of 50] Compiling Test.Hspec.Core.Shuffle ( src/Test/Hspec/Core/Shuffle.hs, dist/build/Test/Hspec/Core/Shuffle.o, dist/build/Test/Hspec/Core/Shuffle.dyn_o )
[22 of 50] Compiling Test.Hspec.Core.Format ( src/Test/Hspec/Core/Format.hs, dist/build/Test/Hspec/Core/Format.o, dist/build/Test/Hspec/Core/Format.dyn_o )
[23 of 50] Compiling Test.Hspec.Core.Runner.Result ( src/Test/Hspec/Core/Runner/Result.hs, dist/build/Test/Hspec/Core/Runner/Result.o, dist/build/Test/Hspec/Core/Runner/Result.dyn_o )
[24 of 50] Compiling Test.Hspec.Core.Formatters.V1.Monad ( src/Test/Hspec/Core/Formatters/V1/Monad.hs, dist/build/Test/Hspec/Core/Formatters/V1/Monad.o, dist/build/Test/Hspec/Core/Formatters/V1/Monad.dyn_o )
[25 of 50] Compiling Test.Hspec.Core.Formatters.Internal ( src/Test/Hspec/Core/Formatters/Internal.hs, dist/build/Test/Hspec/Core/Formatters/Internal.o, dist/build/Test/Hspec/Core/Formatters/Internal.dyn_o )
[26 of 50] Compiling Test.Hspec.Core.Formatters.V2 ( src/Test/Hspec/Core/Formatters/V2.hs, dist/build/Test/Hspec/Core/Formatters/V2.o, dist/build/Test/Hspec/Core/Formatters/V2.dyn_o )
[27 of 50] Compiling Test.Hspec.Core.Runner.PrintSlowSpecItems ( src/Test/Hspec/Core/Runner/PrintSlowSpecItems.hs, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.o, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.dyn_o )
[28 of 50] Compiling Test.Hspec.Core.Formatters.V1.Internal ( src/Test/Hspec/Core/Formatters/V1/Internal.hs, dist/build/Test/Hspec/Core/Formatters/V1/Internal.o, dist/build/Test/Hspec/Core/Formatters/V1/Internal.dyn_o )
[29 of 50] Compiling Test.Hspec.Core.Formatters.V1 ( src/Test/Hspec/Core/Formatters/V1.hs, dist/build/Test/Hspec/Core/Formatters/V1.o, dist/build/Test/Hspec/Core/Formatters/V1.dyn_o )
[30 of 50] Compiling Test.Hspec.Core.Formatters ( src/Test/Hspec/Core/Formatters.hs, dist/build/Test/Hspec/Core/Formatters.o, dist/build/Test/Hspec/Core/Formatters.dyn_o )
[31 of 50] Compiling GetOpt.Declarative.Util ( src/GetOpt/Declarative/Util.hs, dist/build/GetOpt/Declarative/Util.o, dist/build/GetOpt/Declarative/Util.dyn_o )
[32 of 50] Compiling GetOpt.Declarative.Interpret ( src/GetOpt/Declarative/Interpret.hs, dist/build/GetOpt/Declarative/Interpret.o, dist/build/GetOpt/Declarative/Interpret.dyn_o )
[33 of 50] Compiling GetOpt.Declarative ( src/GetOpt/Declarative.hs, dist/build/GetOpt/Declarative.o, dist/build/GetOpt/Declarative.dyn_o )
[34 of 50] Compiling Test.Hspec.Core.Config.Definition ( src/Test/Hspec/Core/Config/Definition.hs, dist/build/Test/Hspec/Core/Config/Definition.o, dist/build/Test/Hspec/Core/Config/Definition.dyn_o )
[35 of 50] Compiling Test.Hspec.Core.Spec.Monad ( src/Test/Hspec/Core/Spec/Monad.hs, dist/build/Test/Hspec/Core/Spec/Monad.o, dist/build/Test/Hspec/Core/Spec/Monad.dyn_o )
[36 of 50] Compiling Test.Hspec.Core.QuickCheck ( src/Test/Hspec/Core/QuickCheck.hs, dist/build/Test/Hspec/Core/QuickCheck.o, dist/build/Test/Hspec/Core/QuickCheck.dyn_o )
[37 of 50] Compiling Test.Hspec.Core.Hooks ( src/Test/Hspec/Core/Hooks.hs, dist/build/Test/Hspec/Core/Hooks.o, dist/build/Test/Hspec/Core/Hooks.dyn_o )
[38 of 50] Compiling Test.Hspec.Core.Spec ( src/Test/Hspec/Core/Spec.hs, dist/build/Test/Hspec/Core/Spec.o, dist/build/Test/Hspec/Core/Spec.dyn_o )
[39 of 50] Compiling Test.Hspec.Core.Runner.Eval ( src/Test/Hspec/Core/Runner/Eval.hs, dist/build/Test/Hspec/Core/Runner/Eval.o, dist/build/Test/Hspec/Core/Runner/Eval.dyn_o )
[40 of 50] Compiling Test.Hspec.Core.Extension.Tree ( src/Test/Hspec/Core/Extension/Tree.hs, dist/build/Test/Hspec/Core/Extension/Tree.o, dist/build/Test/Hspec/Core/Extension/Tree.dyn_o )
[41 of 50] Compiling Test.Hspec.Core.Extension.Spec ( src/Test/Hspec/Core/Extension/Spec.hs, dist/build/Test/Hspec/Core/Extension/Spec.o, dist/build/Test/Hspec/Core/Extension/Spec.dyn_o )
[42 of 50] Compiling Test.Hspec.Core.Extension.Item ( src/Test/Hspec/Core/Extension/Item.hs, dist/build/Test/Hspec/Core/Extension/Item.o, dist/build/Test/Hspec/Core/Extension/Item.dyn_o )
[43 of 50] Compiling Test.Hspec.Core.FailureReport ( src/Test/Hspec/Core/FailureReport.hs, dist/build/Test/Hspec/Core/FailureReport.o, dist/build/Test/Hspec/Core/FailureReport.dyn_o )
[44 of 50] Compiling Test.Hspec.Core.Extension.Config.Type ( src/Test/Hspec/Core/Extension/Config/Type.hs, dist/build/Test/Hspec/Core/Extension/Config/Type.o, dist/build/Test/Hspec/Core/Extension/Config/Type.dyn_o )
[45 of 50] Compiling Test.Hspec.Core.Extension.Option ( src/Test/Hspec/Core/Extension/Option.hs, dist/build/Test/Hspec/Core/Extension/Option.o, dist/build/Test/Hspec/Core/Extension/Option.dyn_o )
[46 of 50] Compiling Test.Hspec.Core.Extension.Config ( src/Test/Hspec/Core/Extension/Config.hs, dist/build/Test/Hspec/Core/Extension/Config.o, dist/build/Test/Hspec/Core/Extension/Config.dyn_o )
[47 of 50] Compiling Test.Hspec.Core.Extension ( src/Test/Hspec/Core/Extension.hs, dist/build/Test/Hspec/Core/Extension.o, dist/build/Test/Hspec/Core/Extension.dyn_o )
[48 of 50] Compiling Test.Hspec.Core.Config.Options ( src/Test/Hspec/Core/Config/Options.hs, dist/build/Test/Hspec/Core/Config/Options.o, dist/build/Test/Hspec/Core/Config/Options.dyn_o )
[49 of 50] Compiling Test.Hspec.Core.Config ( src/Test/Hspec/Core/Config.hs, dist/build/Test/Hspec/Core/Config.o, dist/build/Test/Hspec/Core/Config.dyn_o )
[50 of 50] Compiling Test.Hspec.Core.Runner ( src/Test/Hspec/Core/Runner.hs, dist/build/Test/Hspec/Core/Runner.o, dist/build/Test/Hspec/Core/Runner.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-core-2.11.16-71c52e8d2ebd6b0430893b79766d81b4cf1bd6a8b7807b7cca620c2629e33521/lib
Configuring hspec-2.11.16...
Preprocessing library for hspec-2.11.16..
Building library for hspec-2.11.16..
[1 of 6] Compiling Paths_hspec ( dist/build/autogen/Paths_hspec.hs, dist/build/Paths_hspec.o, dist/build/Paths_hspec.dyn_o )
[2 of 6] Compiling Test.Hspec.Discover ( src/Test/Hspec/Discover.hs, dist/build/Test/Hspec/Discover.o, dist/build/Test/Hspec/Discover.dyn_o )
[3 of 6] Compiling Test.Hspec.Formatters ( src/Test/Hspec/Formatters.hs, dist/build/Test/Hspec/Formatters.o, dist/build/Test/Hspec/Formatters.dyn_o )
[4 of 6] Compiling Test.Hspec.Runner ( src/Test/Hspec/Runner.hs, dist/build/Test/Hspec/Runner.o, dist/build/Test/Hspec/Runner.dyn_o )
[5 of 6] Compiling Test.Hspec ( src/Test/Hspec.hs, dist/build/Test/Hspec.o, dist/build/Test/Hspec.dyn_o )
[6 of 6] Compiling Test.Hspec.QuickCheck ( src/Test/Hspec/QuickCheck.hs, dist/build/Test/Hspec/QuickCheck.o, dist/build/Test/Hspec/QuickCheck.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-2.11.16-55aa6cd9cfb751b01cf71d16e195b7507f6b02239378806c5f630c6e6764ec69/lib
Configuring th-cas-0.2.0...
Preprocessing test suite 'doctests' for th-cas-0.2.0..
Building test suite 'doctests' for th-cas-0.2.0..
[1 of 1] Compiling Main ( test/doctests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/doctests/doctests-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/doctests/doctests
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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Base.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Diff.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Diff.dyn_o )
[3 of 7] Compiling Algebra.CAS.GrobnerBasis ( Algebra/CAS/GrobnerBasis.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/GrobnerBasis.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/GrobnerBasis.dyn_o )
[4 of 7] Compiling Algebra.CAS.Solve ( Algebra/CAS/Solve.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Solve.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Integrate.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS.dyn_o )
[7 of 7] Compiling Algebra.CAS.TH ( Algebra/CAS/TH.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/TH.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/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 test suite 'spec' for th-cas-0.2.0..
Building test suite 'spec' for th-cas-0.2.0..
[1 of 7] Compiling Algebra.CAS.BasicSpec ( test/Algebra/CAS/BasicSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/BasicSpec.o )
test/Algebra/CAS/BasicSpec.hs:67:67: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:67
(Num b0)
arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:68
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely 7 * (x ^ 2)
In the first argument of (+), namely 2 * x + 7 * (x ^ 2)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:77: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:77
(Num b0)
arising from the literal 3 at test/Algebra/CAS/BasicSpec.hs:67:78
" In the second argument of (*), namely (x ^ 3)
In the second argument of (+), namely 7 * (x ^ 3)
In the first argument of (+), namely
2 * x + 7 * (x ^ 2) + 7 * (x ^ 3)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:87: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:87
(Num b0)
arising from the literal 4 at test/Algebra/CAS/BasicSpec.hs:67:88
" In the second argument of (*), namely (x ^ 4)
In the second argument of (+), namely 2 * (x ^ 4)
In the first argument of (+), namely
2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:105: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:105
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:67:106
" In the second argument of (*), namely (x ^ 2)
In the first argument of (*), namely 9 * (x ^ 2)
In the second argument of (+), namely 9 * (x ^ 2) * y
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:117: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:117
(Num b0)
arising from the literal 3
at test/Algebra/CAS/BasicSpec.hs:67:118
" In the second argument of (*), namely (x ^ 3)
In the first argument of (*), namely 3 * (x ^ 3)
In the second argument of (+), namely 3 * (x ^ 3) * y
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:129: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:129
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:67:130
" In the second argument of (*), namely (y ^ 2)
In the second argument of (+), namely 2 * (y ^ 2)
In the first argument of (+), namely
2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y
+ 9 * (x ^ 2) * y
+ 3 * (x ^ 3) * y
+ 2 * (y ^ 2)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:141: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:141
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:67:142
" In the second argument of (*), namely (y ^ 2)
In the second argument of (+), namely 3 * x * (y ^ 2)
In the first argument of (+), namely
2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y
+ 9 * (x ^ 2) * y
+ 3 * (x ^ 3) * y
+ 2 * (y ^ 2)
+ 3 * x * (y ^ 2)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:149: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:149
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:67:150
" In the first argument of (*), namely (x ^ 2)
In the second argument of (+), namely (x ^ 2) * (y ^ 2)
In the second argument of shouldBe, namely
2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y
+ 9 * (x ^ 2) * y
+ 3 * (x ^ 3) * y
+ 2 * (y ^ 2)
+ 3 * x * (y ^ 2)
+ (x ^ 2) * (y ^ 2)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:67:155: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:155
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:67:156
" In the second argument of (*), namely (y ^ 2)
In the second argument of (+), namely (x ^ 2) * (y ^ 2)
In the second argument of shouldBe, namely
2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y
+ 9 * (x ^ 2) * y
+ 3 * (x ^ 3) * y
+ 2 * (y ^ 2)
+ 3 * x * (y ^ 2)
+ (x ^ 2) * (y ^ 2)
|
67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2)
| ^
test/Algebra/CAS/BasicSpec.hs:93:22: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:93:22
(Num b0)
arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:93:23
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the first argument of showFormula, namely (x ^ 2 + x + y)
|
93 | showFormula (x^2+x+y) `shouldBe` "((V \"x\" :+: (V \"x\" :^: C (CI 2))) :+: V \"y\")"
| ^
test/Algebra/CAS/BasicSpec.hs:95:28: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:95:28
(Num b0)
arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:95:29
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the first argument of showFormula, namely (x ^ 2 + x + y)
|
95 | read (showFormula (x^2+x+y)) `shouldBe` x^2+x+y
| ^
test/Algebra/CAS/BasicSpec.hs:95:49: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:95:49
(Num b0)
arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:95:50
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the second argument of shouldBe, namely x ^ 2 + x + y
|
95 | read (showFormula (x^2+x+y)) `shouldBe` x^2+x+y
| ^
test/Algebra/CAS/BasicSpec.hs:97:14: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:97:14
(Num b0)
arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:97:15
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the first argument of show, namely (x ^ 2 + x + y)
|
97 | show (x^2+x+y) `shouldBe` "x + x^2 + y"
| ^
test/Algebra/CAS/BasicSpec.hs:118:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:118:16
(Num b0)
arising from the literal 3
at test/Algebra/CAS/BasicSpec.hs:118:17
" In the first argument of degree, namely (x ^ 3)
In the first argument of shouldBe, namely degree (x ^ 3)
In a stmt of a 'do' block: degree (x ^ 3) `shouldBe` 3
|
118 | degree (x^3) `shouldBe` 3
| ^
test/Algebra/CAS/BasicSpec.hs:120:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:120:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:120:17
" In the first argument of (+), namely x ^ 2
In the first argument of degree, namely (x ^ 2 + y ^ 3)
In the first argument of shouldBe, namely
degree (x ^ 2 + y ^ 3)
|
120 | degree (x^2 + y^3) `shouldBe` 3
| ^
test/Algebra/CAS/BasicSpec.hs:120:22: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:120:22
(Num b0)
arising from the literal 3
at test/Algebra/CAS/BasicSpec.hs:120:23
" In the second argument of (+), namely y ^ 3
In the first argument of degree, namely (x ^ 2 + y ^ 3)
In the first argument of shouldBe, namely
degree (x ^ 2 + y ^ 3)
|
120 | degree (x^2 + y^3) `shouldBe` 3
| ^
test/Algebra/CAS/BasicSpec.hs:134:15: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:134:15
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:134:16
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the first argument of numer, namely (x ^ 2 + x + 1)
|
134 | numer (x^2 + x + 1) `shouldBe` x^2 + x + 1
| ^
test/Algebra/CAS/BasicSpec.hs:134:39: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:134:39
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:134:40
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the second argument of shouldBe, namely x ^ 2 + x + 1
|
134 | numer (x^2 + x + 1) `shouldBe` x^2 + x + 1
| ^
test/Algebra/CAS/BasicSpec.hs:136:15: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:136:15
(Num b0)
arising from the literal 2
at test/Algebra/CAS/BasicSpec.hs:136:16
" In the first argument of (+), namely x ^ 2
In the first argument of (+), namely x ^ 2 + x
In the first argument of denom, namely (x ^ 2 + x + 1)
|
136 | denom (x^2 + x + 1) `shouldBe` 1
| ^
[2 of 7] Compiling Algebra.CAS.DiffSpec ( test/Algebra/CAS/DiffSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/DiffSpec.o )
test/Algebra/CAS/DiffSpec.hs:35:14: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:35:14
(Num b0)
arising from the literal 5 at test/Algebra/CAS/DiffSpec.hs:35:15
" In the first argument of diff, namely (x ^ 5)
In the first argument of shouldBe, namely diff (x ^ 5) (x)
In a stmt of a 'do' block: diff (x ^ 5) (x) `shouldBe` 5 * x ^ 4
|
35 | diff (x^5) (x) `shouldBe` 5*x^4
| ^
test/Algebra/CAS/DiffSpec.hs:35:36: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:35:36
(Num b0)
arising from the literal 4 at test/Algebra/CAS/DiffSpec.hs:35:37
" In the second argument of (*), namely x ^ 4
In the second argument of shouldBe, namely 5 * x ^ 4
In a stmt of a 'do' block: diff (x ^ 5) (x) `shouldBe` 5 * x ^ 4
|
35 | diff (x^5) (x) `shouldBe` 5*x^4
| ^
test/Algebra/CAS/DiffSpec.hs:39:17: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:39:17
(Num b0)
arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:39:18
" In the second argument of diffn, namely (x ^ 2)
In the first argument of shouldBe, namely diffn 0 (x ^ 2) x
In a stmt of a 'do' block: diffn 0 (x ^ 2) x `shouldBe` x ^ 2
|
39 | diffn 0 (x^2) x `shouldBe` x^2
| ^
test/Algebra/CAS/DiffSpec.hs:39:35: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:39:35
(Num b0)
arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:39:36
" In the second argument of shouldBe, namely x ^ 2
In a stmt of a 'do' block: diffn 0 (x ^ 2) x `shouldBe` x ^ 2
In the second argument of ($), namely
do diffn 0 (x ^ 2) x `shouldBe` x ^ 2
|
39 | diffn 0 (x^2) x `shouldBe` x^2
| ^
test/Algebra/CAS/DiffSpec.hs:41:17: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:41:17
(Num b0)
arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:41:18
" In the second argument of diffn, namely (x ^ 2)
In the first argument of shouldBe, namely diffn 1 (x ^ 2) x
In a stmt of a 'do' block:
diffn 1 (x ^ 2) x `shouldBe` diff (x ^ 2) x
|
41 | diffn 1 (x^2) x `shouldBe` diff (x^2) x
| ^
test/Algebra/CAS/DiffSpec.hs:41:41: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:41:41
(Num b0)
arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:41:42
" In the first argument of diff, namely (x ^ 2)
In the second argument of shouldBe, namely diff (x ^ 2) x
In a stmt of a 'do' block:
diffn 1 (x ^ 2) x `shouldBe` diff (x ^ 2) x
|
41 | diffn 1 (x^2) x `shouldBe` diff (x^2) x
| ^
test/Algebra/CAS/DiffSpec.hs:43:17: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:43:17
(Num b0)
arising from the literal 3 at test/Algebra/CAS/DiffSpec.hs:43:18
" In the second argument of diffn, namely (x ^ 3)
In the first argument of shouldBe, namely diffn 2 (x ^ 3) x
In a stmt of a 'do' block: diffn 2 (x ^ 3) x `shouldBe` 6 * x
|
43 | diffn 2 (x^3) x `shouldBe` 6*x
| ^
test/Algebra/CAS/DiffSpec.hs:45:17: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:45:17
(Num b0)
arising from the literal 3 at test/Algebra/CAS/DiffSpec.hs:45:18
" In the second argument of diffn, namely (x ^ 3)
In the first argument of shouldBe, namely diffn 3 (x ^ 3) x
In a stmt of a 'do' block: diffn 3 (x ^ 3) x `shouldBe` 6
|
45 | diffn 3 (x^3) x `shouldBe` 6
| ^
test/Algebra/CAS/DiffSpec.hs:47:17: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:47:17
(Num b0)
arising from the literal 3 at test/Algebra/CAS/DiffSpec.hs:47:18
" In the second argument of diffn, namely (x ^ 3)
In the first argument of shouldBe, namely diffn 4 (x ^ 3) x
In a stmt of a 'do' block: diffn 4 (x ^ 3) x `shouldBe` 0
|
47 | diffn 4 (x^3) x `shouldBe` 0
| ^
[3 of 7] Compiling Algebra.CAS.GrobnerBasisSpec ( test/Algebra/CAS/GrobnerBasisSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/GrobnerBasisSpec.o )
test/Algebra/CAS/GrobnerBasisSpec.hs:17:1: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: z
|
17 | z = "z"
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:20:1: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: a
|
20 | a = CV "a"
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:22:1: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: b
|
22 | b = CV "b"
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:24:1: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: c
|
24 | c = CV "c"
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:26:1: warning: [GHC-38417] [-Wmissing-signatures]
Top-level binding with no type signature: fs :: [Formula]
|
26 | fs = [ 1 -x - 3*y**2 + y**3,
| ^^
test/Algebra/CAS/GrobnerBasisSpec.hs:34:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:34:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:34:17
" In the expression: x ^ 2
In an equation for f: f = x ^ 2
In the second argument of ($), namely
do let f = x ^ 2
let g = x * y
sPolynomial f g `shouldBe` 0
|
34 | let f = x^2
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:40:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:40:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:40:17
" In the first argument of (-), namely x ^ 2
In the expression: x ^ 2 - 1
In an equation for f: f = x ^ 2 - 1
|
40 | let f = x^2 - 1
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:47:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:47:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:47:17
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + y
In an equation for f: f = x ^ 2 + y
|
47 | let f = x^2 + y
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:52:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:52:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:52:17
" In the expression: x ^ 2
In an equation for f: f = x ^ 2
In the second argument of ($), namely
do let f = x ^ 2
let g = y ^ 2
sPolynomial f g `shouldBe` 0
|
52 | let f = x^2
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:53:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:53:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:53:17
" In the expression: y ^ 2
In an equation for g: g = y ^ 2
In the second argument of ($), namely
do let f = x ^ 2
let g = y ^ 2
sPolynomial f g `shouldBe` 0
|
53 | let g = y^2
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:59:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:59:16
(Num b0)
arising from the literal 3
at test/Algebra/CAS/GrobnerBasisSpec.hs:59:17
" In the expression: x ^ 3
In an equation for f: f = x ^ 3
In the second argument of ($), namely
do let f = x ^ 3
let g = x ^ 2
sPolynomial f g `shouldBe` 0
|
59 | let f = x^3
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:60:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:60:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:60:17
" In the expression: x ^ 2
In an equation for g: g = x ^ 2
In the second argument of ($), namely
do let f = x ^ 3
let g = x ^ 2
sPolynomial f g `shouldBe` 0
|
60 | let g = x^2
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:65:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:65:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:65:17
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + x
In an equation for f: f = x ^ 2 + x
|
65 | let f = x^2 + x
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:66:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:66:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:66:17
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + y
In an equation for g: g = x ^ 2 + y
|
66 | let g = x^2 + y
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:92:18: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:92:18
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:92:19
" In the expression: x ^ 2
In the first argument of grobnerG, namely [x ^ 2]
In the first argument of shouldBe, namely grobnerG [x ^ 2]
|
92 | grobnerG [x^2] `shouldBe` []
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:95:31: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:95:31
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:95:32
" In the expression: x ^ 2
In the first argument of grobnerG, namely [x ^ 2, y ^ 2]
In the expression: grobnerG [x ^ 2, y ^ 2]
|
95 | let result = grobnerG [x^2, y^2]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:95:36: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:95:36
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:95:37
" In the expression: y ^ 2
In the first argument of grobnerG, namely [x ^ 2, y ^ 2]
In the expression: grobnerG [x ^ 2, y ^ 2]
|
95 | let result = grobnerG [x^2, y^2]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:100:31: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:100:31
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:100:32
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + 1
In the first argument of grobnerG, namely
[x ^ 2 + 1, y ^ 2 + 1]
|
100 | let result = grobnerG [x^2 + 1, y^2 + 1]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:100:40: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:100:40
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:100:41
" In the first argument of (+), namely y ^ 2
In the expression: y ^ 2 + 1
In the first argument of grobnerG, namely
[x ^ 2 + 1, y ^ 2 + 1]
|
100 | let result = grobnerG [x^2 + 1, y^2 + 1]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:105:31: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:105:31
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:105:32
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + x
In the first argument of grobnerG, namely
[x ^ 2 + x, x ^ 2 + y]
|
105 | let result = grobnerG [x^2 + x, x^2 + y]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:105:40: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:105:40
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:105:41
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + y
In the first argument of grobnerG, namely
[x ^ 2 + x, x ^ 2 + y]
|
105 | let result = grobnerG [x^2 + x, x^2 + y]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:123:19: 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."
|
123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y)
| ^^^^
test/Algebra/CAS/GrobnerBasisSpec.hs:123:29: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, 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."
|
123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y)
| ^^^^
test/Algebra/CAS/GrobnerBasisSpec.hs:123:73: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:123:73
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:123:74
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely (- 3) * (x ^ 2)
In the first argument of (+), namely
4 + (- 1) * (x) + (- 3) * (x ^ 2)
|
123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y)
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:123:92: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:123:92
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:123:93
" In the first argument of (*), namely (x ^ 2)
In the second argument of (+), namely (x ^ 2) * (y)
In the second argument of shouldBe, namely
4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y)
|
123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y)
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:126:20: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:126:20
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:126:21
" In the first argument of (+), namely x ^ 2
In the first argument of reductions, namely (x ^ 2 + y)
In the first argument of shouldBe, namely
reductions (x ^ 2 + y) []
|
126 | reductions (x^2 + y) [] `shouldBe` (x^2 + y)
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:126:44: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:126:44
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:126:45
" In the first argument of (+), namely x ^ 2
In the second argument of shouldBe, namely (x ^ 2 + y)
In a stmt of a 'do' block:
reductions (x ^ 2 + y) [] `shouldBe` (x ^ 2 + y)
|
126 | reductions (x^2 + y) [] `shouldBe` (x^2 + y)
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:132:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:132:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:132:17
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + x * y
In an equation for f: f = x ^ 2 + x * y
|
132 | let f = x^2 + x*y
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:143:33: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:143:33
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:143:34
" In the second argument of (*), namely (y ^ 2)
In the second argument of (+), namely (- 3) * (y ^ 2)
In the first argument of (+), namely
1 + (- 1) * (x) + (- 3) * (y ^ 2)
|
143 | 1 + (-1)*(x) + (-3)*(y^2) + y^3,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:143:40: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:143:40
(Num b0)
arising from the literal 3
at test/Algebra/CAS/GrobnerBasisSpec.hs:143:41
" In the second argument of (+), namely y ^ 3
In the expression: 1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3
In the second argument of shouldBe, namely
[1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3,
1 + (- 1) * (x ^ 2) + y ^ 2,
4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y),
- 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y)
+ (x) * (y),
....]
|
143 | 1 + (-1)*(x) + (-3)*(y^2) + y^3,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:144:22: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:144:22
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:144:23
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely (- 1) * (x ^ 2)
In the first argument of (+), namely 1 + (- 1) * (x ^ 2)
|
144 | 1 + (-1)*(x^2) + y^2,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:144:29: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:144:29
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:144:30
" In the second argument of (+), namely y ^ 2
In the expression: 1 + (- 1) * (x ^ 2) + y ^ 2
In the second argument of shouldBe, namely
[1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3,
1 + (- 1) * (x ^ 2) + y ^ 2,
4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y),
- 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y)
+ (x) * (y),
....]
|
144 | 1 + (-1)*(x^2) + y^2,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:145:33: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:145:33
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:145:34
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely (- 3) * (x ^ 2)
In the first argument of (+), namely
4 + (- 1) * (x) + (- 3) * (x ^ 2)
|
145 | 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y),
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:145:52: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:145:52
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:145:53
" In the first argument of (*), namely (x ^ 2)
In the second argument of (+), namely (x ^ 2) * (y)
In the expression:
4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y)
|
145 | 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y),
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:146:34: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:146:34
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:146:35
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely (11) * (x ^ 2)
In the first argument of (+), namely
- 13 + (3) * (x) + (11) * (x ^ 2)
|
146 | -13 + (3)*(x) + (11)*(x^2) + (-1)*(x^4) + (-1)*(y) + (x)*(y),
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:146:47: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:146:47
(Num b0)
arising from the literal 4
at test/Algebra/CAS/GrobnerBasisSpec.hs:146:48
" In the second argument of (*), namely (x ^ 4)
In the second argument of (+), namely (- 1) * (x ^ 4)
In the first argument of (+), namely
- 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4)
|
146 | -13 + (3)*(x) + (11)*(x^2) + (-1)*(x^4) + (-1)*(y) + (x)*(y),
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:147:34: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:34
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:35
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely (26) * (x ^ 2)
In the first argument of (+), namely
- 17 + (8) * (x) + (26) * (x ^ 2)
|
147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:147:47: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:47
(Num b0)
arising from the literal 3
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:48
" In the second argument of (*), namely (x ^ 3)
In the second argument of (+), namely (- 6) * (x ^ 3)
In the first argument of (+), namely
- 17 + (8) * (x) + (26) * (x ^ 2) + (- 6) * (x ^ 3)
|
147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:147:61: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:61
(Num b0)
arising from the literal 4
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:62
" In the second argument of (*), namely (x ^ 4)
In the second argument of (+), namely (- 12) * (x ^ 4)
In the first argument of (+), namely
- 17 + (8) * (x) + (26) * (x ^ 2) + (- 6) * (x ^ 3)
+ (- 12) * (x ^ 4)
|
147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:147:68: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:68
(Num b0)
arising from the literal 6
at test/Algebra/CAS/GrobnerBasisSpec.hs:147:69
" In the second argument of (+), namely x ^ 6
In the expression:
- 17 + (8) * (x) + (26) * (x ^ 2) + (- 6) * (x ^ 3)
+ (- 12) * (x ^ 4)
+ x ^ 6
In the second argument of shouldBe, namely
[1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3,
1 + (- 1) * (x ^ 2) + y ^ 2,
4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y),
- 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y)
+ (x) * (y),
....]
|
147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6,
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:148:34: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:34
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:35
" In the second argument of (*), namely (x ^ 2)
In the second argument of (+), namely (- 17) * (x ^ 2)
In the first argument of (+), namely
17 + (9) * (x) + (- 17) * (x ^ 2)
|
148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:148:48: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:48
(Num b0)
arising from the literal 3
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:49
" In the second argument of (*), namely (x ^ 3)
In the second argument of (+), namely (- 11) * (x ^ 3)
In the first argument of (+), namely
17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3)
|
148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:148:55: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:55
(Num b0)
arising from the literal 4
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:56
" In the second argument of (+), namely x ^ 4
In the first argument of (+), namely
17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) + x ^ 4
In the expression:
17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) + x ^ 4
+ x ^ 5
|
148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:148:61: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:61
(Num b0)
arising from the literal 5
at test/Algebra/CAS/GrobnerBasisSpec.hs:148:62
" In the second argument of (+), namely x ^ 5
In the expression:
17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) + x ^ 4
+ x ^ 5
In the second argument of shouldBe, namely
[1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3,
1 + (- 1) * (x ^ 2) + y ^ 2,
4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y),
- 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y)
+ (x) * (y),
....]
|
148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:152:33: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:152:33
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:152:34
" In the second argument of (*), namely x ^ 2
In the first argument of (+), namely 2 * x ^ 2
In the expression: 2 * x ^ 2 + 4 * x
|
152 | let gb = grobnerBasis [2*x^2 + 4*x]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:154:7: 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."
|
154 | head gb `shouldBe` (x^2 + 2*x)
| ^^^^
test/Algebra/CAS/GrobnerBasisSpec.hs:154:28: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:154:28
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:154:29
" In the first argument of (+), namely x ^ 2
In the second argument of shouldBe, namely (x ^ 2 + 2 * x)
In a stmt of a 'do' block: head gb `shouldBe` (x ^ 2 + 2 * x)
|
154 | head gb `shouldBe` (x^2 + 2*x)
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:163:21: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:163:21
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:163:22
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + 1
In the expression: [x ^ 2 + 1, y ^ 2 + 1]
|
163 | let polys = [x^2 + 1, y^2 + 1]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:163:30: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:163:30
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:163:31
" In the first argument of (+), namely y ^ 2
In the expression: y ^ 2 + 1
In the expression: [x ^ 2 + 1, y ^ 2 + 1]
|
163 | let polys = [x^2 + 1, y^2 + 1]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:175:22: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:175:22
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:175:23
" In the first argument of (+), namely x ^ 2
In the expression: x ^ 2 + y
In the first argument of grobnerBasis, namely [x ^ 2 + y]
|
175 | grobnerBasis [x^2 + y] `shouldSatisfy` (not . null)
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:178:33: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:178:33
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:178:34
" In the second argument of (*), namely x ^ 2
In the first argument of (+), namely 2 * x ^ 2
In the expression: 2 * x ^ 2 + 4 * x
|
178 | let gb = grobnerBasis [2*x^2 + 4*x, 3*y^2 + 6*y]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:178:46: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:178:46
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:178:47
" In the second argument of (*), namely y ^ 2
In the first argument of (+), namely 3 * y ^ 2
In the expression: 3 * y ^ 2 + 6 * y
|
178 | let gb = grobnerBasis [2*x^2 + 4*x, 3*y^2 + 6*y]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:180:23: warning: [GHC-63397] [-Wname-shadowing]
This binding for c shadows the existing binding
defined at test/Algebra/CAS/GrobnerBasisSpec.hs:24:1
|
180 | all (\f -> let (c, _) = headV f in c == 1 || c == (-1)) gb `shouldBe` True
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:183:31: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:183:31
(Num b0)
arising from the literal 2
at test/Algebra/CAS/GrobnerBasisSpec.hs:183:32
" In the first argument of (-), namely x ^ 2
In the expression: x ^ 2 - y
In the first argument of grobnerBasis, namely
[x ^ 2 - y, x ^ 3 - x]
|
183 | let gb = grobnerBasis [x^2 - y, x^3 - x]
| ^
test/Algebra/CAS/GrobnerBasisSpec.hs:183:40: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/GrobnerBasisSpec.hs:183:40
(Num b0)
arising from the literal 3
at test/Algebra/CAS/GrobnerBasisSpec.hs:183:41
" In the first argument of (-), namely x ^ 3
In the expression: x ^ 3 - x
In the first argument of grobnerBasis, namely
[x ^ 2 - y, x ^ 3 - x]
|
183 | let gb = grobnerBasis [x^2 - y, x^3 - x]
| ^
[4 of 7] Compiling Algebra.CAS.IntegrateSpec ( test/Algebra/CAS/IntegrateSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/IntegrateSpec.o )
test/Algebra/CAS/IntegrateSpec.hs:30:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:30:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:30:17
" In the expression: x ^ 2
In an equation for f: f = x ^ 2
In the second argument of ($), namely
do let f = x ^ 2
let res = integrate f x
expand (diff res x) `shouldBe` f
|
30 | let f = x^2
| ^
test/Algebra/CAS/IntegrateSpec.hs:35:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:35:16
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:35:17
" In the expression: x ^ 3
In an equation for f: f = x ^ 3
In the second argument of ($), namely
do let f = x ^ 3
let res = integrate f x
expand (diff res x) `shouldBe` f
|
35 | let f = x^3
| ^
test/Algebra/CAS/IntegrateSpec.hs:40:18: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:40:18
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:40:19
" In the second argument of (*), namely x ^ 2
In the expression: 3 * x ^ 2
In an equation for f: f = 3 * x ^ 2
|
40 | let f = 3*x^2
| ^
test/Algebra/CAS/IntegrateSpec.hs:50:18: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:50:18
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:50:19
" In the second argument of (*), namely x ^ 2
In the first argument of (+), namely 3 * x ^ 2
In the first argument of (+), namely 3 * x ^ 2 + 2 * x
|
50 | let f = 3*x^2 + 2*x + 1
| ^
test/Algebra/CAS/IntegrateSpec.hs:88:25: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:88:25
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:88:26
" In the first argument of (+), namely x ^ 2
In the first argument of candidateDegree, namely (x ^ 2 + 1)
In the first argument of shouldBe, namely
candidateDegree (x ^ 2 + 1) x
|
88 | candidateDegree (x^2 + 1) x `shouldBe` 3
| ^
test/Algebra/CAS/IntegrateSpec.hs:98:20: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:98:20
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:98:21
" In the first argument of (+), namely x ^ 2
In the first argument of isRational, namely (x ^ 2 + 1)
In the first argument of shouldBe, namely
isRational (x ^ 2 + 1) x
|
98 | isRational (x^2 + 1) x `shouldBe` True
| ^
test/Algebra/CAS/IntegrateSpec.hs:105:43: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:105:43
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:105:44
" In the first argument of extendedEuclidean, namely (x ^ 2)
In the expression: extendedEuclidean (x ^ 2) x x
In a pattern binding: (g, s, t) = extendedEuclidean (x ^ 2) x x
|
105 | let (g, s, t) = extendedEuclidean (x^2) x x
| ^
test/Algebra/CAS/IntegrateSpec.hs:107:18: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:107:18
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:107:19
" In the second argument of (*), namely x ^ 2
In the first argument of (+), namely s * x ^ 2
In the first argument of expand, namely (s * x ^ 2 + t * x)
|
107 | expand (s*x^2 + t*x) `shouldBe` g
| ^
test/Algebra/CAS/IntegrateSpec.hs:110:43: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:110:43
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:110:44
" In the first argument of extendedEuclidean, namely (x ^ 3)
In the expression: extendedEuclidean (x ^ 3) (x ^ 2) x
In a pattern binding:
(g, s, t) = extendedEuclidean (x ^ 3) (x ^ 2) x
|
110 | let (g, s, t) = extendedEuclidean (x^3) (x^2) x
| ^
test/Algebra/CAS/IntegrateSpec.hs:110:49: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:110:49
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:110:50
" In the second argument of extendedEuclidean, namely (x ^ 2)
In the expression: extendedEuclidean (x ^ 3) (x ^ 2) x
In a pattern binding:
(g, s, t) = extendedEuclidean (x ^ 3) (x ^ 2) x
|
110 | let (g, s, t) = extendedEuclidean (x^3) (x^2) x
| ^
test/Algebra/CAS/IntegrateSpec.hs:111:18: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:111:18
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:111:19
" In the second argument of (*), namely x ^ 3
In the first argument of (+), namely s * x ^ 3
In the first argument of expand, namely (s * x ^ 3 + t * x ^ 2)
|
111 | expand (s*x^3 + t*x^2) `shouldBe` g
| ^
test/Algebra/CAS/IntegrateSpec.hs:111:26: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:111:26
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:111:27
" In the second argument of (*), namely x ^ 2
In the second argument of (+), namely t * x ^ 2
In the first argument of expand, namely (s * x ^ 3 + t * x ^ 2)
|
111 | expand (s*x^3 + t*x^2) `shouldBe` g
| ^
test/Algebra/CAS/IntegrateSpec.hs:123:34: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:123:34
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:123:35
" In the first argument of quotRemPoly, namely (x ^ 2)
In the expression: quotRemPoly (x ^ 2) x x
In a pattern binding: (q, r) = quotRemPoly (x ^ 2) x x
|
123 | let (q, r) = quotRemPoly (x^2) x x
| ^
test/Algebra/CAS/IntegrateSpec.hs:124:36: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:124:36
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:124:37
" In the second argument of shouldBe, namely x ^ 2
In a stmt of a 'do' block: expand (q * x + r) `shouldBe` x ^ 2
In the second argument of ($), namely
do let (q, r) = quotRemPoly (x ^ 2) x x
expand (q * x + r) `shouldBe` x ^ 2
degree r `shouldSatisfy` (< 1)
|
124 | expand (q*x + r) `shouldBe` x^2
| ^
test/Algebra/CAS/IntegrateSpec.hs:128:34: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:128:34
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:128:35
" In the first argument of (+), namely x ^ 3
In the first argument of quotRemPoly, namely (x ^ 3 + x)
In the expression: quotRemPoly (x ^ 3 + x) x x
|
128 | let (q, r) = quotRemPoly (x^3 + x) x x
| ^
test/Algebra/CAS/IntegrateSpec.hs:129:36: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:129:36
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:129:37
" In the first argument of (+), namely x ^ 3
In the second argument of shouldBe, namely x ^ 3 + x
In a stmt of a 'do' block: expand (q * x + r) `shouldBe` x ^ 3 + x
|
129 | expand (q*x + r) `shouldBe` x^3 + x
| ^
test/Algebra/CAS/IntegrateSpec.hs:133:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:133:16
(Num b0)
arising from the literal 4
at test/Algebra/CAS/IntegrateSpec.hs:133:17
" In the first argument of (+), namely x ^ 4
In the first argument of (+), namely x ^ 4 + 2 * x ^ 3
In the expression: x ^ 4 + 2 * x ^ 3 + x
|
133 | let f = x^4 + 2*x^3 + x
| ^
test/Algebra/CAS/IntegrateSpec.hs:133:24: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:133:24
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:133:25
" In the second argument of (*), namely x ^ 3
In the second argument of (+), namely 2 * x ^ 3
In the first argument of (+), namely x ^ 4 + 2 * x ^ 3
|
133 | let f = x^4 + 2*x^3 + x
| ^
test/Algebra/CAS/IntegrateSpec.hs:143:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:143:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:143:17
" In the expression: x ^ 2
In an equation for f: f = x ^ 2
In the second argument of ($), namely
do let f = x ^ 2
let g = x ^ 3
let lhs = integrate (2 * f + 3 * g) x
let rhs = 2 * integrate f x + 3 * integrate g x
....
|
143 | let f = x^2
| ^
test/Algebra/CAS/IntegrateSpec.hs:144:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:144:16
(Num b0)
arising from the literal 3
at test/Algebra/CAS/IntegrateSpec.hs:144:17
" In the expression: x ^ 3
In an equation for g: g = x ^ 3
In the second argument of ($), namely
do let f = x ^ 2
let g = x ^ 3
let lhs = integrate (2 * f + 3 * g) x
let rhs = 2 * integrate f x + 3 * integrate g x
....
|
144 | let g = x^3
| ^
test/Algebra/CAS/IntegrateSpec.hs:166:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:166:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:166:17
" In the first argument of (*), namely x ^ 2
In the expression: x ^ 2 * exp (x)
In an equation for f: f = x ^ 2 * exp (x)
|
166 | let f = x^2 * exp(x)
| ^
test/Algebra/CAS/IntegrateSpec.hs:189:16: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable b0 to type Integer in the following constraints
(Integral b0)
arising from a use of ^
at test/Algebra/CAS/IntegrateSpec.hs:189:16
(Num b0)
arising from the literal 2
at test/Algebra/CAS/IntegrateSpec.hs:189:17
" In the expression: x ^ 2
In an equation for f: f = x ^ 2
In the second argument of ($), namely
do let f = x ^ 2
let res = rischNorman' f x
expand (diff res x) `shouldBe` expand f
|
189 | let f = x^2
| ^
[5 of 7] Compiling Algebra.CAS.SolveSpec ( test/Algebra/CAS/SolveSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/SolveSpec.o )
test/Algebra/CAS/SolveSpec.hs:66:11: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [Formula] not matched:
[]
[_]
[_, _]
(_:_:_:_:_)
|
66 | let [a0,a1,a2] = map CV ["a0","a1","a2"]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
test/Algebra/CAS/SolveSpec.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 [a0,a1,a2] = map V ["a0","a1","a2"]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[6 of 7] Compiling Algebra.CAS.THSpec ( test/Algebra/CAS/THSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/THSpec.o )
test/Algebra/CAS/THSpec.hs:20:32: warning: [GHC-18042] [-Wtype-defaults]
" Defaulting the type variable a0 to type Integer in the following constraints
(Eq a0)
arising from a use of == at test/Algebra/CAS/THSpec.hs:20:32-33
(Num a0)
arising from the literal 1 at test/Algebra/CAS/THSpec.hs:20:8-30
" In the expression: (1) == 1
In the second argument of ($), namely \ (x :: Int) -> (1) == 1
In a stmt of a 'do' block:
prop "diff(x+1,x)" $ \ (x :: Int) -> (1) == 1
|
20 | $(TH.diff [|x+1|] [|x|]) == 1
| ^^
[7 of 7] Compiling Main ( test/Spec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Main.o )
[8 of 8] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec
Running 2 test suites...
Test suite doctests: RUNNING...
Test suite doctests: FAIL
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/th-cas-0.2.0.test
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/hpc/vanilla/html/doctests/hpc_index.html
Test suite spec: RUNNING...
Test suite spec: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/th-cas-0.2.0.test
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Solve.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Integrate.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.GrobnerBasis.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Diff.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Base.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/hpc/vanilla/html/spec/hpc_index.html
1 of 2 test suites (1 of 2 test cases) passed.
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Base.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Diff.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.GrobnerBasis.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Integrate.hs.html
Writing: th-cas-0.2.0-inplace/Algebra.CAS.Solve.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/hpc/vanilla/html/th-cas-0.2.0/hpc_index.html
Error: cabal: Tests failed for th-cas-0.2.0.