Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work

1 files changed, 0 insertions, 10 deletions

diff --git a/src/elaborate.sml b/src/elaborate.sml
index 6d223585..5dd86f18 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -4455,16 +4455,6 @@ and elabStr (env, denv) (str, loc) =
                         subSgn env' loc actual ran';
                         (ran', gs)
                     end
-
-            (* Later compiler phases are simplified by alpha-varying
-             * the functor formal argument here, if the same name
-             * will be defined independently in the functor body. *)
-            fun ensureUnused m =
-                case E.projectStr env' {sgn = actual, str = (L'.StrVar 0, loc), field = m} of
-                    NONE => m
-                  | SOME _ => ensureUnused ("?" ^ m)
-
-            val m = ensureUnused m
         in
             ((L'.StrFun (m, n, dom', formal, str'), loc),
              (L'.SgnFun (m, n, dom', formal), loc),