Mercurial > openid

comparison src/ur/openidUser.ur @ 63:089ad1d33e2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix to track a change in Ur/Web's 'table' signature item syntactic sugar
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Nov 2013 18:25:51 -0500
parents 77fa1fac2c7e
children 81632203928f
comparison
equal deleted inserted replaced
62:77fa1fac2c7e 63:089ad1d33e2f
64 val show_user = _ 64 val show_user = _
65 val inj_user = _ 65 val inj_user = _
66 66
67 table user : ([Id = user] ++ M.cols) 67 table user : ([Id = user] ++ M.cols)
68 PRIMARY KEY Id 68 PRIMARY KEY Id
69 con user_hidden_constraints = []
70 constraint [] ~ user_hidden_constraints
69 71
70 table identity : {User : user, Identifier : string} 72 table identity : {User : user, Identifier : string}
71 PRIMARY KEY (User, Identifier) 73 PRIMARY KEY (User, Identifier)
72 74
73 sequence sessionIds 75 sequence sessionIds