annotate tests/timef.ur @ 2278:b7615e0ac4b0

Fix bug in and clean up free path code.
author Ziv Scully <ziv@mit.edu>
date Tue, 10 Nov 2015 12:35:00 -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>