Mercurial > urweb
diff src/expl_util.sml @ 623:588b9d16b00a
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Feb 2009 16:10:25 -0500 |
parents | 8998114760c1 |
children | 354800878b4d |
line wrap: on
line diff
--- a/src/expl_util.sml Sat Feb 21 16:11:56 2009 -0500 +++ b/src/expl_util.sml Sun Feb 22 16:10:25 2009 -0500 @@ -311,10 +311,6 @@ S.map2 (mfc ctx rest, fn rest' => (ECutMulti (e', c', {rest = rest'}), loc)))) - | EFold k => - S.map2 (mfk k, - fn k' => - (EFold k', loc)) | EWrite e => S.map2 (mfe ctx e,