From adefca12f83d73986b0f860621232b17c130c742 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 30 May 2009 13:29:00 -0400 Subject: Substring functions; fix a nasty MonoReduce pattern match substitution bug --- tests/substring.ur | 5 +++++ tests/substring.urp | 4 ++++ 2 files changed, 9 insertions(+) create mode 100644 tests/substring.ur create mode 100644 tests/substring.urp (limited to 'tests') 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 + {[case String.split "abc{" #"{" of + None => "!" + | Some (pre, post) => pre ^ post]} + 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 -- cgit v1.2.3