view tests/timef.ur @ 2214:edd634b889d0

Add mono_inline.sml (which was left out of last commit).
author Ziv Scully <ziv@mit.edu>
date Tue, 14 Oct 2014 18:07:09 -0400
parents 7d459f223ac2
children
line wrap: on
line source
fun main () : transaction page =
    date <- source "2011/11/26 10:08:42";
    format <- source "";
    return <xml><body>
      <ctextbox source={date}/>
      <ctextbox source={format}/>
      <dyn signal={d <- signal date;
                   f <- signal format;
                   return (case read d of
                               None => <xml/>
                             | Some d => <xml>{[timef f d]}</xml>)}/>
    </body></xml>