Mercurial > urweb

comparison src/reduce.sml @ 56:d3cc191cb25f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Separate compilation and automatic basis importation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 14:23:05 -0400
parents 537db4ee89f4
children 2e0f3b21fb85
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
154 154
155 and reduceExp env = U.Exp.mapB {kind = kind, con = con, exp = exp, bind = bind} env 155 and reduceExp env = U.Exp.mapB {kind = kind, con = con, exp = exp, bind = bind} env
156 156
157 fun decl env d = d 157 fun decl env d = d
158 158
159 val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} CoreEnv.basis 159 val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} CoreEnv.empty
160 160
161 end 161 end