[Ur] OpenId compile error

[Maciek Starzyk]

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 ?

$ urweb -version
The Ur/Web compiler, version 20131124 + 1a04b1edded2 tip

$ hg id
089ad1d33e2f tip

$ urweb tests/test
/home/maciek/repo/urweb/openid/src/ur/openidUser.ur:36:0: (to 376:3)
Unmatched signature item
Item:
constraint
 ([Pkey = ([Id = ()]) ++ map (fn _ :: Type => ()) ([])]) ++ [] ~
 user_hidden_constraints

Thanks,
Maciek