Mercurial > urweb

comparison src/mono_util.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 76a4d69719d8
children 6847741e1f5f
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
264 (DVal vi', loc)) 264 (DVal vi', loc))
265 | DValRec vis => 265 | DValRec vis =>
266 S.map2 (ListUtil.mapfold (mfvi ctx) vis, 266 S.map2 (ListUtil.mapfold (mfvi ctx) vis,
267 fn vis' => 267 fn vis' =>
268 (DValRec vis', loc)) 268 (DValRec vis', loc))
269 | DExport (s, n, ts) => 269 | DExport (ek, s, n, ts) =>
270 S.map2 (ListUtil.mapfold mft ts, 270 S.map2 (ListUtil.mapfold mft ts,
271 fn ts' => 271 fn ts' =>
272 (DExport (s, n, ts'), loc)) 272 (DExport (ek, s, n, ts'), loc))
273 273
274 and mfvi ctx (x, n, t, e, s) = 274 and mfvi ctx (x, n, t, e, s) =
275 S.bind2 (mft t, 275 S.bind2 (mft t,
276 fn t' => 276 fn t' =>
277 S.map2 (mfe ctx e, 277 S.map2 (mfe ctx e,