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 () =
--- 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