aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/chat.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 15:29:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 15:29:39 -0400
commit55d10dd587a94d356096c2dfc39306c14b55c7bf (patch)
treefa0fcff27c8418c9e6beccbce3c846678e71f07e /demo/chat.ur
parent6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (diff)
Effectness analysis
Diffstat (limited to 'demo/chat.ur')
-rw-r--r--demo/chat.ur9
1 files changed, 5 insertions, 4 deletions
diff --git a/demo/chat.ur b/demo/chat.ur
index 067397eb..52c344be 100644
--- a/demo/chat.ur
+++ b/demo/chat.ur
@@ -6,7 +6,7 @@ sequence s
table t : { Id : int, Title : string, Room : Room.topic }
PRIMARY KEY Id
-fun chat id =
+fun chat id () =
r <- oneRow (SELECT t.Title, t.Room FROM t WHERE t.Id = {[id]});
ch <- Room.subscribe r.T.Room;
@@ -55,12 +55,13 @@ fun list () =
count <- Room.subscribers r.T.Room;
return <xml><tr>
<td>{[r.T.Id]}</td>
- <td><a link={chat r.T.Id}>{[r.T.Title]}</a></td>
+ <td>{[r.T.Title]}</td>
<td>{[count]}</td>
- <td><a link={delete r.T.Id}>[delete]</a></td>
+ <td><form><submit action={chat r.T.Id} value="Enter"/></form></td>
+ <td><form><submit action={delete r.T.Id} value="Delete"/></form></td>
</tr></xml>)
-and delete id =
+and delete id () =
dml (DELETE FROM t WHERE Id = {[id]});
main ()