Mercurial > urweb

comparison src/expl_util.sml @ 621:8998114760c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
"Hello world" compiles, after replacing type-level fold with map
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Feb 2009 15:33:20 -0500
parents ae03d09043c1
children 588b9d16b00a
comparison
equal deleted inserted replaced
620:d828b143e147 621:8998114760c1
143 S.bind2 (mfc ctx c1, 143 S.bind2 (mfc ctx c1,
144 fn c1' => 144 fn c1' =>
145 S.map2 (mfc ctx c2, 145 S.map2 (mfc ctx c2,
146 fn c2' => 146 fn c2' =>
147 (CConcat (c1', c2'), loc))) 147 (CConcat (c1', c2'), loc)))
148 | CFold (k1, k2) => 148 | CMap (k1, k2) =>
149 S.bind2 (mfk k1, 149 S.bind2 (mfk k1,
150 fn k1' => 150 fn k1' =>
151 S.map2 (mfk k2, 151 S.map2 (mfk k2,
152 fn k2' => 152 fn k2' =>
153 (CFold (k1', k2'), loc))) 153 (CMap (k1', k2'), loc)))
154 154
155 | CUnit => S.return2 cAll 155 | CUnit => S.return2 cAll
156 156
157 | CTuple cs => 157 | CTuple cs =>
158 S.map2 (ListUtil.mapfold (mfc ctx) cs, 158 S.map2 (ListUtil.mapfold (mfc ctx) cs,