Mercurial > urweb
comparison tests/stringToTime.ur @ 1599:252e05bf199d
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 18 Nov 2011 17:17:22 -0500 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
1598:cdca9691434a | 1599:252e05bf199d |
---|---|
1 fun main () : transaction page = | |
2 s <- source ""; | |
3 return <xml><body> | |
4 <ctextbox source={s}/> | |
5 <button onclick={v <- get s; alert (show (readError v : time))}/> | |
6 <button onclick={v <- get s; case read v : option time of | |
7 None => alert "Invalid" | |
8 | Some tm => alert (show tm)}/> | |
9 </body></xml> |