From a01f4dd530689d29ac7518bb9a8d19b919ef76ac Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 20 Nov 2008 11:34:36 -0500 Subject: Some demo improvements --- demo/listFun.ur | 31 +++++++++++++++++-------------- 1 file changed, 17 insertions(+), 14 deletions(-) (limited to 'demo/listFun.ur') 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 => [] | Cons (x, ls') => {[M.toString x]} :: {toXml ls'} - fun console (ls : list M.t) = return - Current list: {toXml ls}
- Reversed list: {toXml (rev ls)}
- Length: {[length ls]}
-
+ fun console (ls : list M.t) = + let + fun cons (r : {X : string}) = + case M.fromString r.X of + None => return Invalid string! + | Some v => console (Cons (v, ls)) + in + return + Current list: {toXml ls}
+ Reversed list: {toXml (rev ls)}
+ Length: {[length 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)) +
+ Add element: + +
+ end fun main () = console Nil end -- cgit v1.2.3