Mercurial > urweb
annotate tests/html5_cforms.ur @ 2094:0d898b086bbe
Improve wildify heuristic for finding record type-class witnesses
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 23 Dec 2014 13:42:20 -0500 |
| parents | f05fcb206571 |
| children |
| rev | line source |
|---|---|
| adam@2079 | 1 fun dn [a] (_ : show a) (x : source a) : xbody = <xml> |
| adam@2079 | 2 <dyn signal={v <- signal x; return (txt v)}/> |
| adam@2079 | 3 </xml> |
| adam@2079 | 4 |
| adam@2079 | 5 fun main () : transaction page = |
| adam@2079 | 6 a <- source ""; |
| adam@2079 | 7 b <- source True; |
| adam@2079 | 8 c <- source "a@b"; |
| adam@2079 | 9 d <- source ""; |
| adam@2079 | 10 e <- source ""; |
| adam@2079 | 11 f <- source ""; |
| adam@2080 | 12 g <- source 1.0; |
| adam@2080 | 13 h <- source 1.0; |
| adam@2080 | 14 i <- source "#CCCCCC"; |
| adam@2080 | 15 j <- source "2014/11/16"; |
| adam@2080 | 16 k <- source "2014/11/16 12:30:45"; |
| adam@2080 | 17 l <- source "2014/11/16 12:30:45"; |
| adam@2080 | 18 m <- source "2014/11"; |
| adam@2080 | 19 n <- source "2014-W7"; |
| adam@2080 | 20 o <- source "12:30:45"; |
| adam@2079 | 21 |
| adam@2079 | 22 return <xml><body> |
| adam@2079 | 23 <ctextbox source={a}/> |
| adam@2079 | 24 <ccheckbox source={b}/> |
| adam@2079 | 25 <cemail source={c}/> |
| adam@2079 | 26 <curl source={d}/> |
| adam@2079 | 27 <ctel source={e}/> |
| adam@2079 | 28 <csearch source={f}/> |
| adam@2080 | 29 <cnumber source={g} min={-10.0} max={10.0} step={0.5}/> |
| adam@2080 | 30 <crange source={h} min={-10.0} max={10.0}/> |
| adam@2080 | 31 <ccolor source={i}/> |
| adam@2080 | 32 <cdate source={j}/> |
| adam@2080 | 33 <cdatetime source={k}/> |
| adam@2080 | 34 <cdatetime-local source={l}/> |
| adam@2080 | 35 <cmonth source={m}/> |
| adam@2080 | 36 <cweek source={n}/> |
| adam@2080 | 37 <ctime source={o}/> |
| adam@2079 | 38 |
| adam@2079 | 39 <hr/> |
| adam@2079 | 40 |
| adam@2079 | 41 {dn a}; |
| adam@2079 | 42 {dn b}; |
| adam@2079 | 43 {dn c}; |
| adam@2079 | 44 {dn d}; |
| adam@2079 | 45 {dn e}; |
| adam@2080 | 46 {dn f}; |
| adam@2080 | 47 {dn g}; |
| adam@2080 | 48 {dn h}; |
| adam@2080 | 49 {dn i}; |
| adam@2080 | 50 {dn j}; |
| adam@2080 | 51 {dn k}; |
| adam@2080 | 52 {dn l}; |
| adam@2080 | 53 {dn m}; |
| adam@2080 | 54 {dn n}; |
| adam@2080 | 55 {dn o} |
| adam@2079 | 56 </body></xml> |