summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-17 16:35:11 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-17 16:35:11 -0400
commit13e3b7139dcee90106332ff4fb5b3c63fcf4a892 (patch)
tree9d7a2e3bc1dff89e7399d555415ffae5c45c8b52 /tests
parent7c045f4dd298b8cc1cbe5895b4fc30280e23abbf (diff)
Basic tail recursion introduction seems to be working
Diffstat (limited to 'tests')
-rw-r--r--tests/tail.ur15
-rw-r--r--tests/tail.urp3
-rw-r--r--tests/tail.urs1
3 files changed, 19 insertions, 0 deletions
diff --git a/tests/tail.ur b/tests/tail.ur
new file mode 100644
index 00000000..259b5f34
--- /dev/null
+++ b/tests/tail.ur
@@ -0,0 +1,15 @@
+fun one () = return 1
+
+fun addEm n =
+ if n = 0 then
+ return 0
+ else
+ n1 <- rpc (one ());
+ n2 <- addEm (n - 1);
+ return (n1 + n2)
+
+fun main () =
+ s <- source 0;
+ return <xml><body onload={n <- addEm 3; set s n}>
+ <dyn signal={n <- signal s; return (txt n)}/>
+ </body></xml>
diff --git a/tests/tail.urp b/tests/tail.urp
new file mode 100644
index 00000000..5063c0b7
--- /dev/null
+++ b/tests/tail.urp
@@ -0,0 +1,3 @@
+debug
+
+tail
diff --git a/tests/tail.urs b/tests/tail.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/tail.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page