From 9e6bd5dd1394c99f0a9b29369a4957c958e0830c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 May 2009 09:11:58 -0400
Subject: Fix a nasty binding bug in CoreUtil

---
 src/unpoly.sml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'src/unpoly.sml')

diff --git a/src/unpoly.sml b/src/unpoly.sml
index 56406636..6f838392 100644
--- a/src/unpoly.sml
+++ b/src/unpoly.sml
@@ -138,14 +138,7 @@ fun exp (e, st : state) =
                                                 in
                                                     trim (t, e, cargs)
                                                 end
-                                              | (_, _, []) =>
-                                                (*let
-                                                    val e = foldl (fn ((_, n, n_old, _, _, _), e) =>
-                                                                      unpolyNamed (n_old, ENamed n) e)
-                                                                  e vis
-                                                in*)
-                                                    SOME (t, e)
-                                                (*end*)
+                                              | (_, _, []) => SOME (t, e)
                                               | _ => NONE
                                     in
                                         (*Print.prefaces "specialize"
-- 
cgit v1.2.3