summaryrefslogtreecommitdiff
path: root/tests/rewrite.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 13:23:07 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 13:23:07 -0400
commit95aad188ede9c075c2bfc6d8a7f9f5b7348db0ad (patch)
treeff50f45f052221ffeee46c29630832c2d29d9161 /tests/rewrite.ur
parent1f9b1ae7a13f004450f543afb737d8bc8534acdd (diff)
Path rewriting
Diffstat (limited to 'tests/rewrite.ur')
-rw-r--r--tests/rewrite.ur9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/rewrite.ur b/tests/rewrite.ur
new file mode 100644
index 00000000..8b9f5bb8
--- /dev/null
+++ b/tests/rewrite.ur
@@ -0,0 +1,9 @@
+table t : { A : int }
+
+fun other () = return <xml><body>
+ Other
+</body></xml>
+
+fun main () = return <xml><body>
+ <a link={other ()}>Hi!</a>
+</body></xml>