view tests/stringToTime.ur @ 1904:686fa4e7f397

xml/parse: Accept entity files on the command line Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- xml/parse.sml | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 252e05bf199d
children
line wrap: on
line source
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>