Mercurial > urweb

comparison src/reduce.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 0dd40b6bfdf3
children 8998114760c1
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
366 | EWrite e => (EWrite (exp env e), loc) 366 | EWrite e => (EWrite (exp env e), loc)
367 | EClosure (n, es) => (EClosure (n, map (exp env) es), loc) 367 | EClosure (n, es) => (EClosure (n, map (exp env) es), loc)
368 368
369 | ELet (x, t, e1, e2) => (ELet (x, con env t, exp env e1, exp (UnknownE :: env) e2), loc) 369 | ELet (x, t, e1, e2) => (ELet (x, con env t, exp env e1, exp (UnknownE :: env) e2), loc)
370 370
371 | EServerCall (n, es, e) => (EServerCall (n, map (exp env) es, exp env e), loc)) 371 | EServerCall (n, es, e, t) => (EServerCall (n, map (exp env) es, exp env e, con env t), loc))
372 in 372 in
373 {con = con, exp = exp} 373 {con = con, exp = exp}
374 end 374 end
375 375
376 fun con namedC env c = #con (conAndExp (namedC, IM.empty)) env c 376 fun con namedC env c = #con (conAndExp (namedC, IM.empty)) env c