diff options
Diffstat (limited to 'demo/listFun.ur')
-rw-r--r-- | demo/listFun.ur | 31 |
1 files changed, 17 insertions, 14 deletions
diff --git a/demo/listFun.ur b/demo/listFun.ur index c281a07d..d679c2fb 100644 --- a/demo/listFun.ur +++ b/demo/listFun.ur @@ -10,21 +10,24 @@ functor Make(M : sig Nil => <xml>[]</xml> | Cons (x, ls') => <xml>{[M.toString x]} :: {toXml ls'}</xml> - fun console (ls : list M.t) = return <xml><body> - Current list: {toXml ls}<br/> - Reversed list: {toXml (rev ls)}<br/> - Length: {[length ls]}<br/> - <br/> + fun console (ls : list M.t) = + let + fun cons (r : {X : string}) = + case M.fromString r.X of + None => return <xml><body>Invalid string!</body></xml> + | Some v => console (Cons (v, ls)) + in + return <xml><body> + Current list: {toXml ls}<br/> + Reversed list: {toXml (rev ls)}<br/> + Length: {[length ls]}<br/> + <br/> - <form> - Add element: <textbox{#X}/> <submit action={cons ls}/> - </form> - </body></xml> - - and cons (ls : list M.t) (r : {X : string}) = - case M.fromString r.X of - None => return <xml><body>Invalid string!</body></xml> - | Some v => console (Cons (v, ls)) + <form> + Add element: <textbox{#X}/> <submit action={cons}/> + </form> + </body></xml> + end fun main () = console Nil end |