diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-08 13:59:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-08 13:59:29 -0400 |
| commit | cce9fcf97f2def0b176303aa1832fe74a0b73686 (patch) | |
| tree | 211609079bd7c2a1cfa515a1cf0de4a297cba2ee /src/elab_env.sml | |
| parent | d44758dd02286c136aecaab935fb692761bdc9a6 (diff) | |
Conversion to Core
Diffstat (limited to 'src/elab_env.sml')
| -rw-r--r-- | src/elab_env.sml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml index 2308fbb6..b7264fc7 100644 --- a/src/elab_env.sml +++ b/src/elab_env.sml @@ -29,7 +29,6 @@ structure ElabEnv :> ELAB_ENV = struct open Elab -structure L' = Elab structure U = ElabUtil structure IM = IntBinaryMap @@ -50,12 +49,12 @@ val liftConInCon = 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} |