summaryrefslogtreecommitdiff
path: root/demo/noisy.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-05 10:23:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-05 10:23:16 -0400
commitaa5999ae1e92576a1557e4b9e93c12a2f800379f (patch)
treebede52199ad6681e3598dd198333b0c9dfef60ff /demo/noisy.ur
parent011a2d458a677c5db5c2fdf0684eeecaf688d6d9 (diff)
Make Effectize more precise
Diffstat (limited to 'demo/noisy.ur')
-rw-r--r--demo/noisy.ur6
1 files changed, 1 insertions, 5 deletions
diff --git a/demo/noisy.ur b/demo/noisy.ur
index 7f26eaf2..708cfa2c 100644
--- a/demo/noisy.ur
+++ b/demo/noisy.ur
@@ -25,7 +25,7 @@ fun check ls =
| Some a => a);
check ls'
-fun action () =
+fun main () =
idAdd <- source "";
aAdd <- source "";
@@ -41,7 +41,3 @@ fun action () =
<button value="Delete" onclick={id <- get idDel; del (readError id)}/>
<ctextbox source={idDel}/>
</body></xml>
-
-fun main () = return <xml><body>
- <form><submit value="Begin demo" action={action}/></form>
-</body></xml>