[Ur] OpenId compile error

[Adam Chlipala]

Sorry about that.  I needed to update the Openid code to do a little 
dance to appease the fancier "table subtyping" that I added to Ur/Web 
recently.

On 11/06/2013 06:16 PM, Chris Double wrote:
> Trying to use the OpenId library with the hg version of UrWeb (version
> 20130421 + 5f478ecf65e4+ tip) gives:
>
> $ urweb test
> openid/src/ur/openidUser.ur:36:0: (to 374:3) Unmatched signature item
> Item:  con user_hidden_constraints :: {{Unit}}
> openid/src/ur/openidUser.ur:36:0: (to 374:3) Unmatched signature item
> Item:  constraint [] ~ UNBOUND_NAMED1161
>
> Is there an update to the openid library or should I be using a
> different UrWeb branch?
>