conal / typecompose Goto Github PK

Building library for TypeCompose-0.9.12..

[ 3 of 10] Compiling Control.Compose  ( src/Control/Compose.hs, dist/build/Control/Compose.o )

src/Control/Compose.hs:596:10: error:
    • Could not deduce (Semigroup (Flip j o a))
        arising from the superclasses of an instance declaration
      from the context: (Applicative (j a), Monoid o)
        bound by the instance declaration
        at src/Control/Compose.hs:596:10-61
    • In the instance declaration for ‘Monoid (Flip j o a)’
    |
596 | instance (Applicative (j a), Monoid o) => Monoid (Flip j o a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Compose.hs:645:10: error:
    • Could not deduce (Semigroup (App f m))
        arising from the superclasses of an instance declaration
      from the context: (Applicative f, Monoid m)
        bound by the instance declaration
        at src/Control/Compose.hs:645:10-54
    • In the instance declaration for ‘Monoid (App f m)’
    |
645 | instance (Applicative f, Monoid m) => Monoid (App f m) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Compose.hs:851:1: error:
    • Could not deduce (Semigroup (Arrw j f g a))
        arising from the superclasses of an instance declaration
      from the context: Monoid (j (f a) (g a))
        bound by the instance declaration
        at src/Control/Compose.hs:851:1-63
    • In the instance declaration for ‘Monoid (Arrw j f g a)’
    |
851 | deriving instance Monoid (f a `j` g a) => Monoid (Arrw j f g a)
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Building library for TypeCompose-0.9.14..
[ 1 of 10] Compiling Control.Instances ( src/Control/Instances.hs, dist/build/Control/Instances.o, dist/build/Control/Instances.dyn_o )
[ 2 of 10] Compiling Data.Bijection   ( src/Data/Bijection.hs, dist/build/Data/Bijection.o, dist/build/Data/Bijection.dyn_o )
[ 3 of 10] Compiling Control.Compose  ( src/Control/Compose.hs, dist/build/Control/Compose.o, dist/build/Control/Compose.dyn_o )

src/Control/Compose.hs:221:22: 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.
    |
221 | newtype ((g :: k2 -> *) :. (f :: k1 -> k2)) (a :: k1)
    |                      ^

src/Control/Compose.hs:748:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Show (f a, g a)’ matches
        instance (Show a, Show b) => Show (a, b) -- Defined in ‘GHC.Show’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘Show ((f :*: g) a)’
    |
748 | instance (Show (f a, g a)) => Show ((f :*: g) a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Compose.hs:751:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Eq (f a, g a)’ matches
        instance (Eq a, Eq b) => Eq (a, b)
          -- Defined in ‘ghc-prim:GHC.Classes’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘Eq ((f :*: g) a)’
    |
751 | instance (Eq (f a, g a)) => Eq ((f :*: g) a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Compose.hs:754:10: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Ord (f a, g a)’ matches
        instance (Ord a, Ord b) => Ord (a, b)
          -- Defined in ‘ghc-prim:GHC.Classes’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the instance declaration for ‘Ord ((f :*: g) a)’
    |
754 | instance (Ord (f a, g a)) => Ord ((f :*: g) a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 10] Compiling Data.Lambda      ( src/Data/Lambda.hs, dist/build/Data/Lambda.o, dist/build/Data/Lambda.dyn_o )
[ 5 of 10] Compiling Data.Pair        ( src/Data/Pair.hs, dist/build/Data/Pair.o, dist/build/Data/Pair.dyn_o )

src/Data/Pair.hs:98:10: error:
    • Non type-variable argument in the constraint: Monoid_f (Flip j o)
      (Use FlexibleContexts to permit this)
    • In the instance declaration for ‘Pair (Flip j o)’
   |
98 | instance (Arrow j, Monoid_f (Flip j o)) =>
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Error: cabal: Failed to build TypeCompose-0.9.14