summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-17 12:19:44 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-17 12:19:44 -0400
commit1527e77c3c2c99fbb9fb832250a6cc00c06d70b0 (patch)
treefd4a0b102dcd522d169c716f72d4f16971ddeada /tests
parentd5fd0e7403767670197f0422c99ba62176323624 (diff)
Untangle
Diffstat (limited to 'tests')
-rw-r--r--tests/recReal.lac8
-rw-r--r--tests/recReal2.lac13
-rw-r--r--tests/recReal3.lac18
3 files changed, 39 insertions, 0 deletions
diff --git a/tests/recReal.lac b/tests/recReal.lac
new file mode 100644
index 00000000..e3d46e81
--- /dev/null
+++ b/tests/recReal.lac
@@ -0,0 +1,8 @@
+val rec endlessList = fn () => <body>
+ <li> Buy eggs.</li>
+ {endlessList ()}
+</body>
+
+val main = fn () => <html><body>
+ {endlessList ()}
+</body></html>
diff --git a/tests/recReal2.lac b/tests/recReal2.lac
new file mode 100644
index 00000000..efe24004
--- /dev/null
+++ b/tests/recReal2.lac
@@ -0,0 +1,13 @@
+val rec endlessList1 = fn () => <body>
+ <li> Buy eggs.</li>
+ {endlessList2 ()}
+</body>
+
+and endlessList2 = fn () => <body>
+ <li> Buy milk.</li>
+ {endlessList1 ()}
+</body>
+
+val main = fn () => <html><body>
+ {endlessList1 ()}
+</body></html>
diff --git a/tests/recReal3.lac b/tests/recReal3.lac
new file mode 100644
index 00000000..0ebc489a
--- /dev/null
+++ b/tests/recReal3.lac
@@ -0,0 +1,18 @@
+val rec endlessList1 = fn () => <body>
+ <li> Buy eggs.</li>
+ {endlessList2 ()}
+</body>
+
+and endlessList2 = fn () => <body>
+ <li> Buy milk.</li>
+ {endlessList1 ()}
+ {endlessList3 ()}
+</body>
+
+and endlessList3 = fn () => <body>
+ <li> Buy goat.</li>
+</body>
+
+val main = fn () => <html><body>
+ {endlessList1 ()}
+</body></html>