/nix/store/c1l4jlal1h1y3llxd5d6sjjchmi9jcq8-cardano-crypto-lib-cardano-crypto-1.2.0.drv

Running phase: unpackPhase
unpacking source archive /nix/store/jc958v9z2prn0gyk34hp0vpn1cji8by5-cardano-crypto-1.2.0.tar.gz
source root is cardano-crypto-1.2.0
setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file "cardano-crypto-1.2.0/test/Utils.hs"
Running phase: patchPhase
'/nix/var/nix/builds/nix-64040-2156245334/.attr-0h9ydb7s8pfhl5kfs3rmmwnmpi49yyiw7jgr5dpw9rmvv8sy0f2b' -> 'cardano-crypto.cabal'
Running phase: updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
Configure flags:
--prefix=/nix/store/xqbwcnbpa4ll6qdcnwycl5m72dij6dcz-cardano-crypto-lib-cardano-crypto-1.2.0 lib:cardano-crypto --package-db=clear --package-db=/nix/var/nix/builds/nix-64040-2156245334/tmp.coucYknKwa/lib/ghc-9.6.7/lib/package.conf.d --flags=-golden-tests --flags=-golden-tests-exe --exact-configuration --dependency=array=array-0.5.8.0 --dependency=base=base-4.18.3.0 --dependency=binary=binary-0.8.9.1 --dependency=bytestring=bytestring-0.11.5.4 --dependency=containers=containers-0.6.7 --dependency=deepseq=deepseq-1.4.8.1 --dependency=exceptions=exceptions-0.10.7 --dependency=filepath=filepath-1.4.301.0 --dependency=ghc-bignum=ghc-bignum-1.3 --dependency=ghc-boot-th=ghc-boot-th-9.6.7 --dependency=ghc-prim=ghc-prim-0.10.0 --dependency=integer-gmp=integer-gmp-1.1 --dependency=mtl=mtl-2.3.1 --dependency=pretty=pretty-1.1.3.6 --dependency=rts=rts-1.0.2 --dependency=stm=stm-2.5.1.0 --dependency=template-haskell=template-haskell-2.20.0.0 --dependency=text=text-2.0.2 --dependency=transformers=transformers-0.6.1.0 --dependency=basement=basement-0.0.16-H18ZXwYPKwKGPqa72QNSdy --dependency=crypton=crypton-1.1.3-6SarF9DGG8g6AS8HJflZAf --dependency=base16=base16-1.0-7oZn1Sp5f1tY8UOeZbo7D --dependency=primitive=primitive-0.9.1.0-AElAOg7RWPrK8TD1mt4mft --dependency=text-short=text-short-0.1.6.1-G0xuI9vQmrgKB0WP0XUnfE --dependency=hashable=hashable-1.5.1.0-K78yl3FAjM4EEtjNRYQgYV --dependency=os-string=os-string-2.0.10-Cz1cZTSHynmDdbqlFgLdgx --dependency=ram=ram-0.22.0-5q8mYmabt7BLoRVvbr8o90 --dependency=foundation=foundation-0.0.30-9cs2wUk75K8L3IUM1rJxTq --dependency=memory=memory-0.18.0-1LJTQsQiLERInCTifuP7JN --with-ghc=ghc --with-ghc-pkg=ghc-pkg --with-hsc2hs=hsc2hs --with-gcc=cc --with-ar=ar --with-strip=strip --disable-executable-stripping --disable-library-stripping --disable-library-profiling --disable-profiling --enable-static --enable-shared --disable-executable-dynamic --disable-coverage --enable-library-for-ghci --datadir=/nix/store/xhvgv3rd0mdq4nyh5smc91if6bkzyab1-cardano-crypto-lib-cardano-crypto-1.2.0-data/share/ghc-9.6.7 
Configuring library for cardano-crypto-1.2.0...
Running phase: buildPhase
Preprocessing library for cardano-crypto-1.2.0...
Building library for cardano-crypto-1.2.0...
[ 1 of 16] Compiling Cardano.Crypto.Wallet.Types ( src/Cardano/Crypto/Wallet/Types.hs, dist/build/Cardano/Crypto/Wallet/Types.o, dist/build/Cardano/Crypto/Wallet/Types.dyn_o )
[ 2 of 16] Compiling Cardano.Crypto.Wallet.Encrypted ( src/Cardano/Crypto/Wallet/Encrypted.hs, dist/build/Cardano/Crypto/Wallet/Encrypted.o, dist/build/Cardano/Crypto/Wallet/Encrypted.dyn_o )
[ 3 of 16] Compiling Cardano.Internal.Compat ( src/Cardano/Internal/Compat.hs, dist/build/Cardano/Internal/Compat.o, dist/build/Cardano/Internal/Compat.dyn_o )
[ 4 of 16] Compiling Crypto.ECC.Ed25519Donna ( src/Crypto/ECC/Ed25519Donna.hs, dist/build/Crypto/ECC/Ed25519Donna.o, dist/build/Crypto/ECC/Ed25519Donna.dyn_o )

src/Crypto/ECC/Ed25519Donna.hs:73:9: error: [GHC-39999]
    • Could not deduce ‘ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
                          ba’
        arising from a use of ‘hashWith’
      from the context: ByteArrayAccess ba
        bound by the type signature for:
                   secretKey :: forall ba.
                                ByteArrayAccess ba =>
                                ba -> CryptoFailable SecretKey
        at src/Crypto/ECC/Ed25519Donna.hs:68:1-65
      Possible fix:
        add (ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
               ba) to the context of
          the type signature for:
            secretKey :: forall ba.
                         ByteArrayAccess ba =>
                         ba -> CryptoFailable SecretKey
    • In the expression: hashWith SHA512 bs
      In an equation for ‘k’: k = hashWith SHA512 bs
      In an equation for ‘secretKey’:
          secretKey bs
            | B.length bs == 32 = unsafePerformIO verifyAndTweak
            | otherwise = CryptoFailed CryptoError_SecretKeySizeInvalid
            where
                k = hashWith SHA512 bs
                verifyAndTweak :: IO (CryptoFailable SecretKey)
                verifyAndTweak = withByteArray k $ \ inp -> ...
   |
73 |     k = hashWith SHA512 bs
   |         ^^^^^^^^

src/Crypto/ECC/Ed25519Donna.hs:75:22: error: [GHC-39999]
    • Could not deduce ‘ByteArrayAccess
                          (crypton-1.1.3:Crypto.Hash.Types.Digest SHA512)’
        arising from a use of ‘withByteArray’
      from the context: ByteArrayAccess ba
        bound by the type signature for:
                   secretKey :: forall ba.
                                ByteArrayAccess ba =>
                                ba -> CryptoFailable SecretKey
        at src/Crypto/ECC/Ed25519Donna.hs:68:1-65
    • In the first argument of ‘($)’, namely ‘withByteArray k’
      In the expression:
        withByteArray k
          $ \ inp
              -> do b0 <- peekElemOff inp 0 :: IO Word8
                    b31 <- peekElemOff inp 31
                    ....
      In an equation for ‘verifyAndTweak’:
          verifyAndTweak
            = withByteArray k
                $ \ inp
                    -> do b0 <- ...
                          ....
   |
75 |     verifyAndTweak = withByteArray k $ \inp -> do
   |                      ^^^^^^^^^^^^^
[ 5 of 16] Compiling Crypto.Encoding.BIP39.Dictionary ( src/Crypto/Encoding/BIP39/Dictionary.hs, dist/build/Crypto/Encoding/BIP39/Dictionary.o, dist/build/Crypto/Encoding/BIP39/Dictionary.dyn_o )
[ 6 of 16] Compiling Crypto.Encoding.BIP39 ( src/Crypto/Encoding/BIP39.hs, dist/build/Crypto/Encoding/BIP39.o, dist/build/Crypto/Encoding/BIP39.dyn_o )

src/Crypto/Encoding/BIP39.hs:111:27: error: [GHC-39999]
    • Could not deduce ‘ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
                          ba’
        arising from a use of ‘hashWith’
      from the context: (KnownNat csz, ByteArrayAccess ba)
        bound by the type signature for:
                   checksum :: forall (csz :: Nat) ba.
                               (KnownNat csz, ByteArrayAccess ba) =>
                               ba -> Checksum csz
        at src/Crypto/Encoding/BIP39.hs:(109,1)-(110,30)
      Possible fix:
        add (ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
               ba) to the context of
          the type signature for:
            checksum :: forall (csz :: Nat) ba.
                        (KnownNat csz, ByteArrayAccess ba) =>
                        ba -> Checksum csz
    • In the first argument of ‘BA.index’, namely ‘hashWith SHA256 bs’
      In the first argument of ‘shiftR’, namely
        ‘(hashWith SHA256 bs `BA.index` 0)’
      In the second argument of ‘($)’, namely
        ‘(hashWith SHA256 bs `BA.index` 0) `shiftR` (8 - csz)’
    |
111 | checksum bs = Checksum $ (hashWith SHA256 bs `BA.index` 0) `shiftR` (8 - csz)
    |                           ^^^^^^^^

src/Crypto/Encoding/BIP39.hs:111:46: error: [GHC-39999]
    • Could not deduce ‘ByteArrayAccess
                          (crypton-1.1.3:Crypto.Hash.Types.Digest SHA256)’
        arising from a use of ‘BA.index’
      from the context: (KnownNat csz, ByteArrayAccess ba)
        bound by the type signature for:
                   checksum :: forall (csz :: Nat) ba.
                               (KnownNat csz, ByteArrayAccess ba) =>
                               ba -> Checksum csz
        at src/Crypto/Encoding/BIP39.hs:(109,1)-(110,30)
    • In the first argument of ‘shiftR’, namely
        ‘(hashWith SHA256 bs `BA.index` 0)’
      In the second argument of ‘($)’, namely
        ‘(hashWith SHA256 bs `BA.index` 0) `shiftR` (8 - csz)’
      In the expression:
        Checksum $ (hashWith SHA256 bs `BA.index` 0) `shiftR` (8 - csz)
    |
111 | checksum bs = Checksum $ (hashWith SHA256 bs `BA.index` 0) `shiftR` (8 - csz)
    |                                              ^^^^^^^^^^

src/Crypto/Encoding/BIP39.hs:297:5: error: [GHC-39999]
    • Could not deduce ‘ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
                          (UArray Word8)’
        arising from a use of ‘PBKDF2.fastPBKDF2_SHA512’
      from the context: ValidMnemonicSentence mw
        bound by the type signature for:
                   phraseToSeed :: forall (mw :: Nat).
                                   ValidMnemonicSentence mw =>
                                   MnemonicPhrase mw -> Dictionary -> Passphrase -> Seed
        at src/Crypto/Encoding/BIP39.hs:(291,1)-(295,20)
    • In the expression:
        PBKDF2.fastPBKDF2_SHA512
          (PBKDF2.Parameters 2048 64) sentence
          (toData ("mnemonic" `mappend` passphrase))
      In an equation for ‘phraseToSeed’:
          phraseToSeed mw dic passphrase
            = PBKDF2.fastPBKDF2_SHA512
                (PBKDF2.Parameters 2048 64) sentence
                (toData ("mnemonic" `mappend` passphrase))
            where
                sentence = toData $ mnemonicPhraseToString dic mw
                toData = String.toBytes String.UTF8
    |
297 |     PBKDF2.fastPBKDF2_SHA512
    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[ 9 of 16] Compiling Crypto.Encoding.BIP39.English ( src/Crypto/Encoding/BIP39/English.hs, dist/build/Crypto/Encoding/BIP39/English.o, dist/build/Crypto/Encoding/BIP39/English.dyn_o )
[10 of 16] Compiling Crypto.Math.Bits ( src/Crypto/Math/Bits.hs, dist/build/Crypto/Math/Bits.o, dist/build/Crypto/Math/Bits.dyn_o )
[11 of 16] Compiling Crypto.Math.NatMath ( src/Crypto/Math/NatMath.hs, dist/build/Crypto/Math/NatMath.o, dist/build/Crypto/Math/NatMath.dyn_o )
[12 of 16] Compiling Crypto.Math.Bytes ( src/Crypto/Math/Bytes.hs, dist/build/Crypto/Math/Bytes.o, dist/build/Crypto/Math/Bytes.dyn_o )
[13 of 16] Compiling Crypto.Math.Edwards25519 ( src/Crypto/Math/Edwards25519.hs, dist/build/Crypto/Math/Edwards25519.o, dist/build/Crypto/Math/Edwards25519.dyn_o )

src/Crypto/Math/Edwards25519.hs:133:22: error: [GHC-39999]
    • Could not deduce ‘B.ByteArrayAccess (Digest SHA512)’
        arising from a use of ‘B.convert’
      from the context: B.ByteArrayAccess msg
        bound by the type signature for:
                   sign :: forall msg.
                           B.ByteArrayAccess msg =>
                           Scalar -> ByteString -> msg -> Signature
        at src/Crypto/Math/Edwards25519.hs:127:1-73
    • In the first argument of ‘B.append’, namely ‘B.convert prefix’
      In the first argument of ‘sha512_modq’, namely
        ‘(B.convert prefix `B.append` B.convert msg)’
      In the expression:
        sha512_modq (B.convert prefix `B.append` B.convert msg)
    |
133 |     r = sha512_modq (B.convert prefix `B.append` B.convert msg)
    |                      ^^^^^^^^^

src/Crypto/Math/Edwards25519.hs:268:20: error: [GHC-39999]
    • Could not deduce ‘B.ByteArrayAccess (Digest SHA512)’
        arising from a use of ‘B.convert’
      from the context: B.ByteArrayAccess ba
        bound by the type signature for:
                   sha512_modq :: forall ba. B.ByteArrayAccess ba => ba -> Fq
        at src/Crypto/Math/Edwards25519.hs:266:1-47
    • In the first argument of ‘fromBytes’, namely
        ‘(B.convert (hash bs :: Digest SHA512))’
      In the first argument of ‘mod’, namely
        ‘fromBytes (B.convert (hash bs :: Digest SHA512))’
      In the first argument of ‘Fq’, namely
        ‘(fromBytes (B.convert (hash bs :: Digest SHA512)) `mod` q)’
    |
268 |     Fq (fromBytes (B.convert (hash bs :: Digest SHA512)) `mod` q)
    |                    ^^^^^^^^^

src/Crypto/Math/Edwards25519.hs:268:31: error: [GHC-39999]
    • Could not deduce ‘ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
                          ba’
        arising from a use of ‘hash’
      from the context: B.ByteArrayAccess ba
        bound by the type signature for:
                   sha512_modq :: forall ba. B.ByteArrayAccess ba => ba -> Fq
        at src/Crypto/Math/Edwards25519.hs:266:1-47
      Possible fix:
        add (ram-0.22.0:Data.ByteArray.Types.ByteArrayAccess
               ba) to the context of
          the type signature for:
            sha512_modq :: forall ba. B.ByteArrayAccess ba => ba -> Fq
    • In the first argument of ‘B.convert’, namely
        ‘(hash bs :: Digest SHA512)’
      In the first argument of ‘fromBytes’, namely
        ‘(B.convert (hash bs :: Digest SHA512))’
      In the first argument of ‘mod’, namely
        ‘fromBytes (B.convert (hash bs :: Digest SHA512))’
    |
268 |     Fq (fromBytes (B.convert (hash bs :: Digest SHA512)) `mod` q)
    |                               ^^^^