Mercurial > urweb

diff src/elaborate.sml @ 13:6049e2193bf2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lifting cons in ElabEnv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 11:32:48 -0400
parents d89477f07c1e
children f1c36df29ed7
line wrap: on
line diff
--- a/src/elaborate.sml	Fri Mar 28 17:34:57 2008 -0400
+++ b/src/elaborate.sml	Sun Jun 08 11:32:48 2008 -0400
@@ -344,21 +344,8 @@
       | 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,