From 9f1124b65aea0bdd0909184ebf8056cd64d7c546 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 6 Apr 2010 09:51:36 -0400
Subject: Introduced the known() predicate

---
 src/mono_reduce.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/mono_reduce.sml')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 6bd5ceb8..e5dd3213 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -193,6 +193,12 @@ fun match (env, p : pat, e : exp) =
         else
             No
 
+      | (PPrim (Prim.String s), EStrcat (_, (EPrim (Prim.String s'), _))) =>
+        if String.isSuffix s' s then
+            Maybe
+        else
+            No
+
       | (PPrim p, EPrim p') =>
         if Prim.equal (p, p') then
             Yes env
-- 
cgit v1.2.3