From 2f923a2b261ac47e5f44d26aa92b548bbad86e09 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 15:38:01 -0400 Subject: Add more buttons to demo, to avoid effectful GET --- demo/roundTrip.ur | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'demo/roundTrip.ur') diff --git a/demo/roundTrip.ur b/demo/roundTrip.ur index a0d29bf6..c3a111b7 100644 --- a/demo/roundTrip.ur +++ b/demo/roundTrip.ur @@ -6,7 +6,7 @@ fun writeBack v = r <- oneRow (SELECT channels.Channel FROM channels WHERE channels.Client = {[me]}); send r.Channels.Channel v -fun main () = +fun action () = me <- self; ch <- channel; dml (INSERT INTO channels (Client, Channel) VALUES ({[me]}, {[ch]})); @@ -28,3 +28,7 @@ fun main () = end + +fun main () = return + -- cgit v1.2.3