Mercurial > urweb

comparison src/reduce_local.sml @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents 40b19310ea9a
children 56aaa1941dad
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
129 | EWrite e => (EWrite (exp env e), loc) 129 | EWrite e => (EWrite (exp env e), loc)
130 | EClosure (n, es) => (EClosure (n, map (exp env) es), loc) 130 | EClosure (n, es) => (EClosure (n, map (exp env) es), loc)
131 131
132 | ELet (x, t, e1, e2) => (ELet (x, t, exp env e1, exp (Unknown :: env) e2), loc) 132 | ELet (x, t, e1, e2) => (ELet (x, t, exp env e1, exp (Unknown :: env) e2), loc)
133 133
134 | EServerCall (n, es, e) => (EServerCall (n, map (exp env) es, exp env e), loc)
135
134 fun reduce file = 136 fun reduce file =
135 let 137 let
136 fun doDecl (d as (_, loc)) = 138 fun doDecl (d as (_, loc)) =
137 case #1 d of 139 case #1 d of
138 DCon _ => d 140 DCon _ => d