Mercurial > urweb

diff src/unpoly.sml @ 796:6271f0e3c272

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a nasty binding bug in CoreUtil
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 09:11:58 -0400
parents dc3fc3f3b834
children 065ce3252090
line wrap: on
line diff
--- a/src/unpoly.sml	Thu May 14 08:15:36 2009 -0400
+++ b/src/unpoly.sml	Thu May 14 09:11:58 2009 -0400
@@ -138,14 +138,7 @@
                                                 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"