Hackage :: [Package]

Build #1 for haskus-utils-variant-2.6

[all reports]

Package haskus-utils-variant-2.6
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2019-03-04 16:09:49.819723866 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies base-4.12.0.0, deepseq-1.4.4.0, exceptions-0.10.0, haskus-utils-data-1.1.1, haskus-utils-types-1.3.1, template-haskell-2.14.0.0, transformers-0.5.5.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     StateVar-1.1.1.1
Starting     cabal-doctest-1.0.6
Starting     clock-0.7.2
Starting     base-orphans-0.8
Building     StateVar-1.1.1.1
Building     clock-0.7.2
Building     base-orphans-0.8
Building     cabal-doctest-1.0.6
Completed    base-orphans-0.8
Starting     hashable-1.2.7.0
Completed    StateVar-1.1.1.1
Starting     haskus-utils-types-1.3.1
Building     hashable-1.2.7.0
Completed    clock-0.7.2
Starting     semigroups-0.18.5
Building     haskus-utils-types-1.3.1
Building     semigroups-0.18.5
Completed    cabal-doctest-1.0.6
Starting     tagged-0.8.6
Building     tagged-0.8.6
Completed    semigroups-0.18.5
Starting     th-abstraction-0.2.11.0
Completed    haskus-utils-types-1.3.1
Starting     transformers-compat-0.6.2
Building     th-abstraction-0.2.11.0
Building     transformers-compat-0.6.2
Completed    hashable-1.2.7.0
Starting     contravariant-1.5
Building     contravariant-1.5
Completed    tagged-0.8.6
Starting     extra-1.6.14
Building     extra-1.6.14
Completed    transformers-compat-0.6.2
Starting     unordered-containers-0.2.10.0
Building     unordered-containers-0.2.10.0
Completed    th-abstraction-0.2.11.0
Starting     distributive-0.6
Completed    contravariant-1.5
Starting     transformers-base-0.4.5.2
Building     transformers-base-0.4.5.2
Building     distributive-0.6
Completed    transformers-base-0.4.5.2
Starting     exceptions-0.10.0
Building     exceptions-0.10.0
Completed    extra-1.6.14
Completed    distributive-0.6
Starting     comonad-5.0.4
Completed    exceptions-0.10.0
Building     comonad-5.0.4
Completed    unordered-containers-0.2.10.0
Completed    comonad-5.0.4
Starting     bifunctors-5.5.3
Building     bifunctors-5.5.3
Completed    bifunctors-5.5.3
Starting     profunctors-5.3
Starting     semigroupoids-5.3.2
Building     profunctors-5.3
Building     semigroupoids-5.3.2
Completed    profunctors-5.3
Completed    semigroupoids-5.3.2
Starting     free-5.1
Building     free-5.1
Completed    free-5.1
Starting     recursion-schemes-5.1.1
Building     recursion-schemes-5.1.1
Completed    recursion-schemes-5.1.1
Starting     haskus-utils-data-1.1.1
Building     haskus-utils-data-1.1.1
Completed    haskus-utils-data-1.1.1
Downloading  haskus-utils-variant-2.6
Downloaded   haskus-utils-variant-2.6
Starting     haskus-utils-variant-2.6
Building     haskus-utils-variant-2.6
Failed to install haskus-utils-variant-2.6
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/haskus-utils-variant-2.6-C3ebvMZTtlZBJrpiu4N7DY.log ):
cabal: Entering directory '/tmp/cabal-tmp-24650/haskus-utils-variant-2.6'
Configuring haskus-utils-variant-2.6...
Preprocessing library for haskus-utils-variant-2.6..
Building library for haskus-utils-variant-2.6..
[1 of 9] Compiling Haskus.Utils.ContFlow ( src/lib/Haskus/Utils/ContFlow.hs, dist/build/Haskus/Utils/ContFlow.o )
[2 of 9] Compiling Haskus.Utils.Variant ( src/lib/Haskus/Utils/Variant.hs, dist/build/Haskus/Utils/Variant.o )

src/lib/Haskus/Utils/Variant.hs:151:6: error:
    Not in scope: type constructor or class ‘Member’
    |
151 |    ( Member c cs
    |      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:272:38: error:
    Not in scope: type constructor or class ‘Length’
    |
272 | variantSize :: forall xs. (KnownNat (Length xs)) => V xs -> Word
    |                                      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:273:28: error:
    Not in scope: type constructor or class ‘Length’
    |
273 | variantSize _ = natValue @(Length xs)
    |                            ^^^^^^

src/lib/Haskus/Utils/Variant.hs:286:9: error:
    Not in scope: type constructor or class ‘Index’
    |
286 |    ) => Index n l -> V l
    |         ^^^^^

src/lib/Haskus/Utils/Variant.hs:322:23: error:
    Not in scope: type constructor or class ‘Index’
    |
322 |    ) => V l -> Maybe (Index n l)
    |                       ^^^^^

src/lib/Haskus/Utils/Variant.hs:354:27: error:
    Not in scope: type constructor or class ‘RemoveAt’
    |
354 |    ) => V l -> Either (V (RemoveAt n l)) (Index n l)
    |                           ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:354:43: error:
    Not in scope: type constructor or class ‘Index’
    |
354 |    ) => V l -> Either (V (RemoveAt n l)) (Index n l)
    |                                           ^^^^^

src/lib/Haskus/Utils/Variant.hs:389:10: error:
    Not in scope: type constructor or class ‘Index’
    |
389 |    , a ~ Index n l
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:390:31: error:
    Not in scope: type constructor or class ‘ReplaceN’
    |
390 |    ) => (a -> b) -> V l -> V (ReplaceN n b l)
    |                               ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:425:10: error:
    Not in scope: type constructor or class ‘Index’
    |
425 |    , a ~ Index n l
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:427:34: error:
    Not in scope: type constructor or class ‘ReplaceN’
    |
427 |    => (a -> m b) -> V l -> m (V (ReplaceN n b l))
    |                                  ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:436:16: error:
    Not in scope: type constructor or class ‘Length’
    |
436 |    ( KnownNat (Length ys)
    |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:437:42: error:
    Not in scope: type constructor or class ‘Concat’
    |
437 |    ) => V (x ': xs) -> (x -> V ys) -> V (Concat ys xs)
    |                                          ^^^^^^

src/lib/Haskus/Utils/Variant.hs:445:23: error:
    Not in scope: type constructor or class ‘Concat’
    |
445 |    V xs -> V ys -> V (Concat ys xs)
    |                       ^^^^^^

src/lib/Haskus/Utils/Variant.hs:491:27: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
491 | toVariant = toVariantAt @(IndexOf a l)
    |                           ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:497:6: error:
    Not in scope: type constructor or class ‘Member’
    |
497 |    ( Member a l
    |      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:500:28: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
500 | toVariant' = toVariantAt @(IndexOf a l)
    |                            ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:504:38: error:
    Not in scope: type constructor or class ‘Remove’
    |
504 |    popVariant' :: V xs -> Either (V (Remove a xs)) a
    |                                      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:512:13: error:
    Not in scope: type constructor or class ‘MaybeIndexOf’
    |
512 |       , n ~ MaybeIndexOf a xs
    |             ^^^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:513:15: error:
    Not in scope: type constructor or class ‘RemoveAt1’
    |
513 |       , xs' ~ RemoveAt1 n xs
    |               ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:514:9: error:
    Not in scope: type constructor or class ‘Remove’
    |
514 |       , Remove a xs' ~ Remove a xs
    |         ^^^^^^

src/lib/Haskus/Utils/Variant.hs:514:24: error:
    Not in scope: type constructor or class ‘Remove’
    |
514 |       , Remove a xs' ~ Remove a xs
    |                        ^^^^^^

src/lib/Haskus/Utils/Variant.hs:535:10: error:
    Not in scope: type constructor or class ‘MaybeIndexOf’
    |
535 |    ( n ~ MaybeIndexOf x as
    |          ^^^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:536:10: error:
    Not in scope: type constructor or class ‘MaybeIndexOf’
    |
536 |    , m ~ MaybeIndexOf x rs
    |          ^^^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:554:23: error:
    Not in scope: type constructor or class ‘Complement’
    |
554 |    ( SplitVariant as (Complement xs as) xs
    |                       ^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:555:28: error:
    Not in scope: type constructor or class ‘Complement’
    |
555 |    ) => V xs -> Either (V (Complement xs as)) (V as)
    |                            ^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:556:36: error:
    Not in scope: type constructor or class ‘Complement’
    |
556 | splitVariant = splitVariant' @as @(Complement xs as) @xs
    |                                    ^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:560:6: error:
    Not in scope: type constructor or class ‘CheckMember’
    |
560 |    ( CheckMember x xs
    |      ^^^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:561:6: error:
    Not in scope: type constructor or class ‘Member’
    |
561 |    , Member x xs
    |      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:580:28: error:
    Not in scope: type constructor or class ‘Remove’
    |
580 |    ) => V xs -> Either (V (Remove a xs)) a
    |                            ^^^^^^

src/lib/Haskus/Utils/Variant.hs:588:28: error:
    Not in scope: type constructor or class ‘Remove’
    |
588 |    ) => V xs -> Either (V (Remove a xs)) a
    |                            ^^^^^^

src/lib/Haskus/Utils/Variant.hs:599:6: error:
    Not in scope: type constructor or class ‘Member’
    |
599 |    ( Member a l
    |      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:602:36: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
602 | fromVariantFirst = fromVariantAt @(IndexOf a l)
    |                                    ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:662:6: error:
    Not in scope: type constructor or class ‘Member’
    |
662 |    ( Member a l
    |      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:663:10: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
663 |    , n ~ IndexOf a l
    |          ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:664:31: error:
    Not in scope: type constructor or class ‘ReplaceN’
    |
664 |    ) => (a -> b) -> V l -> V (ReplaceN n b l)
    |                               ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:695:6: error:
    Not in scope: type constructor or class ‘Member’
    |
695 |    ( Member a l
    |      ^^^^^^

src/lib/Haskus/Utils/Variant.hs:696:10: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
696 |    , n ~ IndexOf a l
    |          ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:698:36: error:
    Not in scope: type constructor or class ‘ReplaceN’
    |
698 |    ) => (a -> m b) -> V l -> m (V (ReplaceN n b l))
    |                                    ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:703:42: error:
    Not in scope: type constructor or class ‘ReplaceNS’
    |
703 |    mapVariant' :: (a -> b) -> V cs -> V (ReplaceNS is b cs)
    |                                          ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:714:29: error:
    Not in scope: type constructor or class ‘ReplaceN’
    |
714 |    ( MapVariantIndexes a b (ReplaceN i b cs) is
    |                             ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:715:10: error:
    Not in scope: type constructor or class ‘Index’
    |
715 |    , a ~ Index i cs
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:719:42: error:
    Not in scope: type constructor or class ‘ReplaceN’
    |
719 |    mapVariant' f v = mapVariant' @a @b @(ReplaceN i b cs) @is f (mapVariantAt @i f v)
    |                                          ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:722:32: error:
    Not in scope: type constructor or class ‘IndexesOf’
    |
722 |    ( MapVariantIndexes a b cs (IndexesOf a cs)
    |                                ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:725:26: error:
    Not in scope: type constructor or class ‘ReplaceNS’
    |
725 | type ReplaceAll a b cs = ReplaceNS (IndexesOf a cs) b cs
    |                          ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:725:37: error:
    Not in scope: type constructor or class ‘IndexesOf’
    |
725 | type ReplaceAll a b cs = ReplaceNS (IndexesOf a cs) b cs
    |                                     ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:741:38: error:
    Not in scope: type constructor or class ‘IndexesOf’
    |
741 | mapVariant = mapVariant' @a @b @cs @(IndexesOf a cs)
    |                                      ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:754:11: error:
    Not in scope: type constructor or class ‘ReplaceNS’
    |
754 |    , ds ~ ReplaceNS (IndexesOf a cs) b cs
    |           ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:754:22: error:
    Not in scope: type constructor or class ‘IndexesOf’
    |
754 |    , ds ~ ReplaceNS (IndexesOf a cs) b cs
    |                      ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:755:11: error:
    Not in scope: type constructor or class ‘Nub’
    Perhaps you meant ‘Num’ (imported from Prelude)
    |
755 |    , rs ~ Nub ds
    |           ^^^

src/lib/Haskus/Utils/Variant.hs:775:16: error:
    Not in scope: type constructor or class ‘Length’
    |
775 |    , KnownNat (Length l2)
    |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:776:10: error:
    Not in scope: type constructor or class ‘Index’
    |
776 |    ) => (Index n l -> V l2) -> V l -> V (ReplaceAt n l l2)
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:776:42: error:
    Not in scope: type constructor or class ‘ReplaceAt’
    Perhaps you meant ‘ReplaceAll’ (line 725)
    |
776 |    ) => (Index n l -> V l2) -> V l -> V (ReplaceAt n l l2)
    |                                          ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:789:25: error:
    Not in scope: type constructor or class ‘Length’
    |
789 |       nl2 = natValue' @(Length l2)
    |                         ^^^^^^

src/lib/Haskus/Utils/Variant.hs:794:16: error:
    Not in scope: type constructor or class ‘Length’
    |
794 |    , KnownNat (Length l2)
    |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:796:10: error:
    Not in scope: type constructor or class ‘Index’
    |
796 |    ) => (Index n l -> m (V l2)) -> V l -> m (V (ReplaceAt n l l2))
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:796:49: error:
    Not in scope: type constructor or class ‘ReplaceAt’
    Perhaps you meant ‘ReplaceAll’ (line 725)
    |
796 |    ) => (Index n l -> m (V l2)) -> V l -> m (V (ReplaceAt n l l2))
    |                                                 ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:811:25: error:
    Not in scope: type constructor or class ‘Length’
    |
811 |       nl2 = natValue' @(Length l2)
    |                         ^^^^^^

src/lib/Haskus/Utils/Variant.hs:816:16: error:
    Not in scope: type constructor or class ‘Length’
    |
816 |    , KnownNat (Length l2)
    |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:817:10: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
817 |    , n ~ IndexOf a l
    |          ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:818:10: error:
    Not in scope: type constructor or class ‘Index’
    |
818 |    , a ~ Index n l
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:819:34: error:
    Not in scope: type constructor or class ‘ReplaceAt’
    Perhaps you meant ‘ReplaceAll’ (line 725)
    |
819 |    ) => (a -> V l2) -> V l -> V (ReplaceAt n l l2)
    |                                  ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:825:16: error:
    Not in scope: type constructor or class ‘Length’
    |
825 |    , KnownNat (Length l2)
    |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:826:10: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
826 |    , n ~ IndexOf a l
    |          ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:827:10: error:
    Not in scope: type constructor or class ‘Index’
    |
827 |    , a ~ Index n l
    |          ^^^^^

src/lib/Haskus/Utils/Variant.hs:829:41: error:
    Not in scope: type constructor or class ‘ReplaceAt’
    Perhaps you meant ‘ReplaceAll’ (line 725)
    |
829 |    ) => (a -> m (V l2)) -> V l -> m (V (ReplaceAt n l l2))
    |                                         ^^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:846:10: error:
    Not in scope: type constructor or class ‘IndexOf’
    |
846 |    ( i ~ IndexOf a cs
    |          ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:848:35: error:
    Not in scope: type constructor or class ‘InsertAt’
    |
848 |    ) => (a -> V ds) -> V cs -> V (InsertAt i (Remove a cs) ds)
    |                                   ^^^^^^^^

src/lib/Haskus/Utils/Variant.hs:848:47: error:
    Not in scope: type constructor or class ‘Remove’
    |
848 |    ) => (a -> V ds) -> V cs -> V (InsertAt i (Remove a cs) ds)
    |                                               ^^^^^^

src/lib/Haskus/Utils/Variant.hs:990:61: error:
    Not in scope: type constructor or class ‘Concat’
    |
990 | appendVariant :: forall (ys :: [*]) (xs :: [*]). V xs -> V (Concat xs ys)
    |                                                             ^^^^^^

src/lib/Haskus/Utils/Variant.hs:996:16: error:
    Not in scope: type constructor or class ‘Length’
    |
996 |    ( KnownNat (Length ys)
    |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:997:20: error:
    Not in scope: type constructor or class ‘Concat’
    |
997 |    ) => V xs -> V (Concat ys xs)
    |                    ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1001:23: error:
    Not in scope: type constructor or class ‘Length’
     |
1001 |       n = natValue' @(Length ys)
     |                       ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1019:19: error:
    Not in scope: type constructor or class ‘IndexOf’
     |
1019 |       , KnownNat (IndexOf x ys)
     |                   ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:1024:45: error:
    Not in scope: type constructor or class ‘IndexOf’
     |
1024 |          | t == 0    = Variant (natValue' @(IndexOf x ys)) a
     |                                             ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:1038:32: error:
    Not in scope: type constructor or class ‘Nub’
    Perhaps you meant ‘Num’ (imported from Prelude)
     |
1038 | nubVariant :: (LiftVariant xs (Nub xs)) => V xs -> V (Nub xs)
     |                                ^^^

src/lib/Haskus/Utils/Variant.hs:1038:55: error:
    Not in scope: type constructor or class ‘Nub’
    Perhaps you meant ‘Num’ (imported from Prelude)
     |
1038 | nubVariant :: (LiftVariant xs (Nub xs)) => V xs -> V (Nub xs)
     |                                                       ^^^

src/lib/Haskus/Utils/Variant.hs:1044:16: error:
    Not in scope: type constructor or class ‘Length’
     |
1044 |    ( KnownNat (Length ys)
     |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1045:28: error:
    Not in scope: type constructor or class ‘Product’
     |
1045 |    ) => V xs -> V ys -> V (Product xs ys)
     |                            ^^^^^^^

src/lib/Haskus/Utils/Variant.hs:1048:31: error:
    Not in scope: type constructor or class ‘Length’
     |
1048 |    = Variant (n1 * natValue @(Length ys) + n2) (unsafeCoerce (a1,a2))
     |                               ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1052:31: error:
    Not in scope: type constructor or class ‘Concat’
     |
1052 |    FlattenVariant (V xs:ys) = Concat xs (FlattenVariant ys)
     |                               ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1064:16: error:
    Not in scope: type constructor or class ‘Length’
     |
1064 |    , KnownNat (Length xs)
     |                ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1070:61: error:
    Not in scope: type constructor or class ‘Length’
     |
1070 |       Left vys            -> toFlattenVariant (i+natValue @(Length xs)) vys
     |                                                             ^^^^^^

src/lib/Haskus/Utils/Variant.hs:1159:37: error:
    Not in scope: type constructor or class ‘Map’
     |
1159 |    variantToHList :: V xs -> HList (Map Maybe xs)
     |                                     ^^^

src/lib/Haskus/Utils/Variant.hs:1177:15: error:
    Not in scope: type constructor or class ‘Map’
     |
1177 |    , HTuple' (Map Maybe l) t
     |               ^^^
cabal: Leaving directory '/tmp/cabal-tmp-24650/haskus-utils-variant-2.6'
cabal: Error: some packages failed to install:
haskus-utils-variant-2.6-C3ebvMZTtlZBJrpiu4N7DY failed during the building
phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.