Mercurial > urweb

comparison src/elab_env.sml @ 17:9bd8669d53c2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Further experiments with implicit arguments
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 14:10:51 -0400
parents bc7b76ca57e0
children 1c91c5e6840f
comparison
equal deleted inserted replaced
16:bc7b76ca57e0 17:9bd8669d53c2
52 CRel xn => 52 CRel xn =>
53 if xn < bound then 53 if xn < bound then
54 c 54 c
55 else 55 else
56 CRel (xn + 1) 56 CRel (xn + 1)
57 | CUnif _ => raise SynUnif 57 (*| CUnif _ => raise SynUnif*)
58 | _ => c, 58 | _ => c,
59 bind = fn (bound, U.Con.Rel _) => bound + 1 59 bind = fn (bound, U.Con.Rel _) => bound + 1
60 | (bound, _) => bound} 60 | (bound, _) => bound}
61 61
62 val lift = liftConInCon 0 62 val lift = liftConInCon 0