Mercurial > urweb

comparison src/reduce_local.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 588b9d16b00a
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
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) 134 | EServerCall (n, es, e, t) => (EServerCall (n, map (exp env) es, exp env e, t), loc)
135 135
136 fun reduce file = 136 fun reduce file =
137 let 137 let
138 fun doDecl (d as (_, loc)) = 138 fun doDecl (d as (_, loc)) =
139 case #1 d of 139 case #1 d of