summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 11:43:57 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 11:43:57 -0400
commit95d278b9b8e9c314541b8251a34a32fe6deeb896 (patch)
treef0f262173a66272d9d91248844f2facc40cc65a2 /tests
parent3316f3c317e587a5fc2ecf38f061a72b48e3b94e (diff)
Starting with closure links
Diffstat (limited to 'tests')
-rw-r--r--tests/link.lac9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/link.lac b/tests/link.lac
new file mode 100644
index 00000000..4e2918e0
--- /dev/null
+++ b/tests/link.lac
@@ -0,0 +1,9 @@
+val ancillary : {} -> xhtml = fn () => <html>
+ Welcome to the ancillary page!
+</html>
+
+val main : {} -> xhtml = fn () => <html><body>
+ <a link={ancillary ()}>Enter the unknown!</a>
+
+ <a link={ancillary ()}>Alternate route!</a>
+</body></html>