Unpoly non-recursive function

1 files changed, 2 insertions, 27 deletions

diff --git a/src/reduce.sml b/src/reduce.sml
index e8d51da7..89b9b30e 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -65,33 +65,8 @@ val subExpInExp =
                 bind = fn ((xn, rep), U.Exp.RelE _) => (xn+1, liftExpInExp 0 rep)
                         | (ctx, _) => ctx}
 
-val liftConInExp =
-    U.Exp.mapB {kind = fn k => k,
-                con = fn bound => fn c =>
-                                     case c of
-                                         CRel xn =>
-                                         if xn < bound then
-                                             c
-                                         else
-                                             CRel (xn + 1)
-                                       | _ => c,
-                exp = fn _ => fn e => e,
-                bind = fn (bound, U.Exp.RelC _) => bound + 1
-                        | (bound, _) => bound}
-
-val subConInExp =
-    U.Exp.mapB {kind = fn k => k,
-                con = fn (xn, rep) => fn c =>
-                                  case c of
-                                      CRel xn' =>
-                                      (case Int.compare (xn', xn) of
-                                           EQUAL => #1 rep
-                                         | GREATER => CRel (xn' - 1)
-                                         | LESS => c)
-                                    | _ => c,
-                exp = fn _ => fn e => e,
-                bind = fn ((xn, rep), U.Exp.RelC _) => (xn+1, liftConInCon 0 rep)
-                        | (ctx, _) => ctx}
+val liftConInExp = E.liftConInExp
+val subConInExp = E.subConInExp
 
 fun bindC (env, b) =
     case b of