Mercurial > urweb

diff src/mono_reduce.sml @ 1207:ae3036773768

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Introduced the known() predicate
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Apr 2010 09:51:36 -0400
parents 7a2a7a8f9cab
children 648e6b087dfb
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sun Apr 04 17:44:12 2010 -0400
+++ b/src/mono_reduce.sml	Tue Apr 06 09:51:36 2010 -0400
@@ -193,6 +193,12 @@
         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