From c4ddce15e08c0b2f26f7ff773b87654fc5f92938 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 13:47:20 -0400 Subject: Some client-side error handling --- tests/roundTrip.ur | 7 +++++-- tests/updateErr.ur | 17 +++++++++++++++++ tests/updateErr.urp | 4 ++++ 3 files changed, 26 insertions(+), 2 deletions(-) create mode 100644 tests/updateErr.ur create mode 100644 tests/updateErr.urp (limited to 'tests') diff --git a/tests/roundTrip.ur b/tests/roundTrip.ur index 26a0113e..d22b2d41 100644 --- a/tests/roundTrip.ur +++ b/tests/roundTrip.ur @@ -26,11 +26,14 @@ fun main () = receiverB () fun sender s n f = - sleep 9; + sleep 2000; writeBack (s, n, f); sender (s ^ "!") (n + 1) (f + 1.23) in - return + return alert ("Server error: " ^ s)); + spawn (receiverA ()); spawn (receiverB ()); sender "" 0 0.0}> end diff --git a/tests/updateErr.ur b/tests/updateErr.ur new file mode 100644 index 00000000..345e3aa8 --- /dev/null +++ b/tests/updateErr.ur @@ -0,0 +1,17 @@ +fun main () : transaction page = + s <- source ""; + b <- Buffer.create; + txt <- source ""; + + return Buffer.write b (show xml)); + onFail (fn s => alert ("FAIL! " ^ s))}> + {[s]}}/>
+ Init else error Crapky}/>
+ "{[s]}"}/>
+ +