summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 13:41:03 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 13:41:03 -0400
commit69559dc94815a000729c7ccef8216dec5b5158cc (patch)
treebea645178c714fbf1a04173bb04a9dbe22c634b7 /demo
parentac6a32c651d76d10650fffb99f77f05c583ff0cf (diff)
listFun uses length
Diffstat (limited to 'demo')
-rw-r--r--demo/listFun.ur2
1 files changed, 2 insertions, 0 deletions
diff --git a/demo/listFun.ur b/demo/listFun.ur
index 74f249b6..c4451e1d 100644
--- a/demo/listFun.ur
+++ b/demo/listFun.ur
@@ -12,6 +12,8 @@ functor Make(M : sig
fun console (ls : list M.t) = return <xml><body>
Current list: {toXml ls}<br/>
+ Length: {[length ls]}<br/>
+ <br/>
<form>
Add element: <textbox{#X}/> <submit action={cons ls}/>