diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-02-21 15:33:20 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-21 15:33:20 -0500 |
| commit | e44434a592770472b58f4ba052404824442ace23 (patch) | |
| tree | 6ec268a6e7aaa927f41c76e354e78ca55585f69a /src/expl_util.sml | |
| parent | 7406aaad6e8b732009a0a80d48240fd9ec37a122 (diff) | |
"Hello world" compiles, after replacing type-level fold with map
Diffstat (limited to 'src/expl_util.sml')
| -rw-r--r-- | src/expl_util.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expl_util.sml b/src/expl_util.sml index d2073a23..a2b5f2f6 100644 --- a/src/expl_util.sml +++ b/src/expl_util.sml @@ -145,12 +145,12 @@ fun mapfoldB {kind = fk, con = fc, bind} = S.map2 (mfc ctx c2, fn c2' => (CConcat (c1', c2'), loc))) - | CFold (k1, k2) => + | CMap (k1, k2) => S.bind2 (mfk k1, fn k1' => S.map2 (mfk k2, fn k2' => - (CFold (k1', k2'), loc))) + (CMap (k1', k2'), loc))) | CUnit => S.return2 cAll |