Mercurial > urweb
comparison src/elaborate.sml @ 1022:4de35df3d545
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 |