[Ur] OpenId compile error

Adam Chlipala adamc at csail.mit.edu
Wed Dec 11 17:12:53 EST 2013


On 12/11/2013 04:53 PM, Maciek Starzyk wrote:
> Tried to build OpenID tests with the latest version of Ur/Web, and I
> get an "Unmatched signature item" error.
> Can you reproduce that ? Is it a bug in OpenID lib ?
>    

Yes, I could reproduce it.  I'm not sure when this broke, but I've 
pushed an openid change that should fix it.  Sorry!



More information about the Ur mailing list