Mercurial > urweb
diff src/expl_util.sml @ 460:d34834af4512
Cookies through explify
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 06 Nov 2008 10:43:48 -0500 |
| parents | 787d4931fb07 |
| children | ae03d09043c1 |
line wrap: on
line diff
--- a/src/expl_util.sml Thu Nov 06 10:29:55 2008 -0500 +++ b/src/expl_util.sml Thu Nov 06 10:43:48 2008 -0500 @@ -432,11 +432,6 @@ S.map2 (sg ctx s, fn s' => (SgiSgn (x, n, s'), loc)) - | SgiTable (tn, x, n, c) => - S.map2 (con ctx c, - fn c' => - (SgiTable (tn, x, n, c'), loc)) - | SgiSequence _ => S.return2 siAll and sg ctx s acc = S.bindP (sg' ctx s acc, sgn ctx) @@ -458,9 +453,7 @@ | SgiStr (x, _, sgn) => bind (ctx, Str (x, sgn)) | SgiSgn (x, _, sgn) => - bind (ctx, Sgn (x, sgn)) - | SgiTable _ => ctx - | SgiSequence _ => ctx, + bind (ctx, Sgn (x, sgn)), sgi ctx si)) ctx sgis, fn sgis' => (SgnConst sgis', loc))