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>