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