Mercurial > urweb

diff src/specialize.sml @ 315:e21d0dddda09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unpoly non-recursive function
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 09:36:47 -0400
parents df5fd8f6913a
children d20d6afc1206
line wrap: on
line diff
--- a/src/specialize.sml	Tue Sep 09 12:36:13 2008 -0400
+++ b/src/specialize.sml	Thu Sep 11 09:36:47 2008 -0400
@@ -25,7 +25,7 @@
  * POSSIBILITY OF SUCH DAMAGE.
  *)
 
-(* Simplify a Core program algebraically *)
+(* Simplify a Core program by repeating polymorphic definitions of datatypes *)
 
 structure Specialize :> SPECIALIZE = struct
 
@@ -61,7 +61,7 @@
      count : int,
      datatypes : datatyp IM.map,
      constructors : int IM.map,
-     decls : decl list
+     decls : decl list     
 }
 
 fun kind (k, st) = (k, st)