Mercurial > urweb

comparison src/mono_reduce.sml @ 268:bacd0ba869e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize ASC/DESC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:54:13 -0400
parents 40c33706d887
children fdd7a698be01
comparison
equal deleted inserted replaced
267:f31e8da68e90 268:bacd0ba869e1
201 if impure e' then 201 if impure e' then
202 e 202 e
203 else 203 else
204 #1 (reduceExp env (subExpInExp (0, e') b)) 204 #1 (reduceExp env (subExpInExp (0, e') b))
205 205
206 | EStrcat ((EPrim (Prim.String s1), _), (EPrim (Prim.String s2), _)) =>
207 EPrim (Prim.String (s1 ^ s2))
208
206 | _ => e 209 | _ => e
207 210
208 and bind (env, b) = 211 and bind (env, b) =
209 case b of 212 case b of
210 U.Decl.Datatype (x, n, xncs) => E.pushDatatype env x n xncs 213 U.Decl.Datatype (x, n, xncs) => E.pushDatatype env x n xncs