annotate tests/timef.ur @ 2042:336070df8aec

Manual: Heuristic compilation warning
author Adam Chlipala <adam@chlipala.net>
date Sat, 26 Jul 2014 09:39:45 -0400
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>