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
.