From 55d10dd587a94d356096c2dfc39306c14b55c7bf Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 15:29:39 -0400
Subject: Effectness analysis

---
 demo/chat.ur | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'demo/chat.ur')

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 ()
 
-- 
cgit v1.2.3