Build #8 for x509-validation-1.4.0

[all reports]

Package x509-validation-1.4.0
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-12-21 09:40:18.749275 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies asn1-types-0.3.2, base-4.9.0.0, bytestring-0.10.8.1, containers-0.5.7.1, crypto-pubkey-0.2.8, cryptohash-0.11.9, directory-1.2.6.2, filepath-1.4.1.0, mtl-2.2.1, pem-0.1.2, process-1.4.2.0, time-1.6.0.1, x509-1.6.5, x509-store-1.6.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring base64-bytestring-1.0.0.1...
Configuring byteable-0.1.1...
Building base64-bytestring-1.0.0.1...
Building byteable-0.1.1...
Installed byteable-0.1.1
Configuring cereal-0.4.1.1...
Building cereal-0.4.1.1...
Configuring foundation-0.0.2...
Installed base64-bytestring-1.0.0.1
Building foundation-0.0.2...
Configuring hourglass-0.2.10...
Installed cereal-0.4.1.1
Building hourglass-0.2.10...
Configuring mtl-2.2.1...
Installed hourglass-0.2.10
Building mtl-2.2.1...
Configuring primitive-0.6.1.0...
Installed mtl-2.2.1
Building primitive-0.6.1.0...
Configuring text-1.2.2.1...
Installed primitive-0.6.1.0
Building text-1.2.2.1...
Installed foundation-0.0.2
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Configuring memory-0.14...
Installed text-1.2.2.1
Building memory-0.14...
Configuring hashable-1.2.4.0...
Installed memory-0.14
Building hashable-1.2.4.0...
Installed hashable-1.2.4.0
Configuring asn1-types-0.3.2...
Building asn1-types-0.3.2...
Configuring securemem-0.1.9...
Installed asn1-types-0.3.2
Building securemem-0.1.9...
Configuring cryptonite-0.21...
Installed securemem-0.1.9
Building cryptonite-0.21...
Configuring asn1-encoding-0.9.4...
Installed vector-0.11.0.0
Building asn1-encoding-0.9.4...
Installed asn1-encoding-0.9.4
Configuring crypto-random-0.0.9...
Building crypto-random-0.0.9...
Configuring scientific-0.3.4.9...
Installed crypto-random-0.0.9
Building scientific-0.3.4.9...
Installed scientific-0.3.4.9
Configuring asn1-parse-0.9.4...
Building asn1-parse-0.9.4...
Installed asn1-parse-0.9.4
Configuring crypto-numbers-0.2.7...
Building crypto-numbers-0.2.7...
Configuring crypto-pubkey-types-0.4.3...
Installed crypto-numbers-0.2.7
Building crypto-pubkey-types-0.4.3...
Configuring attoparsec-0.13.1.0...
Installed crypto-pubkey-types-0.4.3
Building attoparsec-0.13.1.0...
Installed attoparsec-0.13.1.0
Configuring pem-0.1.2...
Building pem-0.1.2...
Installed cryptonite-0.21
Configuring cryptohash-0.11.9...
Installed pem-0.1.2
Configuring x509-1.6.5...
Building cryptohash-0.11.9...
Building x509-1.6.5...
Installed cryptohash-0.11.9
Configuring crypto-pubkey-0.2.8...
Building crypto-pubkey-0.2.8...
Installed x509-1.6.5
Configuring x509-store-1.6.2...
Building x509-store-1.6.2...
Installed crypto-pubkey-0.2.8
Installed x509-store-1.6.2
Configuring x509-validation-1.4.0...
Building x509-validation-1.4.0...
Failed to install x509-validation-1.4.0
Build log ( /home/builder/.cabal/logs/x509-validation-1.4.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-12036/x509-validation-1.4.0'
Configuring x509-validation-1.4.0...
Building x509-validation-1.4.0...
Preprocessing library x509-validation-1.4.0...
[1 of 2] Compiling Data.X509.Validation.Signature ( Data/X509/Validation/Signature.hs, dist/build/Data/X509/Validation/Signature.o )

Data/X509/Validation/Signature.hs:42:22: error:
    • Could not deduce (Show a) arising from a use of ‘signedAlg’
      from the context: (Eq a, ASN1Object a)
        bound by the type signature for:
                   verifySignedSignature :: (Eq a, ASN1Object a) =>
                                            SignedExact a -> PubKey -> SignatureVerification
        at Data/X509/Validation/Signature.hs:40:1-97
      Possible fix:
        add (Show a) to the context of
          the type signature for:
            verifySignedSignature :: (Eq a, ASN1Object a) =>
                                     SignedExact a -> PubKey -> SignatureVerification
    • In the first argument of ‘verifySignature’, namely
        ‘(signedAlg signed)’
      In the expression:
        verifySignature
          (signedAlg signed)
          pubKey
          (getSignedData signedObj)
          (signedSignature signed)
      In an equation for ‘verifySignedSignature’:
          verifySignedSignature signedObj pubKey
            = verifySignature
                (signedAlg signed)
                pubKey
                (getSignedData signedObj)
                (signedSignature signed)
            where
                signed = getSigned signedObj

Data/X509/Validation/Signature.hs:46:18: error:
    • Could not deduce (Show a) arising from a use of ‘getSigned’
      from the context: (Eq a, ASN1Object a)
        bound by the type signature for:
                   verifySignedSignature :: (Eq a, ASN1Object a) =>
                                            SignedExact a -> PubKey -> SignatureVerification
        at Data/X509/Validation/Signature.hs:40:1-97
      Possible fix:
        add (Show a) to the context of
          the type signature for:
            verifySignedSignature :: (Eq a, ASN1Object a) =>
                                     SignedExact a -> PubKey -> SignatureVerification
    • In the expression: getSigned signedObj
      In an equation for ‘signed’: signed = getSigned signedObj
      In an equation for ‘verifySignedSignature’:
          verifySignedSignature signedObj pubKey
            = verifySignature
                (signedAlg signed)
                pubKey
                (getSignedData signedObj)
                (signedSignature signed)
            where
                signed = getSigned signedObj

Data/X509/Validation/Signature.hs:71:71: error:
    • Couldn't match expected type ‘crypto-pubkey-types-0.4.3:Crypto.Types.PubKey.RSA.PublicKey’
                  with actual type ‘cryptonite-0.21:Crypto.PubKey.RSA.Types.PublicKey’
      NB: ‘cryptonite-0.21:Crypto.PubKey.RSA.Types.PublicKey’
            is defined in ‘Crypto.PubKey.RSA.Types’
                in package ‘cryptonite-0.21’
          ‘crypto-pubkey-types-0.4.3:Crypto.Types.PubKey.RSA.PublicKey’
            is defined in ‘Crypto.Types.PubKey.RSA’
                in package ‘crypto-pubkey-types-0.4.3’
    • In the second argument of ‘RSA.verify’, namely ‘key’
      In the second argument of ‘($)’, namely
        ‘RSA.verify (toDescr hashALG) key’
      In the expression: Just $ RSA.verify (toDescr hashALG) key

Data/X509/Validation/Signature.hs:73:80: error:
    • Couldn't match expected type ‘DSA.PublicKey’
                  with actual type ‘cryptonite-0.21:Crypto.PubKey.DSA.PublicKey’
      NB: ‘cryptonite-0.21:Crypto.PubKey.DSA.PublicKey’
            is defined in ‘Crypto.PubKey.DSA’ in package ‘cryptonite-0.21’
          ‘DSA.PublicKey’
            is defined in ‘Crypto.Types.PubKey.DSA’
                in package ‘crypto-pubkey-types-0.4.3’
    • In the second argument of ‘DSA.verify’, namely ‘key’
      In the expression: DSA.verify SHA1.hash key (dsaToSignature a)
      In the second argument of ‘($)’, namely
        ‘\ a -> DSA.verify SHA1.hash key (dsaToSignature a)’

Data/X509/Validation/Signature.hs:73:85: error:
    • Couldn't match expected type ‘DSA.Signature’
                  with actual type ‘(Integer, Integer)’
    • In the third argument of ‘DSA.verify’, namely
        ‘(dsaToSignature a)’
      In the expression: DSA.verify SHA1.hash key (dsaToSignature a)
      In the second argument of ‘($)’, namely
        ‘\ a -> DSA.verify SHA1.hash key (dsaToSignature a)’
cabal: Leaving directory '/tmp/cabal-tmp-12036/x509-validation-1.4.0'
cabal: Error: some packages failed to install:
x509-validation-1.4.0 failed during the building phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.