annotate tests/timef.ur @ 1937:94f9570671f0

Fix compilation of apps that don't use database; fix HTTP pipelining
author Adam Chlipala <adam@chlipala.net>
date Tue, 17 Dec 2013 20:12:33 -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>