hgeometry
hgeometry copied to clipboard
Build fails on latest Hackage version
HI! When I build this using the latest Hackage version and GHC 9.2.4, my build fails. Here's the log:
Configuring library for hgeometry-0.11.0.0..
Preprocessing library for hgeometry-0.11.0.0..
Building library for hgeometry-0.11.0.0..
[ 1 of 105] Compiling Algorithms.Geometry.SoS.Expr ( src/Algorithms/Geometry/SoS/Expr.hs, dist/build/Algorithms/Geometry/SoS/Expr.o, dist/build/Algorithms/Geometry/SoS/Expr.dyn_o )
src/Algorithms/Geometry/SoS/Expr.hs:6:1: warning: [-Wunused-imports]
The import of ‘Data.List.NonEmpty’ is redundant
except perhaps to import instances from ‘Data.List.NonEmpty’
To import instances alone, use: import Data.List.NonEmpty()
|
6 | import Data.List.NonEmpty (NonEmpty(..),nonEmpty)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Algorithms/Geometry/SoS/Expr.hs:37:10: warning: [-Wmissing-methods]
• No explicit implementation for
‘abs’ and ‘signum’
• In the instance declaration for ‘Num (Expr i r)’
|
37 | instance (Num r) => Num (Expr i r) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[ 2 of 105] Compiling Algorithms.Geometry.SoS.Sign ( src/Algorithms/Geometry/SoS/Sign.hs, dist/build/Algorithms/Geometry/SoS/Sign.o, dist/build/Algorithms/Geometry/SoS/Sign.dyn_o )
[ 3 of 105] Compiling Algorithms.Geometry.SoS.Symbolic ( src/Algorithms/Geometry/SoS/Symbolic.hs, dist/build/Algorithms/Geometry/SoS/Symbolic.o, dist/build/Algorithms/Geometry/SoS/Symbolic.dyn_o )
src/Algorithms/Geometry/SoS/Symbolic.hs:24:1: warning: [-Wunused-imports]
The import of ‘Data.Word’ is redundant
except perhaps to import instances from ‘Data.Word’
To import instances alone, use: import Data.Word()
|
24 | import Data.Word
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Algorithms/Geometry/SoS/Symbolic.hs:25:58: warning: [-Wunused-imports]
The import of ‘suchThat’ from module ‘Test.QuickCheck’ is redundant
|
25 | import Test.QuickCheck (Arbitrary(..), listOf, suchThat)
| ^^^^^^^^
[ 4 of 105] Compiling Data.Geometry.Directions ( src/Data/Geometry/Directions.hs, dist/build/Data/Geometry/Directions.o, dist/build/Data/Geometry/Directions.dyn_o )
[ 5 of 105] Compiling Data.Geometry.Interval.Util ( src/Data/Geometry/Interval/Util.hs, dist/build/Data/Geometry/Interval/Util.o, dist/build/Data/Geometry/Interval/Util.dyn_o )
[ 6 of 105] Compiling Data.Geometry.Properties ( src/Data/Geometry/Properties.hs, dist/build/Data/Geometry/Properties.o, dist/build/Data/Geometry/Properties.dyn_o )
src/Data/Geometry/Properties.hs:32:26: warning: [-Wstar-is-type]
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
|
32 | type family NumType t :: *
| ^
[ 7 of 105] Compiling Data.Geometry.Interval ( src/Data/Geometry/Interval.hs, dist/build/Data/Geometry/Interval.o, dist/build/Data/Geometry/Interval.dyn_o )
[ 8 of 105] Compiling Data.Geometry.IntervalTree ( src/Data/Geometry/IntervalTree.hs, dist/build/Data/Geometry/IntervalTree.o, dist/build/Data/Geometry/IntervalTree.dyn_o )
[ 9 of 105] Compiling Data.Geometry.RangeTree.Measure ( src/Data/Geometry/RangeTree/Measure.hs, dist/build/Data/Geometry/RangeTree/Measure.o, dist/build/Data/Geometry/RangeTree/Measure.dyn_o )
src/Data/Geometry/RangeTree/Measure.hs:48:10: error:
Duplicate instance declarations:
instance forall k (l :: k -> *) (a :: k) (r :: k -> *).
(Semigroup (l a), Semigroup (r a)) =>
Semigroup ((:*:) l r a)
-- Defined at src/Data/Geometry/RangeTree/Measure.hs:48:10
instance [safe] forall k (f :: k -> *) (a :: k) (g :: k -> *).
(Semigroup (f a), Semigroup (g a)) =>
Semigroup (Product f g a)
-- Defined in ‘Data.Functor.Product’
|
48 | instance (Semigroup (l a), Semigroup (r a)) => Semigroup ((l :*: r) a) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Data/Geometry/RangeTree/Measure.hs:51:10: error:
Duplicate instance declarations:
instance forall k (l :: k -> *) (a :: k) (r :: k -> *).
(Monoid (l a), Monoid (r a)) =>
Monoid ((:*:) l r a)
-- Defined at src/Data/Geometry/RangeTree/Measure.hs:51:10
instance [safe] forall k (f :: k -> *) (a :: k) (g :: k -> *).
(Monoid (f a), Monoid (g a)) =>
Monoid (Product f g a)
-- Defined in ‘Data.Functor.Product’
|
51 | instance (Monoid (l a), Monoid (r a)) => Monoid ((l :*: r) a) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Thoughts?
Thanks for any help!