Mercurial > urweb

comparison src/elaborate.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 1e645beb3f3b
children 9a578171de9e
comparison
equal deleted inserted replaced
16:bc7b76ca57e0 17:9bd8669d53c2
355 L'.CRel xn' => 355 L'.CRel xn' =>
356 if xn = xn' then 356 if xn = xn' then
357 #1 rep 357 #1 rep
358 else 358 else
359 c 359 c
360 | L'.CUnif _ => raise SynUnif 360 (*| L'.CUnif _ => raise SynUnif*)
361 | _ => c, 361 | _ => c,
362 bind = fn ((xn, rep), U.Con.Rel _) => (xn+1, liftConInCon 0 rep) 362 bind = fn ((xn, rep), U.Con.Rel _) => (xn+1, liftConInCon 0 rep)
363 | (ctx, _) => ctx} 363 | (ctx, _) => ctx}
364 364
365 type record_summary = { 365 type record_summary = {