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