Mercurial > urweb

diff src/sources @ 1289:3b22c3c67f35

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reduce: Inline let-bound variables whose types involve functions
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Aug 2010 13:43:46 -0400
parents 5b5c0b552f59
children 9cb923efea4d
line wrap: on
line diff
--- a/src/sources	Sat Aug 21 10:58:13 2010 -0400
+++ b/src/sources	Sun Aug 22 13:43:46 2010 -0400
@@ -107,14 +107,20 @@
 corify.sig
 corify.sml
 
-reduce.sig
-reduce.sml
+reduce_local.sig
+reduce_local.sml
 
 shake.sig
 shake.sml
 
-reduce_local.sig
-reduce_local.sml
+core_untangle.sig
+core_untangle.sml
+
+especialize.sig
+especialize.sml
+
+reduce.sig
+reduce.sml
 
 unpoly.sig
 unpoly.sml
@@ -122,12 +128,6 @@
 specialize.sig
 specialize.sml
 
-core_untangle.sig
-core_untangle.sml
-
-especialize.sig
-especialize.sml
-
 rpcify.sig
 rpcify.sml