diff options
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r-- | src/elaborate.sml | 17 |
1 files changed, 2 insertions, 15 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 9d672869..53a45358 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -344,21 +344,8 @@ fun cunifyError env err = | CRecordFailure => eprefaces "Can't unify record constructors" [] -exception SynUnif - -val liftConInCon = - U.Con.mapB {kind = fn k => k, - con = fn bound => fn c => - case c of - L'.CRel xn => - if xn < bound then - c - else - L'.CRel (xn + 1) - | L'.CUnif _ => raise SynUnif - | _ => c, - bind = fn (bound, U.Con.Rel _) => bound + 1 - | (bound, _) => bound} +exception SynUnif = E.SynUnif +val liftConInCon = E.liftConInCon val subConInCon = U.Con.mapB {kind = fn k => k, |