Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1206:772760df4c4c 1207:ae3036773768
187 (PWild, _) => Yes env 187 (PWild, _) => Yes env
188 | (PVar (x, t), _) => Yes (e :: env) 188 | (PVar (x, t), _) => Yes (e :: env)
189 189
190 | (PPrim (Prim.String s), EStrcat ((EPrim (Prim.String s'), _), _)) => 190 | (PPrim (Prim.String s), EStrcat ((EPrim (Prim.String s'), _), _)) =>
191 if String.isPrefix s' s then 191 if String.isPrefix s' s then
192 Maybe
193 else
194 No
195
196 | (PPrim (Prim.String s), EStrcat (_, (EPrim (Prim.String s'), _))) =>
197 if String.isSuffix s' s then
192 Maybe 198 Maybe
193 else 199 else
194 No 200 No
195 201
196 | (PPrim p, EPrim p') => 202 | (PPrim p, EPrim p') =>