comparison src/ur/openid.ur @ 44:f8c9e1e4d337

Fix type error
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jul 2011 14:09:03 -0400
parents 00c8f43be8b7
children
comparison
equal deleted inserted replaced
43:00c8f43be8b7 44:f8c9e1e4d337
321 let 321 let
322 val sign' = case atype of 322 val sign' = case atype of
323 HMAC_SHA256 => OpenidFfi.hmac_sha256 key nvps 323 HMAC_SHA256 => OpenidFfi.hmac_sha256 key nvps
324 | HMAC_SHA1 => OpenidFfi.hmac_sha1 key nvps 324 | HMAC_SHA1 => OpenidFfi.hmac_sha1 key nvps
325 in 325 in
326 if secCmp sign' sign then 326 if OpenidFfi.secCmp sign' sign then
327 return None 327 return None
328 else 328 else
329 return (Some "Signatures don't match") 329 return (Some "Signatures don't match")
330 end 330 end
331 | Some (left, _) => return (Some ("openid.signed is missing required fields: " ^ show left)) 331 | Some (left, _) => return (Some ("openid.signed is missing required fields: " ^ show left))