summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-30 13:29:00 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-30 13:29:00 -0400
commitadefca12f83d73986b0f860621232b17c130c742 (patch)
treeff01535ec8b49034e5cb39f0be1e36261bea9d8b /tests
parent0ee7bc2859f77d610ef4a8edd2acce8e5e0fe58c (diff)
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Diffstat (limited to 'tests')
-rw-r--r--tests/substring.ur5
-rw-r--r--tests/substring.urp4
2 files changed, 9 insertions, 0 deletions
diff --git a/tests/substring.ur b/tests/substring.ur
new file mode 100644
index 00000000..bc7b5068
--- /dev/null
+++ b/tests/substring.ur
@@ -0,0 +1,5 @@
+fun main () : transaction page = return <xml>
+ {[case String.split "abc{" #"{" of
+ None => "!"
+ | Some (pre, post) => pre ^ post]}
+</xml>
diff --git a/tests/substring.urp b/tests/substring.urp
new file mode 100644
index 00000000..acc6288b
--- /dev/null
+++ b/tests/substring.urp
@@ -0,0 +1,4 @@
+debug
+
+$/string
+substring