Mercurial > urweb

annotate demo/list.ur @ 1908:ab1a3737b306

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make clean: Clean bin/mlton, src/urweb.mlton.lex, src/urweb.mlton.grm Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 669ac5e9a69e
children
rev   line source
adamc@397 1 datatype list t = Nil | Cons of t * list t
adamc@397 2
adamc@823 3 fun length [t] (ls : list t) =
adamc@501 4 let
adamc@501 5 fun length' (ls : list t) (acc : int) =
adamc@501 6 case ls of
adamc@501 7 Nil => acc
adamc@501 8 | Cons (_, ls') => length' ls' (acc + 1)
adamc@501 9 in
adamc@501 10 length' ls 0
adamc@501 11 end
adamc@397 12
adamc@823 13 fun rev [t] (ls : list t) =
adamc@501 14 let
adamc@501 15 fun rev' (ls : list t) (acc : list t) =
adamc@501 16 case ls of
adamc@501 17 Nil => acc
adamc@501 18 | Cons (x, ls') => rev' ls' (Cons (x, acc))
adamc@501 19 in
adamc@501 20 rev' ls Nil
adamc@501 21 end