krdlab / haskell-oidc-client

OpenID Connect 1.0 client (RP) library for Haskell

Home Page:https://hackage.haskell.org/package/oidc-client

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

oidc-client-0.1.0.0 does not compile

peti opened this issue · comments

Citing from http://hydra.cryp.to/build/1338617/log/raw:

src/Web/OIDC/Client.hs:186:67:
    Couldn't match type ‘Either Jwt.JwtError Jwt.JwtContent’
                   with ‘(Either Jwt.JwtError t0, g)’
    Expected type: ByteString -> (Either Jwt.JwtError t0, g)
      Actual type: ByteString -> Either Jwt.JwtError Jwt.JwtContent
    Relevant bindings include
      g :: g (bound at src/Web/OIDC/Client.hs:186:56)
      crpg :: IORef g (bound at src/Web/OIDC/Client.hs:177:13)
    The function ‘Jwt.decode’ is applied to four arguments,
    its type is ‘[Jwk.Jwk]
                 -> Maybe Jwt.JwtEncoding
                 -> ByteString
                 -> m0 (Either Jwt.JwtError Jwt.JwtContent)’,
    it is specialized to ‘[Jwk.Jwk]
                          -> Maybe Jwt.JwtEncoding
                          -> ByteString
                          -> ByteString
                          -> Either Jwt.JwtError Jwt.JwtContent’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:186:80:
    Couldn't match expected type ‘Maybe Jwt.JwtEncoding’
                with actual type ‘[Jwk.Jwk]’
    In the second argument of ‘Jwt.decode’, namely ‘[jwk]’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:186:87:
    Couldn't match expected type ‘ByteString’
                with actual type ‘Maybe Jwt.JwtEncoding’
    In the third argument of ‘Jwt.decode’, namely
      ‘(Just $ Jwt.JwsEncoding alg)’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode g [jwk] (Just $ Jwt.JwsEncoding alg) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:192:67:
    Couldn't match type ‘Either Jwt.JwtError Jwt.JwtContent’
                   with ‘(Either Jwt.JwtError t0, g)’
    Expected type: ByteString -> (Either Jwt.JwtError t0, g)
      Actual type: ByteString -> Either Jwt.JwtError Jwt.JwtContent
    Relevant bindings include
      g :: g (bound at src/Web/OIDC/Client.hs:192:56)
      crpg :: IORef g (bound at src/Web/OIDC/Client.hs:177:13)
    The function ‘Jwt.decode’ is applied to four arguments,
    its type is ‘[Jwk.Jwk]
                 -> Maybe Jwt.JwtEncoding
                 -> ByteString
                 -> m0 (Either Jwt.JwtError Jwt.JwtContent)’,
    it is specialized to ‘[Jwk.Jwk]
                          -> Maybe Jwt.JwtEncoding
                          -> ByteString
                          -> ByteString
                          -> Either Jwt.JwtError Jwt.JwtContent’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode
           g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:192:80:
    Couldn't match expected type ‘Maybe Jwt.JwtEncoding’
                with actual type ‘[Jwk.Jwk]’
    In the second argument of ‘Jwt.decode’, namely ‘[jwk]’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode
           g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))

src/Web/OIDC/Client.hs:192:87:
    Couldn't match expected type ‘ByteString’
                with actual type ‘Maybe Jwt.JwtEncoding’
    In the third argument of ‘Jwt.decode’, namely
      ‘(Just $ Jwt.JweEncoding alg enc)’
    In the first argument of ‘swap’, namely
      ‘(Jwt.decode
          g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))’
    In the expression:
      swap
        (Jwt.decode
           g [jwk] (Just $ Jwt.JweEncoding alg enc) (Jwt.unJwt jwt'))

Thank you for reporting. I released oidc-client-0.1.0.1.