# HG changeset patch # User Adam Chlipala # Date 1383780351 18000 # Node ID 089ad1d33e2f4c64bcfe2901ce7f72ea6424ab1c # Parent 77fa1fac2c7ea834f9eddf82f2a9c76be455e62b Fix to track a change in Ur/Web's 'table' signature item syntactic sugar diff -r 77fa1fac2c7e -r 089ad1d33e2f src/ur/openidUser.ur --- 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) diff -r 77fa1fac2c7e -r 089ad1d33e2f tests/utest.ur --- 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 - {[title]} + {[titl]} {userStuff.Status}
{userStuff.Other.Xml} -

{[title]}

+

{[titl]}

- {body} + {bod} fun main () = diff -r 77fa1fac2c7e -r 089ad1d33e2f tests/utest.urp --- a/tests/utest.urp Sat Jul 21 10:16:20 2012 -0400 +++ b/tests/utest.urp Wed Nov 06 18:25:51 2013 -0500 @@ -7,5 +7,7 @@ allow url https://* allow url /* prefix http://localhost:8080/ +safeGet main +safeGet U/signup utest