diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:27:51 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:27:51 -0500 |
| commit | 8cfdf845683157b756f485ea91c3fc3f2a2697c6 (patch) | |
| tree | 5ac338b6209f2a4b27bf5788d34a55b35231923f /tests/timef.ur | |
| parent | 882a0b8d576a848142e1ffecb04a5b60f84faf99 (diff) | |
Client-side timef
Diffstat (limited to 'tests/timef.ur')
| -rw-r--r-- | tests/timef.ur | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/timef.ur b/tests/timef.ur new file mode 100644 index 00000000..1e473482 --- /dev/null +++ b/tests/timef.ur @@ -0,0 +1,12 @@ +fun main () : transaction page = + date <- source ""; + 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> |