Mercurial > urweb
annotate tests/data_attr.ur @ 2195:18e6fb487880
Reduce: add reduction in some spots previously missed, associated with 'case' return types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 25 Nov 2015 18:48:17 -0500 |
| 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> |