Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build #1 for exotic-list-monads-1.2.0

[all reports]

Package	exotic-list-monads-1.2.0

Install	BuildFailed
Docs	NotTried
Tests	NotTried

Time submitted	2025-07-01 10:21:48.472860571 UTC
Compiler	ghc-9.8.4
OS	linux
Arch	x86_64
Dependencies	base-4.19.2.0
Flags	none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Downloading  exotic-list-monads-1.2.0
Downloaded   exotic-list-monads-1.2.0
Configuring exotic-list-monads-1.2.0...
Preprocessing library for exotic-list-monads-1.2.0..
Building library for exotic-list-monads-1.2.0..
[1 of 3] Compiling Control.Monad.List.Exotic ( src/Control/Monad/List/Exotic.hs, dist/build/Control/Monad/List/Exotic.o, dist/build/Control/Monad/List/Exotic.dyn_o )

src/Control/Monad/List/Exotic.hs:766:22: 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."
    |
766 |              | null (head (dropWhile isSingle (init xss) ++ [last xss]))
    |                      ^^^^

src/Control/Monad/List/Exotic.hs:770:20: 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."
    |
770 |              = map head (takeWhile isSingle (init xss))
    |                    ^^^^

src/Control/Monad/List/Exotic.hs:771:20: 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."
    |
771 |                 ++ head (dropWhile isSingle (init xss) ++ [last xss])
    |                    ^^^^

src/Control/Monad/List/Exotic.hs:844:22: 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."
    |
844 |              | null (head (dropWhile isSingle (init xss) ++ [last xss]))
    |                      ^^^^

src/Control/Monad/List/Exotic.hs:850:43: 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."
    |
850 |                     ++ replicate (m + 2) (head (head (dropWhile isSingle (init xss))))
    |                                           ^^^^

src/Control/Monad/List/Exotic.hs:850:49: 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."
    |
850 |                     ++ replicate (m + 2) (head (head (dropWhile isSingle (init xss))))
    |                                                 ^^^^

src/Control/Monad/List/Exotic.hs:1247:39: warning: [GHC-63394] [-Wx-partial]
    In the use of head
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
     |
1247 | primes = sieve [2..] where sieve ps = head ps : sieve [x | x <- tail ps, x `mod` head ps > 0]
     |                                       ^^^^

src/Control/Monad/List/Exotic.hs:1247:65: 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."
     |
1247 | primes = sieve [2..] where sieve ps = head ps : sieve [x | x <- tail ps, x `mod` head ps > 0]
     |                                                                 ^^^^

src/Control/Monad/List/Exotic.hs:1247:82: 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."
     |
1247 | primes = sieve [2..] where sieve ps = head ps : sieve [x | x <- tail ps, x `mod` head ps > 0]
     |                                                                                  ^^^^

src/Control/Monad/List/Exotic.hs:1253:32: 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."
     |
1253 | fib = 0 : 1 : zipWith (+) fib (tail fib)
     |                                ^^^^
[2 of 3] Compiling Control.Monad.List.NonEmpty.Exotic ( src/Control/Monad/List/NonEmpty/Exotic.hs, dist/build/Control/Monad/List/NonEmpty/Exotic.o, dist/build/Control/Monad/List/NonEmpty/Exotic.dyn_o )

src/Control/Monad/List/NonEmpty/Exotic.hs:898:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for Applicative (AlphaNOmegaK n k)
    Suggested fix: Perhaps you intended to use UndecidableInstances
    |
898 | instance (KnownNat n, KnownNat k, 2 <= n + k) => Applicative (AlphaNOmegaK n k) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:902:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for Monad (AlphaNOmegaK n k)
    Suggested fix: Perhaps you intended to use UndecidableInstances
    |
902 | instance (KnownNat n, KnownNat k, 2 <= n + k) => Monad (AlphaNOmegaK n k) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:914:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for IsNonEmpty (AlphaNOmegaK n k a)
    Suggested fix: Perhaps you intended to use UndecidableInstances
    |
914 | instance (KnownNat n, KnownNat k, 2 <= n + k) => IsNonEmpty (AlphaNOmegaK n k a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:919:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for
        NonEmptyMonad (AlphaNOmegaK n k)
    Suggested fix: Perhaps you intended to use UndecidableInstances
    |
919 | instance (KnownNat n, KnownNat k, 2 <= n + k) => NonEmptyMonad (AlphaNOmegaK n k)
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:921:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for IsList (AlphaNOmegaK n k a)
    Suggested fix: Perhaps you intended to use UndecidableInstances
    |
921 | instance (KnownNat n, KnownNat k, 2 <= n + k) => IsList (AlphaNOmegaK n k a) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:928:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for
        IsString (AlphaNOmegaK n k Char)
    Suggested fix: Perhaps you intended to use UndecidableInstances
    |
928 | instance (KnownNat n, KnownNat k, 2 <= n + k) => IsString (AlphaNOmegaK n k Char) where
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:1028:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for
        HasShortFront (AlphaNOmegaK n k)
    Suggested fix: Perhaps you intended to use UndecidableInstances
     |
1028 | instance (KnownNat n, KnownNat k, 2 <= n + k) => HasShortFront (AlphaNOmegaK n k)
     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Control/Monad/List/NonEmpty/Exotic.hs:1115:10: error: [GHC-22979]
    " Illegal use of type family GHC.TypeError.Assert
        in the constraint 2 <= (n + k)
    " In the instance declaration for HasShortRear (AlphaNOmegaK n k)
    Suggested fix: Perhaps you intended to use UndecidableInstances
     |
1115 | instance (KnownNat n, KnownNat k, 2 <= n + k) => HasShortRear (AlphaNOmegaK n k)
     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 3] Compiling Paths_exotic_list_monads ( dist/build/autogen/Paths_exotic_list_monads.hs, dist/build/Paths_exotic_list_monads.o, dist/build/Paths_exotic_list_monads.dyn_o )
Failed to install exotic-list-monads-1.2.0
Error: cabal: Some packages failed to install:
exotic-list-monads-1.2.0-4zCKDZ7P3cfGF3sb8gegKG failed during the building
phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.