Mercurial > openid
changeset 63:089ad1d33e2f
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 |
files | src/ur/openidUser.ur tests/utest.ur tests/utest.urp |
diffstat | 3 files changed, 8 insertions(+), 4 deletions(-) [+] |
line wrap: on
line diff
--- a/src/ur/openidUser.ur Sat Jul 21 10:16:20 2012 -0400 +++ b/src/ur/openidUser.ur Wed Nov 06 18:25:51 2013 -0500 @@ -66,6 +66,8 @@ table user : ([Id = user] ++ M.cols) PRIMARY KEY Id + con user_hidden_constraints = [] + constraint [] ~ user_hidden_constraints table identity : {User : user, Identifier : string} PRIMARY KEY (User, Identifier)
--- a/tests/utest.ur Sat Jul 21 10:16:20 2012 -0400 +++ b/tests/utest.ur Wed Nov 06 18:25:51 2013 -0500 @@ -33,17 +33,17 @@ structure CtlDisplay = OpenidUser.DefaultDisplay end) -fun wrap title body = +fun wrap titl bod = userStuff <- U.main wrap; return <xml><head> - <title>{[title]}</title> + <title>{[titl]}</title> </head><body> {userStuff.Status}<br/> {userStuff.Other.Xml} - <h1>{[title]}</h1> + <h1>{[titl]}</h1> - {body} + {bod} </body></xml> fun main () =