Mercurial > urweb

diff src/compiler.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 e0ed0d4dabc9
children 6a4e365db60c
line wrap: on
line diff
--- a/src/compiler.sml	Tue Sep 09 12:36:13 2008 -0400
+++ b/src/compiler.sml	Thu Sep 11 09:36:47 2008 -0400
@@ -405,12 +405,19 @@
 
 val toReduce = transform reduce "reduce" o toTag
 
+val unpoly = {
+    func = Unpoly.unpoly,
+    print = CorePrint.p_file CoreEnv.empty
+}
+
+val toUnpoly = transform unpoly "unpoly" o toReduce
+
 val specialize = {
     func = Specialize.specialize,
     print = CorePrint.p_file CoreEnv.empty
 }
 
-val toSpecialize = transform specialize "specialize" o toReduce
+val toSpecialize = transform specialize "specialize" o toUnpoly
 
 val toShake2 = transform shake "shake2" o toSpecialize