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 base-compat-0.10.5 Building StateVar-1.1.1.1 Building base-compat-0.10.5 Completed StateVar-1.1.1.1 Starting base-orphans-0.8 Building base-orphans-0.8 Completed base-orphans-0.8 Starting cabal-doctest-1.0.6 Building cabal-doctest-1.0.6 Completed base-compat-0.10.5 Starting call-stack-0.1.0 Building call-stack-0.1.0 Completed cabal-doctest-1.0.6 Starting data-default-class-0.1.2.0 Completed call-stack-0.1.0 Starting dlist-0.8.0.5 Building data-default-class-0.1.2.0 Building dlist-0.8.0.5 Completed data-default-class-0.1.2.0 Starting erf-2.0.0.0 Building erf-2.0.0.0 Completed dlist-0.8.0.5 Starting hashable-1.2.7.0 Building hashable-1.2.7.0 Completed erf-2.0.0.0 Starting integer-logarithms-1.0.2.2 Building integer-logarithms-1.0.2.2 Completed integer-logarithms-1.0.2.2 Starting parallel-3.2.2.0 Completed hashable-1.2.7.0 Starting prettyprinter-1.2.1 Building parallel-3.2.2.0 Building prettyprinter-1.2.1 Completed parallel-3.2.2.0 Starting primitive-0.6.4.0 Building primitive-0.6.4.0 Completed prettyprinter-1.2.1 Starting random-1.1 Building random-1.1 Completed random-1.1 Starting reflection-2.1.4 Building reflection-2.1.4 Completed primitive-0.6.4.0 Starting semigroups-0.18.5 Completed reflection-2.1.4 Starting tagged-0.8.6 Building semigroups-0.18.5 Building tagged-0.8.6 Completed semigroups-0.18.5 Starting th-abstraction-0.2.8.0 Building th-abstraction-0.2.8.0 Completed tagged-0.8.6 Starting time-locale-compat-0.1.1.5 Building time-locale-compat-0.1.1.5 Completed time-locale-compat-0.1.1.5 Starting transformers-compat-0.6.2 Building transformers-compat-0.6.2 Completed th-abstraction-0.2.8.0 Starting vinyl-0.10.0 Building vinyl-0.10.0 Completed transformers-compat-0.6.2 Starting void-0.7.2 Building void-0.7.2 Completed void-0.7.2 Starting contravariant-1.5 Building contravariant-1.5 Completed contravariant-1.5 Starting unordered-containers-0.2.9.0 Completed vinyl-0.10.0 Starting uuid-types-1.0.3 Building unordered-containers-0.2.9.0 Building uuid-types-1.0.3 Completed uuid-types-1.0.3 Starting vector-0.12.0.1 Building vector-0.12.0.1 Completed unordered-containers-0.2.9.0 Starting tf-random-0.5 Building tf-random-0.5 Completed tf-random-0.5 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed scientific-0.3.6.2 Starting distributive-0.6 Building distributive-0.6 Completed distributive-0.6 Starting generic-deriving-1.12.2 Building generic-deriving-1.12.2 Completed vector-0.12.0.1 Starting transformers-base-0.4.5.2 Building transformers-base-0.4.5.2 Completed transformers-base-0.4.5.2 Starting mmorph-1.1.2 Building mmorph-1.1.2 Completed mmorph-1.1.2 Starting exceptions-0.10.0 Building exceptions-0.10.0 Completed exceptions-0.10.0 Starting QuickCheck-2.12.6.1 Completed generic-deriving-1.12.2 Starting attoparsec-0.13.2.2 Building QuickCheck-2.12.6.1 Building attoparsec-0.13.2.2 Completed attoparsec-0.13.2.2 Starting comonad-5.0.4 Building comonad-5.0.4 Completed comonad-5.0.4 Starting monad-control-1.0.2.3 Building monad-control-1.0.2.3 Completed QuickCheck-2.12.6.1 Starting aeson-1.4.1.0 Building aeson-1.4.1.0 Completed monad-control-1.0.2.3 Starting bifunctors-5.5.3 Building bifunctors-5.5.3 Completed bifunctors-5.5.3 Starting semigroupoids-5.3.1 Building semigroupoids-5.3.1 Completed semigroupoids-5.3.1 Starting profunctors-5.3 Building profunctors-5.3 Completed aeson-1.4.1.0 Starting aeson-better-errors-0.9.1.0 Building aeson-better-errors-0.9.1.0 Completed aeson-better-errors-0.9.1.0 Completed profunctors-5.3 Starting invariant-0.5.1 Starting free-5.1 Building invariant-0.5.1 Building free-5.1 Completed invariant-0.5.1 Completed free-5.1 Starting keys-3.12.1 Starting adjunctions-4.4 Building keys-3.12.1 Building adjunctions-4.4 Completed adjunctions-4.4 Starting kan-extensions-5.2 Completed keys-3.12.1 Building kan-extensions-5.2 Completed kan-extensions-5.2 Starting pointed-5.0.1 Starting lens-4.17 Building pointed-5.0.1 Building lens-4.17 Completed pointed-5.0.1 Starting vector-instances-3.4 Building vector-instances-3.4 Completed vector-instances-3.4 Starting these-0.7.5 Building these-0.7.5 Completed these-0.7.5 Starting refined-0.2.3.0 Building refined-0.2.3.0 Completed refined-0.2.3.0 Completed lens-4.17 Starting composite-base-0.5.3.0 Building composite-base-0.5.3.0 Failed to install composite-base-0.5.3.0 Build log ( /home/builder/.cabal/logs/ghc-8.6.1/composite-base-0.5.3.0-5MxePX7q5V9A315rCzKrau.log ): cabal: Entering directory '/tmp/cabal-tmp-16264/composite-base-0.5.3.0' Configuring composite-base-0.5.3.0... Preprocessing library for composite-base-0.5.3.0.. Building library for composite-base-0.5.3.0.. [1 of 6] Compiling Composite.Record ( src/Composite/Record.hs, dist/build/Composite/Record.o ) src/Composite/Record.hs:175:3: error: • Couldn't match expected type ‘Rec Identity rs -> g (Rec Identity rs)’ with actual type ‘s :-> record1 f1 rs1’ • In the expression: Vinyl.rlens proxy $ \ (Identity (Val a)) -> Identity . Val <$> f a In an equation for ‘rlens’: rlens proxy f = Vinyl.rlens proxy $ \ (Identity (Val a)) -> Identity . Val <$> f a • Relevant bindings include f :: a -> g a (bound at src/Composite/Record.hs:174:13) proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:174:7) rlens :: proxy (s :-> a) -> (a -> g a) -> Rec Identity rs -> g (Rec Identity rs) (bound at src/Composite/Record.hs:174:1) | 175 | Vinyl.rlens proxy $ \ (Identity (Val a)) -> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Composite/Record.hs:175:23: error: • Couldn't match kind ‘[k1]’ with ‘*’ When matching types rs1 :: [k1] g (Identity (s2 :-> a)) :: * Expected type: record1 f1 rs1 Actual type: Identity (s3 :-> a) -> g (Identity (s2 :-> a)) • The lambda expression ‘\ (Identity (Val a)) -> Identity . Val <$> f a’ has one argument, but its type ‘record1 f1 rs1’ has none In the second argument of ‘($)’, namely ‘\ (Identity (Val a)) -> Identity . Val <$> f a’ In the expression: Vinyl.rlens proxy $ \ (Identity (Val a)) -> Identity . Val <$> f a • Relevant bindings include f :: a -> g a (bound at src/Composite/Record.hs:174:13) proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:174:7) rlens :: proxy (s :-> a) -> (a -> g a) -> Rec Identity rs -> g (Rec Identity rs) (bound at src/Composite/Record.hs:174:1) | 175 | Vinyl.rlens proxy $ \ (Identity (Val a)) -> | ^^^^^^^^^^^^^^^^^^^^^^^... src/Composite/Record.hs:202:3: error: • Couldn't match expected type ‘Rec f rs -> g (Rec f rs)’ with actual type ‘s :-> record0 f0 rs0’ • In the expression: Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> fmap Val <$> f fa In an equation for ‘rlens'’: rlens' proxy f = Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> fmap Val <$> f fa • Relevant bindings include f :: f a -> g (f a) (bound at src/Composite/Record.hs:201:14) proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:201:8) rlens' :: proxy (s :-> a) -> (f a -> g (f a)) -> Rec f rs -> g (Rec f rs) (bound at src/Composite/Record.hs:201:1) | 202 | Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Composite/Record.hs:202:23: error: • Couldn't match kind ‘[k0]’ with ‘*’ When matching types rs0 :: [k0] g (f (s0 :-> a)) :: * Expected type: record0 f0 rs0 Actual type: f (s1 :-> a) -> g (f (s0 :-> a)) • The lambda expression ‘\ (fmap getVal -> fa) -> fmap Val <$> f fa’ has one argument, but its type ‘record0 f0 rs0’ has none In the second argument of ‘($)’, namely ‘\ (fmap getVal -> fa) -> fmap Val <$> f fa’ In the expression: Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> fmap Val <$> f fa • Relevant bindings include f :: f a -> g (f a) (bound at src/Composite/Record.hs:201:14) proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:201:8) rlens' :: proxy (s :-> a) -> (f a -> g (f a)) -> Rec f rs -> g (Rec f rs) (bound at src/Composite/Record.hs:201:1) | 202 | Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> | ^^^^^^^^^^^^^^^^^^^^^^^^... src/Composite/Record.hs:213:41: error: • Could not deduce (Vinyl.RecordToList rs) arising from a use of ‘recordToList’ from the context: (r : rs) ~ (r2 : rs2) bound by a pattern with constructor: :& :: forall u (a :: u -> *) (r :: u) (rs :: [u]). a r -> Rec a rs -> Rec a (r : rs), in an equation for ‘recordToNonEmpty’ at src/Composite/Record.hs:213:19-31 Possible fix: add (Vinyl.RecordToList rs) to the context of the data constructor ‘:&’ or the type signature for: recordToNonEmpty :: forall u a (r :: u) (rs :: [u]). Rec (Const a) (r : rs) -> NonEmpty a • In the second argument of ‘(:|)’, namely ‘recordToList rs’ In the expression: a :| recordToList rs In an equation for ‘recordToNonEmpty’: recordToNonEmpty (Const a :& rs) = a :| recordToList rs | 213 | recordToNonEmpty (Const a :& rs) = a :| recordToList rs | ^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-16264/composite-base-0.5.3.0' cabal: Error: some packages failed to install: composite-aeson-0.5.3.0-4dikYAGGVYOIGvZwW3HMCW depends on composite-aeson-0.5.3.0 which failed to install. composite-aeson-refined-0.5.5.0-3yOu1mP0BKo44JAJjdyB0G depends on composite-aeson-refined-0.5.5.0 which failed to install. composite-base-0.5.3.0-5MxePX7q5V9A315rCzKrau failed during the building phase. The exception was: ExitFailure 1