Mercurial > urweb

comparison src/reduce.sml @ 133:55d8cfa4d024

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MonoReduce
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 12:59:52 -0400
parents 813e5a52063d
children 7420fa18d657
comparison
equal deleted inserted replaced
132:25b28625d4df 133:55d8cfa4d024
169 169
170 and reduceExp env = U.Exp.mapB {kind = kind, con = con, exp = exp, bind = bind} env 170 and reduceExp env = U.Exp.mapB {kind = kind, con = con, exp = exp, bind = bind} env
171 171
172 fun decl env d = d 172 fun decl env d = d
173 173
174 val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} CoreEnv.empty 174 val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} E.empty
175 175
176 end 176 end