Resolving dependencies... Starting StateVar-1.2.1 Starting Diff-0.4.0 Starting HsYAML-0.2.1.0 Starting base-compat-0.11.2 Building StateVar-1.2.1 Building Diff-0.4.0 Building HsYAML-0.2.1.0 Building base-compat-0.11.2 Completed StateVar-1.2.1 Starting base-orphans-0.8.4 Building base-orphans-0.8.4 Completed Diff-0.4.0 Starting base64-bytestring-1.2.0.1 Building base64-bytestring-1.2.0.1 Completed base64-bytestring-1.2.0.1 Starting basement-0.0.11 Building basement-0.0.11 Completed base-compat-0.11.2 Starting blaze-builder-0.4.2.1 Building blaze-builder-0.4.2.1 Completed base-orphans-0.8.4 Starting cabal-doctest-1.0.8 Building cabal-doctest-1.0.8 Completed blaze-builder-0.4.2.1 Starting cereal-0.5.8.1 Completed cabal-doctest-1.0.8 Starting cmdargs-0.10.20 Building cereal-0.5.8.1 Building cmdargs-0.10.20 Completed HsYAML-0.2.1.0 Starting colour-2.3.5 Building colour-2.3.5 Completed cereal-0.5.8.1 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed data-default-class-0.1.2.0 Starting dlist-1.0 Building dlist-1.0 Completed colour-2.3.5 Starting dotgen-0.4.3 Building dotgen-0.4.3 Completed dlist-1.0 Starting half-0.3.1 Completed dotgen-0.4.3 Starting hashable-1.3.0.0 Building half-0.3.1 Building hashable-1.3.0.0 Completed half-0.3.1 Starting hourglass-0.2.12 Building hourglass-0.2.12 Completed hashable-1.3.0.0 Starting indexed-traversable-0.1.1 Building indexed-traversable-0.1.1 Completed cmdargs-0.10.20 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed integer-logarithms-1.0.3.1 Starting lens-family-core-2.1.0 Completed indexed-traversable-0.1.1 Starting mime-types-0.1.0.9 Building lens-family-core-2.1.0 Building mime-types-0.1.0.9 Completed hourglass-0.2.12 Starting network-3.1.2.1 Completed lens-family-core-2.1.0 Starting network-uri-2.6.3.0 Building network-uri-2.6.3.0 Building network-3.1.2.1 Completed mime-types-0.1.0.9 Starting parser-combinators-1.2.1 Building parser-combinators-1.2.1 Completed network-uri-2.6.3.0 Starting prettyprinter-1.7.0 Building prettyprinter-1.7.0 Completed parser-combinators-1.2.1 Starting primitive-0.7.1.0 Building primitive-0.7.1.0 Completed basement-0.0.11 Starting repline-0.4.0.0 Building repline-0.4.0.0 Completed prettyprinter-1.7.0 Starting semigroups-0.19.1 Completed repline-0.4.0.0 Starting splitmix-0.1.0.3 Completed network-3.1.2.1 Starting tagged-0.8.6.1 Building semigroups-0.19.1 Building splitmix-0.1.0.3 Building tagged-0.8.6.1 Completed semigroups-0.19.1 Starting text-manipulate-0.3.0.0 Building text-manipulate-0.3.0.0 Completed splitmix-0.1.0.3 Starting th-abstraction-0.4.2.0 Building th-abstraction-0.4.2.0 Completed tagged-0.8.6.1 Starting transformers-compat-0.6.6 Completed text-manipulate-0.3.0.0 Starting unix-compat-0.5.3 Building transformers-compat-0.6.6 Building unix-compat-0.5.3 Completed unix-compat-0.5.3 Starting utf8-string-1.0.2 Completed primitive-0.7.1.0 Building utf8-string-1.0.2 Starting zlib-0.6.2.2 Completed transformers-compat-0.6.6 Starting contravariant-1.5.3 Building zlib-0.6.2.2 Building contravariant-1.5.3 Completed th-abstraction-0.4.2.0 Starting base-compat-batteries-0.11.2 Building base-compat-batteries-0.11.2 Completed contravariant-1.5.3 Starting time-compat-1.9.5 Completed utf8-string-1.0.2 Starting cookie-0.4.5 Building time-compat-1.9.5 Building cookie-0.4.5 Completed zlib-0.6.2.2 Starting ansi-terminal-0.11 Building ansi-terminal-0.11 Completed cookie-0.4.5 Starting unordered-containers-0.2.13.0 Building unordered-containers-0.2.13.0 Completed base-compat-batteries-0.11.2 Starting data-fix-0.3.0 Building data-fix-0.3.0 Completed time-compat-1.9.5 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed ansi-terminal-0.11 Starting async-2.2.2 Completed data-fix-0.3.0 Starting memory-0.15.0 Building async-2.2.2 Building memory-0.15.0 Completed case-insensitive-1.2.1.0 Starting socks-0.6.1 Building socks-0.6.1 Completed async-2.2.2 Starting random-1.2.0 Building random-1.2.0 Completed socks-0.6.1 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed unordered-containers-0.2.13.0 Starting vector-0.12.1.2 Building vector-0.12.1.2 Completed distributive-0.6.2.1 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed memory-0.15.0 Starting cborg-0.2.4.0 Completed random-1.2.0 Starting mmorph-1.1.3 Building cborg-0.2.4.0 Building mmorph-1.1.3 Completed mmorph-1.1.3 Starting th-lift-0.8.2 Completed scientific-0.3.6.2 Starting uri-encode-1.5.0.7 Building th-lift-0.8.2 Building uri-encode-1.5.0.7 Completed uri-encode-1.5.0.7 Starting prettyprinter-ansi-terminal-1.1.2 Completed th-lift-0.8.2 Starting ansi-wl-pprint-0.6.9 Building prettyprinter-ansi-terminal-1.1.2 Building ansi-wl-pprint-0.6.9 Completed prettyprinter-ansi-terminal-1.1.2 Starting http-types-0.12.3 Building http-types-0.12.3 Completed ansi-wl-pprint-0.6.9 Starting charset-0.3.7.1 Building charset-0.3.7.1 Completed http-types-0.12.3 Starting comonad-5.0.8 Building comonad-5.0.8 Completed charset-0.3.7.1 Starting pem-0.2.4 Building pem-0.2.4 Completed pem-0.2.4 Starting cryptonite-0.28 Completed comonad-5.0.8 Starting asn1-types-0.3.4 Building cryptonite-0.28 Building asn1-types-0.3.4 Completed asn1-types-0.3.4 Starting uuid-types-1.0.3 Building uuid-types-1.0.3 Completed uuid-types-1.0.3 Starting temporary-1.3 Building temporary-1.3 Completed temporary-1.3 Starting streaming-commons-0.2.2.1 Building streaming-commons-0.2.2.1 Completed vector-0.12.1.2 Starting megaparsec-9.0.1 Building megaparsec-9.0.1 Completed streaming-commons-0.2.2.1 Starting attoparsec-0.13.2.4 Building attoparsec-0.13.2.4 Completed attoparsec-0.13.2.4 Starting pretty-simple-4.0.0.0 Completed cborg-0.2.4.0 Starting optparse-applicative-0.16.1.0 Completed megaparsec-9.0.1 Building optparse-applicative-0.16.1.0 Starting bifunctors-5.5.10 Building pretty-simple-4.0.0.0 Building bifunctors-5.5.10 Completed pretty-simple-4.0.0.0 Starting asn1-encoding-0.9.6 Building asn1-encoding-0.9.6 Completed optparse-applicative-0.16.1.0 Starting atomic-write-0.2.0.7 Building atomic-write-0.2.0.7 Completed atomic-write-0.2.0.7 Starting th-lift-instances-0.1.18 Building th-lift-instances-0.1.18 Completed asn1-encoding-0.9.6 Starting http-client-0.7.4 Building http-client-0.7.4 Completed bifunctors-5.5.10 Starting parsers-0.12.10 Building parsers-0.12.10 Completed th-lift-instances-0.1.18 Starting serialise-0.2.3.0 Building serialise-0.2.3.0 Completed serialise-0.2.3.0 Starting asn1-parse-0.9.5 Completed parsers-0.12.10 Starting semigroupoids-5.3.5 Building asn1-parse-0.9.5 Building semigroupoids-5.3.5 Completed http-client-0.7.4 Starting profunctors-5.6.1 Completed asn1-parse-0.9.5 Starting assoc-1.0.2 Building profunctors-5.6.1 Building assoc-1.0.2 Completed assoc-1.0.2 Starting these-1.1.1.1 Building these-1.1.1.1 Completed these-1.1.1.1 Starting strict-0.4.0.1 Building strict-0.4.0.1 Completed semigroupoids-5.3.5 Completed profunctors-5.6.1 Starting either-5.0.1.1 Completed cryptonite-0.28 Starting x509-1.7.5 Building either-5.0.1.1 Building x509-1.7.5 Completed strict-0.4.0.1 Starting aeson-1.5.5.1 Building aeson-1.5.5.1 Completed either-5.0.1.1 Completed x509-1.7.5 Starting x509-store-1.6.7 Building x509-store-1.6.7 Completed x509-store-1.6.7 Starting x509-system-1.6.6 Starting x509-validation-1.6.11 Building x509-validation-1.6.11 Building x509-system-1.6.6 Completed x509-system-1.6.6 Completed x509-validation-1.6.11 Starting tls-1.5.4 Building tls-1.5.4 Completed aeson-1.5.5.1 Starting aeson-yaml-1.1.0.0 Starting aeson-pretty-0.8.8 Starting HsYAML-aeson-0.2.0.0 Building aeson-pretty-0.8.8 Building aeson-yaml-1.1.0.0 Building HsYAML-aeson-0.2.0.0 Completed aeson-yaml-1.1.0.0 Completed HsYAML-aeson-0.2.0.0 Completed aeson-pretty-0.8.8 Starting cborg-json-0.2.2.0 Building cborg-json-0.2.2.0 Completed cborg-json-0.2.2.0 Completed tls-1.5.4 Starting connection-0.3.1 Building connection-0.3.1 Completed connection-0.3.1 Starting http-client-tls-0.3.5.3 Building http-client-tls-0.3.5.3 Completed http-client-tls-0.3.5.3 Starting dhall-1.37.1 Building dhall-1.37.1 Completed dhall-1.37.1 Downloading dhall-json-1.7.5 Downloaded dhall-json-1.7.5 Starting dhall-json-1.7.5 Building dhall-json-1.7.5 Failed to install dhall-json-1.7.5 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/dhall-json-1.7.5-4YYjibcYrrwLPTMYqV5NUr.log ): cabal: Entering directory '/tmp/cabal-tmp-18465/dhall-json-1.7.5' Configuring dhall-json-1.7.5... Preprocessing library for dhall-json-1.7.5.. Building library for dhall-json-1.7.5.. [1 of 5] Compiling Dhall.JSON.Util ( src/Dhall/JSON/Util.hs, dist/build/Dhall/JSON/Util.o, dist/build/Dhall/JSON/Util.dyn_o ) [2 of 5] Compiling Dhall.JSON ( src/Dhall/JSON.hs, dist/build/Dhall/JSON.o, dist/build/Dhall/JSON.dyn_o ) src/Dhall/JSON.hs:503:9: error: • The constructor ‘Core.Lam’ should have 2 arguments, but has been given 3 • In the pattern: Core.Lam _ (Core.functionBindingAnnotation -> Core.Const Core.Type) (Core.Lam _ (Core.functionBindingAnnotation -> (Core.Record [("array", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (V 0)) (V 1)), ("bool", Core.recordFieldValue -> Core.Pi _ _ Core.Bool (V 1)), ("null", Core.recordFieldValue -> V 0), ("number", Core.recordFieldValue -> Core.Pi _ _ Core.Double (V 1)), ("object", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (Core.Record [("mapKey", Core.recordFieldValue -> Core.Text), ("mapValue", Core.recordFieldValue -> V 0)])) (V 1)), ("string", Core.recordFieldValue -> Core.Pi _ _ Core.Text (V 1))])) value) In a case alternative: Core.Lam _ (Core.functionBindingAnnotation -> Core.Const Core.Type) (Core.Lam _ (Core.functionBindingAnnotation -> (Core.Record [("array", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (V 0)) (V 1)), ("bool", Core.recordFieldValue -> Core.Pi _ _ Core.Bool (V 1)), ("null", Core.recordFieldValue -> V 0), ("number", Core.recordFieldValue -> Core.Pi _ _ Core.Double (V 1)), ("object", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (Core.Record [("mapKey", Core.recordFieldValue -> Core.Text), ("mapValue", Core.recordFieldValue -> V 0)])) (V 1)), ("string", Core.recordFieldValue -> Core.Pi _ _ Core.Text (V 1))])) value) -> do let outer (Core.Field (V 0) (FA "null")) = ... outer (Core.App (Core.Field (V 0) (FA "bool")) (Core.BoolLit b)) = ... outer (Core.App (Core.Field (V 0) (FA "array")) (Core.ListLit _ xs)) = ... outer (Core.App (Core.Field (V 0) (FA "object")) (Core.ListLit _ xs)) = ... outer (Core.App (Core.Field (V 0) (FA "number")) (Core.DoubleLit (DhallDouble n))) = ... outer (Core.App (Core.Field (V 0) (FA "string")) (Core.TextLit (Core.Chunks [] text))) = ... outer _ = ... outer value In the expression: case e of Core.BoolLit a -> return (toJSON a) Core.NaturalLit a -> return (toJSON a) Core.IntegerLit a -> return (toJSON a) Core.DoubleLit (DhallDouble a) -> return (toJSON a) Core.TextLit (Core.Chunks [] a) -> return (toJSON a) Core.ListLit _ a -> do a' <- traverse loop a return (toJSON a') Core.Some a -> do a' <- loop a return (toJSON a') Core.App Core.None _ -> return Null Core.None -> Left BareNone Core.RecordLit a -> case toOrderedList a of [("contents", Core.recordFieldValue -> contents), ("field", Core.recordFieldValue -> Core.TextLit (Core.Chunks [] field)), ("nesting", Core.recordFieldValue -> Core.App (Core.Field (Core.Union [("Inline", mInlineType), ("Nested", Just Core.Text)]) (FA "Nested")) (Core.TextLit (Core.Chunks [] nestedField)))] | all (== Core.Record []) mInlineType, Just (alternativeName, mExpr) <- getContents contents -> do ... [("contents", Core.recordFieldValue -> contents), ("field", Core.recordFieldValue -> Core.TextLit (Core.Chunks [] field)), ("nesting", Core.recordFieldValue -> nesting)] | isInlineNesting nesting, Just (alternativeName, mExpr) <- getContents contents -> do ... _ -> do ... Core.App (Core.Field (Core.Union _) _) b -> loop b Core.Field (Core.Union _) (FA k) -> return (toJSON k) Core.Lam _ (Core.functionBindingAnnotation -> Core.Const Core.Type) (Core.Lam _ (Core.functionBindingAnnotation -> (Core.Record [("array", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (V 0)) (V 1)), ("bool", Core.recordFieldValue -> Core.Pi _ _ Core.Bool (V 1)), ("null", Core.recordFieldValue -> V 0), ("number", Core.recordFieldValue -> Core.Pi _ _ Core.Double (V 1)), ("object", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (Core.Record [("mapKey", Core.recordFieldValue -> Core.Text), ("mapValue", Core.recordFieldValue -> V 0)])) (V 1)), ("string", Core.recordFieldValue -> Core.Pi _ _ Core.Text (V 1))])) value) -> do let ... outer value Core.Lam _ (Core.functionBindingAnnotation -> Core.Const Core.Type) (Core.Lam _ (Core.functionBindingAnnotation -> (Core.Record [("array", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (V 0)) (V 1)), ("bool", Core.recordFieldValue -> Core.Pi _ _ Core.Bool (V 1)), ("double", Core.recordFieldValue -> Core.Pi _ _ Core.Double (V 1)), ("integer", Core.recordFieldValue -> Core.Pi _ _ Core.Integer (V 1)), ("null", Core.recordFieldValue -> V 0), ("object", Core.recordFieldValue -> Core.Pi _ _ (Core.App Core.List (Core.Record [("mapKey", Core.recordFieldValue -> Core.Text), ("mapValue", Core.recordFieldValue -> V 0)])) (V 1)), ("string", Core.recordFieldValue -> Core.Pi _ _ Core.Text (V 1))])) value) -> do let ... outer value _ -> Left (Unsupported e) | 503 | Core.Lam _ (Core.functionBindingAnnotation -> Core.Const Core.Type) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Dhall/JSON.hs:731:9: error: • The constructor ‘Core.Lam’ should have 2 arguments, but has been given 3 • In the pattern: Core.Lam cs a b In a case alternative: Core.Lam cs a b -> Core.Lam cs a b In the expression: case e of Core.Const a -> Core.Const a Core.Var v -> Core.Var v Core.Lam cs a b -> Core.Lam cs a b Core.Pi cs a b c -> Core.Pi cs a b' c' where b' = loop b c' = loop c Core.App a b -> Core.App a' b' where a' = loop a b' = loop b Core.Let (Binding src0 a src1 b src2 c) d -> Core.Let (Binding src0 a src1 b' src2 c') d' where b' = fmap (fmap loop) b c' = loop c d' = loop d Core.Annot a b -> Core.Annot a' b' where a' = loop a b' = loop b Core.Bool -> Core.Bool Core.BoolLit a -> Core.BoolLit a Core.BoolAnd a b -> Core.BoolAnd a' b' where a' = loop a b' = loop b Core.BoolOr a b -> Core.BoolOr a' b' where a' = loop a b' = loop b Core.BoolEQ a b -> Core.BoolEQ a' b' where a' = loop a b' = loop b Core.BoolNE a b -> Core.BoolNE a' b' where a' = loop a b' = loop b Core.BoolIf a b c -> Core.BoolIf a' b' c' where a' = loop a b' = loop b c' = loop c Core.Natural -> Core.Natural Core.NaturalLit a -> Core.NaturalLit a Core.NaturalFold -> Core.NaturalFold Core.NaturalBuild -> Core.NaturalBuild Core.NaturalIsZero -> Core.NaturalIsZero Core.NaturalEven -> Core.NaturalEven Core.NaturalOdd -> Core.NaturalOdd Core.NaturalToInteger -> Core.NaturalToInteger Core.NaturalShow -> Core.NaturalShow Core.NaturalSubtract -> Core.NaturalSubtract Core.NaturalPlus a b -> Core.NaturalPlus a' b' where a' = loop a b' = loop b Core.NaturalTimes a b -> Core.NaturalTimes a' b' where a' = loop a b' = loop b Core.Integer -> Core.Integer Core.IntegerLit a -> Core.IntegerLit a Core.IntegerClamp -> Core.IntegerClamp Core.IntegerNegate -> Core.IntegerNegate Core.IntegerShow -> Core.IntegerShow Core.IntegerToDouble -> Core.IntegerToDouble Core.Double -> Core.Double Core.DoubleLit a -> Core.DoubleLit a Core.DoubleShow -> Core.DoubleShow Core.Text -> Core.Text Core.TextLit (Core.Chunks a b) -> Core.TextLit (Core.Chunks a' b) where a' = fmap (fmap loop) a Core.TextAppend a b -> Core.TextAppend a' b' where a' = loop a b' = loop b Core.TextReplace -> Core.TextReplace Core.TextShow -> Core.TextShow Core.List -> Core.List Core.ListLit a b -> case transform of Just c -> loop c Nothing -> Core.ListLit a' b' where elements = Foldable.toList b toKeyValue :: Expr s Void -> Maybe (Text, Expr s Void) toKeyValue (Core.RecordLit m) = do ... toKeyValue _ = empty .... Core.ListAppend a b -> Core.ListAppend a' b' where a' = loop a b' = loop b Core.ListBuild -> Core.ListBuild Core.ListFold -> Core.ListFold Core.ListLength -> Core.ListLength Core.ListHead -> Core.ListHead Core.ListLast -> Core.ListLast Core.ListIndexed -> Core.ListIndexed Core.ListReverse -> Core.ListReverse Core.Optional -> Core.Optional Core.Some a -> Core.Some a' where a' = loop a Core.None -> Core.None Core.Record a -> Core.Record a' where a' = Lens.over Core.recordFieldExprs loop <$> a Core.RecordLit a -> Core.RecordLit a' where a' = Lens.over Core.recordFieldExprs loop <$> a Core.Union a -> Core.Union a' where a' = fmap (fmap loop) a Core.Combine cs a b c -> Core.Combine cs a b' c' where b' = loop b c' = loop c Core.CombineTypes cs a b -> Core.CombineTypes cs a' b' where a' = loop a b' = loop b Core.Prefer cs a b c -> Core.Prefer cs a b' c' where b' = loop b c' = loop c Core.RecordCompletion a b -> Core.RecordCompletion a' b' where a' = loop a b' = loop b Core.Merge a b c -> Core.Merge a' b' c' where a' = loop a b' = loop b c' = fmap loop c Core.ToMap a b -> Core.ToMap a' b' where a' = loop a b' = fmap loop b Core.Field a b -> Core.Field a' b where a' = loop a Core.Project a b -> Core.Project a' b where a' = loop a Core.Assert a -> Core.Assert a' where a' = loop a Core.Equivalent a b -> Core.Equivalent a' b' where a' = loop a b' = loop b Core.With a b c -> Core.With a' b c' where a' = loop a c' = loop c Core.ImportAlt a b -> Core.ImportAlt a' b' where a' = loop a b' = loop b Core.Note a b -> Core.Note a b' where b' = loop b Core.Embed a -> Core.Embed a | 731 | Core.Lam cs a b -> | ^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-18465/dhall-json-1.7.5' cabal: Error: some packages failed to install: dhall-json-1.7.5-4YYjibcYrrwLPTMYqV5NUr failed during the building phase. The exception was: ExitFailure 1 dhall-yaml-1.2.5-F1e4mxHmpyj6IOkArUhpgc depends on dhall-yaml-1.2.5 which failed to install.