comparison tests/updateErr.ur @ 1890:abb0e95dcaa1

Fix more of client-side error handlers
author Adam Chlipala <adam@chlipala.net>
date Thu, 14 Nov 2013 06:36:36 -0500
parents 7c6b6c3c7b79
children
comparison
equal deleted inserted replaced
1889:c40ed80be943 1890:abb0e95dcaa1
6 return <xml><body onload={onError (fn xml => Buffer.write b (show xml)); 6 return <xml><body onload={onError (fn xml => Buffer.write b (show xml));
7 onFail (fn s => alert ("FAIL! " ^ s))}> 7 onFail (fn s => alert ("FAIL! " ^ s))}>
8 <dyn signal={s <- signal s; return <xml>{[s]}</xml>}/><br/> 8 <dyn signal={s <- signal s; return <xml>{[s]}</xml>}/><br/>
9 <dyn signal={s <- signal s; if s = "" then return <xml>Init</xml> else error <xml>Crapky</xml>}/><br/> 9 <dyn signal={s <- signal s; if s = "" then return <xml>Init</xml> else error <xml>Crapky</xml>}/><br/>
10 <dyn signal={s <- signal s; return <xml>"{[s]}"</xml>}/><br/> 10 <dyn signal={s <- signal s; return <xml>"{[s]}"</xml>}/><br/>
11 <button onclick={fn _ => debug "88"}/><br/>
11 12
12 <ctextbox source={txt}/> <button onclick={s' <- get txt; set s s'; set txt ""}/> 13 <ctextbox source={txt}/> <button onclick={fn _ => s' <- get txt; set s s'; set txt ""}/>
13 14
14 <hr/> 15 <hr/>
15 16
16 <dyn signal={Buffer.render b}/> 17 <dyn signal={Buffer.render b}/>
17 </body></xml> 18 </body></xml>