Mercurial > urweb

comparison src/core_util.sml @ 29:537db4ee89f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Translation to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 18:28:43 -0400
parents 4ab19c19665f
children 0a5c312de09a
comparison
equal deleted inserted replaced
28:104d43266b33 29:537db4ee89f4
243 S.map2 (mfe (bind (ctx, RelC (x, k))) e, 243 S.map2 (mfe (bind (ctx, RelC (x, k))) e,
244 fn e' => 244 fn e' =>
245 (ECAbs (x, k', e'), loc))) 245 (ECAbs (x, k', e'), loc)))
246 246
247 | ERecord xes => 247 | ERecord xes =>
248 S.map2 (ListUtil.mapfold (fn (x, e) => 248 S.map2 (ListUtil.mapfold (fn (x, e, t) =>
249 S.bind2 (mfc ctx x, 249 S.bind2 (mfc ctx x,
250 fn x' => 250 fn x' =>
251 S.map2 (mfe ctx e, 251 S.bind2 (mfe ctx e,
252 fn e' => 252 fn e' =>
253 (x', e')))) 253 S.map2 (mfc ctx t,
254 fn t' =>
255 (x', e', t')))))
254 xes, 256 xes,
255 fn xes' => 257 fn xes' =>
256 (ERecord xes', loc)) 258 (ERecord xes', loc))
257 | EField (e, c, {field, rest}) => 259 | EField (e, c, {field, rest}) =>
258 S.bind2 (mfe ctx e, 260 S.bind2 (mfe ctx e,