Mercurial > urweb

diff src/elab_env.sml @ 16:bc7b76ca57e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Conversion to Core
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 13:59:29 -0400
parents f1c36df29ed7
children 9bd8669d53c2
line wrap: on
line diff
--- a/src/elab_env.sml	Sun Jun 08 13:00:12 2008 -0400
+++ b/src/elab_env.sml	Sun Jun 08 13:59:29 2008 -0400
@@ -29,7 +29,6 @@
 
 open Elab
 
-structure L' = Elab
 structure U = ElabUtil
 
 structure IM = IntBinaryMap
@@ -50,12 +49,12 @@
     U.Con.mapB {kind = fn k => k,
                 con = fn bound => fn c =>
                                      case c of
-                                         L'.CRel xn =>
+                                         CRel xn =>
                                          if xn < bound then
                                              c
                                          else
-                                             L'.CRel (xn + 1)
-                                       | L'.CUnif _ => raise SynUnif
+                                             CRel (xn + 1)
+                                       | CUnif _ => raise SynUnif
                                        | _ => c,
                 bind = fn (bound, U.Con.Rel _) => bound + 1
                         | (bound, _) => bound}