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?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
