summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-18 17:17:22 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-18 17:17:22 -0500
commitaabcc562d7ad7266b6b1e338a14a19224c1169df (patch)
tree58f415db1e75c76a0ed94a4be3309237a56df90a /tests
parente13be030430beb6bafa1d96b1bbaf7adc728cd45 (diff)
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error
Diffstat (limited to 'tests')
-rw-r--r--tests/stringToTime.ur9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/stringToTime.ur b/tests/stringToTime.ur
new file mode 100644
index 00000000..df7b7eed
--- /dev/null
+++ b/tests/stringToTime.ur
@@ -0,0 +1,9 @@
+fun main () : transaction page =
+ s <- source "";
+ return <xml><body>
+ <ctextbox source={s}/>
+ <button onclick={v <- get s; alert (show (readError v : time))}/>
+ <button onclick={v <- get s; case read v : option time of
+ None => alert "Invalid"
+ | Some tm => alert (show tm)}/>
+ </body></xml>