summaryrefslogtreecommitdiff
path: root/tests/link.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-19 11:11:49 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-19 11:11:49 -0400
commit98651ecbb17fce5630300f0050f323d7d023cf6b (patch)
tree5cf42093ed52dc9ce839e2373f166057aba6b6e4 /tests/link.ur
parent85eef6345dc591887e783b73b6f5c337ab5703c3 (diff)
Simple generation of persistent paths
Diffstat (limited to 'tests/link.ur')
-rw-r--r--tests/link.ur8
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/link.ur b/tests/link.ur
index 26f093ed..aa65b26a 100644
--- a/tests/link.ur
+++ b/tests/link.ur
@@ -1,7 +1,7 @@
-val ancillary = fn () => <html>
+fun ancillary () = return <xml>
Welcome to the ancillary page!
-</html>
+</xml>
-val main : unit -> page = fn () => <html><body>
+fun main () : transaction page = return <xml><body>
<a link={ancillary ()}>Enter the unknown!</a>
-</body></html>
+</body></xml>