Mercurial > urweb

comparison src/elaborate.sml @ 1022:4de35df3d545

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of bidding implementation compiles
author Adam Chlipala <adamc@hcoop.net>
date Sat, 31 Oct 2009 15:51:50 -0400
parents 5d7e05b4a5c0
children 6bcc1020d5cd
comparison
equal deleted inserted replaced
1021:7a4a55e05081 1022:4de35df3d545
3416 3416
3417 val (env', n) = E.pushStrNamed env x sgn' 3417 val (env', n) = E.pushStrNamed env x sgn'
3418 val denv' = 3418 val denv' =
3419 case #1 str' of 3419 case #1 str' of
3420 L'.StrConst _ => dopenConstraints (loc, env', denv) {str = x, strs = []} 3420 L'.StrConst _ => dopenConstraints (loc, env', denv) {str = x, strs = []}
3421 | L'.StrApp _ => dopenConstraints (loc, env', denv) {str = x, strs = []}
3421 | _ => denv 3422 | _ => denv
3422 in 3423 in
3423 case #1 (hnormSgn env sgn') of 3424 case #1 (hnormSgn env sgn') of
3424 L'.SgnFun _ => 3425 L'.SgnFun _ =>
3425 (case #1 str' of 3426 (case #1 str' of