Mercurial > urweb
view demo/listFun.ur @ 1802:e3ec868567ce
Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 03 Aug 2012 08:38:47 -0400 |
parents | 7ef4b2911b09 |
children |
line wrap: on
line source
open List functor Make(M : sig type t val toString : t -> string val fromString : string -> option t end) = struct fun toXml (ls : list M.t) = case ls of Nil => <xml>[]</xml> | Cons (x, ls') => <xml>{[M.toString x]} :: {toXml ls'}</xml> 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}/> </form> </body></xml> end fun main () = console Nil end