Mercurial > urweb

diff src/mono_reduce.sml @ 280:fdd7a698be01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiling a parametrized query the inefficient way
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 17:31:45 -0400
parents bacd0ba869e1
children c0e4ac23522d
line wrap: on
line diff
--- a/src/mono_reduce.sml	Tue Sep 02 16:18:05 2008 -0400
+++ b/src/mono_reduce.sml	Tue Sep 02 17:31:45 2008 -0400
@@ -97,6 +97,12 @@
         (PWild, _) => Yes env
       | (PVar (x, t), _) => Yes (E.pushERel env x t (SOME e))
 
+      | (PPrim (Prim.String s), EStrcat ((EPrim (Prim.String s'), _), _)) =>
+        if String.isPrefix s' s then
+            Maybe
+        else
+            No
+
       | (PPrim p, EPrim p') =>
         if Prim.equal (p, p') then
             Yes env