Mercurial > urweb

comparison src/elab_env.sml @ 471:20fab0e96217

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tree demo working (and other assorted regressions fixed)
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 19:43:48 -0500
parents 3f1b9231a37b
children 0fc08d1750e1
comparison
equal deleted inserted replaced
470:7cb418e9714f 471:20fab0e96217
539 539
540 fun lookupENamed (env : env) n = 540 fun lookupENamed (env : env) n =
541 case IM.find (#namedE env, n) of 541 case IM.find (#namedE env, n) of
542 NONE => raise UnboundNamed n 542 NONE => raise UnboundNamed n
543 | SOME x => x 543 | SOME x => x
544
545 fun checkENamed (env : env) n =
546 Option.isSome (IM.find (#namedE env, n))
544 547
545 fun lookupE (env : env) x = 548 fun lookupE (env : env) x =
546 case SM.find (#renameE env, x) of 549 case SM.find (#renameE env, x) of
547 NONE => NotBound 550 NONE => NotBound
548 | SOME (Rel' x) => Rel x 551 | SOME (Rel' x) => Rel x