Mercurial > urweb
annotate tests/data_attr.ur @ 2241:2b1af5dc6dee
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sun, 19 Jul 2015 19:05:16 -0700 |
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> |