diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:29:39 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:29:39 -0400 |
commit | 55d10dd587a94d356096c2dfc39306c14b55c7bf (patch) | |
tree | fa0fcff27c8418c9e6beccbce3c846678e71f07e /demo | |
parent | 6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (diff) |
Effectness analysis
Diffstat (limited to 'demo')
-rw-r--r-- | demo/chat.ur | 9 | ||||
-rw-r--r-- | demo/crud.ur | 2 | ||||
-rw-r--r-- | demo/ref.ur | 6 | ||||
-rw-r--r-- | demo/sql.ur | 4 | ||||
-rw-r--r-- | demo/tree.ur | 4 |
5 files changed, 15 insertions, 10 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 () diff --git a/demo/crud.ur b/demo/crud.ur index cf120697..0b937ff1 100644 --- a/demo/crud.ur +++ b/demo/crud.ur @@ -167,7 +167,7 @@ functor Make(M : sig return <xml><body> <p>Are you sure you want to delete ID #{[id]}?</p> - <p><a link={delete ()}>I was born sure!</a></p> + <form><submit action={delete} value="I was born sure!"/></form> </body></xml> end diff --git a/demo/ref.ur b/demo/ref.ur index 983cc814..b21d40a2 100644 --- a/demo/ref.ur +++ b/demo/ref.ur @@ -6,7 +6,7 @@ structure SR = RefFun.Make(struct type data = string end) -fun main () = +fun mutate () = ir <- IR.new 3; ir' <- IR.new 7; sr <- SR.new "hi"; @@ -24,3 +24,7 @@ fun main () = return <xml><body> {[iv]}, {[iv']}, {[sv]} </body></xml> + +fun main () = return <xml><body> + <form><submit action={mutate} value="Do some pointless stuff"/></form> +</body></xml> diff --git a/demo/sql.ur b/demo/sql.ur index bbfec24a..adfc5909 100644 --- a/demo/sql.ur +++ b/demo/sql.ur @@ -5,7 +5,7 @@ fun list () = rows <- queryX (SELECT * FROM t) (fn row => <xml><tr> <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td> - <td><a link={delete row.T.A}>[delete]</a></td> + <td><form><submit action={delete row.T.A} value="Delete"/></form></td> </tr></xml>); return <xml> <table border=1> @@ -36,7 +36,7 @@ and add r = {xml} </body></xml> -and delete a = +and delete a () = dml (DELETE FROM t WHERE t.A = {[a]}); xml <- list (); diff --git a/demo/tree.ur b/demo/tree.ur index b02e1f00..d7b0919e 100644 --- a/demo/tree.ur +++ b/demo/tree.ur @@ -8,7 +8,7 @@ open TreeFun.Make(struct end) fun row r = <xml> - #{[r.Id]}: {[r.Nam]} <a link={del r.Id}>[Delete]</a> + #{[r.Id]}: {[r.Nam]} <form><submit action={del r.Id} value="Delete"/></form> <form> Add child: <textbox{#Nam}/> <submit action={add (Some r.Id)}/> @@ -30,6 +30,6 @@ and add parent r = dml (INSERT INTO t (Id, Parent, Nam) VALUES ({[id]}, {[parent]}, {[r.Nam]})); main () -and del id = +and del id () = dml (DELETE FROM t WHERE Id = {[id]}); main () |