Mercurial > urweb

annotate tests/timef.ur @ 1835:a8b273f1f7e3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
author Adam Chlipala <adam@chlipala.net>
date Fri, 30 Nov 2012 10:02:13 -0500
parents 7d459f223ac2
children
rev   line source
adam@1609 1 fun main () : transaction page =
adam@1615 2 date <- source "2011/11/26 10:08:42";
adam@1609 3 format <- source "";
adam@1609 4 return <xml><body>
adam@1609 5 <ctextbox source={date}/>
adam@1609 6 <ctextbox source={format}/>
adam@1609 7 <dyn signal={d <- signal date;
adam@1609 8 f <- signal format;
adam@1609 9 return (case read d of
adam@1609 10 None => <xml/>
adam@1609 11 | Some d => <xml>{[timef f d]}</xml>)}/>
adam@1609 12 </body></xml>