From ac6a32c651d76d10650fffb99f77f05c583ff0cf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 13:24:54 -0400 Subject: Simple listShop working --- demo/listFun.ur | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) (limited to 'demo/listFun.ur') diff --git a/demo/listFun.ur b/demo/listFun.ur index 833aee51..74f249b6 100644 --- a/demo/listFun.ur +++ b/demo/listFun.ur @@ -1,5 +1,27 @@ +open List + functor Make(M : sig type t + val toString : t -> string + val fromString : string -> option t end) = struct - fun main () = return + fun toXml (ls : list M.t) = + case ls of + Nil => [] + | Cons (x, ls') => {[M.toString x]} :: {toXml ls'} + + fun console (ls : list M.t) = return + Current list: {toXml ls}
+ +
+ Add element: + +
+ + and cons (ls : list M.t) (r : {X : string}) = + case M.fromString r.X of + None => return Invalid string! + | Some v => console (Cons (v, ls)) + + fun main () = console Nil end -- cgit v1.2.3