Mercurial > urweb
comparison src/elab_env.sml @ 17:9bd8669d53c2
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 |