Build #1 for dhall-yaml-1.2.5

[all reports]

Package dhall-yaml-1.2.5
Install DependencyFailed dhall-yaml-1.2.5
Docs NotTried
Tests NotTried
Time submitted 2021-01-28 16:22:45.202907195 UTC
Compiler ghc-8.10.2
OS linux
Arch x86_64
Dependencies HsYAML-0.2.1.0, HsYAML-aeson-0.2.0.0, aeson-1.5.5.1, base-4.14.1.0, bytestring-0.10.10.0, dhall-1.37.1, dhall-json-1.7.5, optparse-applicative-0.16.1.0, text-1.2.3.2, vector-0.12.1.2, base-4.14.1.0, dhall-json-1.7.5, aeson-1.5.5.1, ansi-terminal-0.11, base-4.14.1.0, bytestring-0.10.10.0, dhall-1.37.1, dhall-json-1.7.5, exceptions-0.10.4, optparse-applicative-0.16.1.0, prettyprinter-1.7.0, prettyprinter-ansi-terminal-1.1.2, text-1.2.3.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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.

Test log

No test log was submitted for this report.