annotate tests/data_attr.ur @ 2177:00cf8214c2e3

Switching to a more dynamic method of handling database reconnection, restarting transactions
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Oct 2015 11:08:12 -0400
parents 6be31671911b
children
rev   line source
adam@2008 1 fun dynd r = return <xml><body>
adam@2047 2 <div data={data_attr data_kind r.Attr r.Value}>How about that?</div>
adam@2008 3 </body></xml>
adam@2008 4
adam@2008 5 fun main () : transaction page =
adam@2008 6 s <- source <xml/>;
adam@2008 7 a <- source "";
adam@2008 8 v <- source "";
adam@2008 9 return <xml><body>
adam@2047 10 <div data-foo="hi" aria-something="wow" data-bar="bye" data-baz="why">Whoa there, cowboy!</div>
adam@2008 11
adam@2008 12 <hr/>
adam@2008 13
adam@2008 14 <form>
adam@2008 15 <textbox{#Attr}/> = <textbox{#Value}/>
adam@2008 16 <submit action={dynd}/>
adam@2008 17 </form>
adam@2008 18
adam@2008 19 <hr/>
adam@2008 20
adam@2008 21 <ctextbox source={a}/> = <ctextbox source={v}/>
adam@2008 22 <button onclick={fn _ =>
adam@2047 23 a <- get a; v <- get v; set s <xml><div data={data_attr data_kind a v}>OHO!</div></xml>}/>
adam@2008 24 <hr/>
adam@2008 25 <dyn signal={signal s}/>
adam@2008 26 </body></xml>