Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/reduce.sml	Sun Jun 22 11:04:10 2008 -0400
+++ b/src/reduce.sml	Sun Jun 22 14:23:05 2008 -0400
@@ -156,6 +156,6 @@
 
 fun decl env d = d
 
-val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} CoreEnv.basis
+val reduce = U.File.mapB {kind = kind, con = con, exp = exp, decl = decl, bind = bind} CoreEnv.empty
 
 end