summaryrefslogtreecommitdiff
path: root/tests/char.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-26 12:25:06 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-26 12:25:06 -0400
commitd4748e41f7fc4865db89ebac0c7f646dca82f89a (patch)
tree53e0b285bbcb0e28d3cbbd507da21fcc41d8995e /tests/char.ur
parent19e4ef1a48aafbb7035af03324b9ff07b3474230 (diff)
Chars and more string operations
Diffstat (limited to 'tests/char.ur')
-rw-r--r--tests/char.ur4
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/char.ur b/tests/char.ur
new file mode 100644
index 00000000..08621eba
--- /dev/null
+++ b/tests/char.ur
@@ -0,0 +1,4 @@
+fun main () =
+ case #"A" of
+ #"B" => return <xml/>
+ | _ => return <xml>A!</xml>