comparison src/ur/openidUser.ur @ 64:81632203928f

Fix 'hidden' constraint
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 17:11:32 -0500
parents 089ad1d33e2f
children
comparison
equal deleted inserted replaced
63:089ad1d33e2f 64:81632203928f
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 = [] 69 con user_hidden_constraints = []
70 constraint [] ~ user_hidden_constraints 70 constraint [Pkey = [Id]] ~ user_hidden_constraints
71 71
72 table identity : {User : user, Identifier : string} 72 table identity : {User : user, Identifier : string}
73 PRIMARY KEY (User, Identifier) 73 PRIMARY KEY (User, Identifier)
74 74
75 sequence sessionIds 75 sequence sessionIds