Mercurial > urweb

comparison src/mono_util.sml @ 120:6230bdd122e7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Passing an argument to a web function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:07:10 -0400
parents 2d6116de9cca
children 76a4d69719d8
comparison
equal deleted inserted replaced
119:7fdc146b2bc2 120:6230bdd122e7
262 S.bind2 (mft t, 262 S.bind2 (mft t,
263 fn t' => 263 fn t' =>
264 S.map2 (mfe ctx e, 264 S.map2 (mfe ctx e,
265 fn e' => 265 fn e' =>
266 (DVal (x, n, t', e', s), loc))) 266 (DVal (x, n, t', e', s), loc)))
267 | DExport _ => S.return2 dAll 267 | DExport (s, n, ts) =>
268 S.map2 (ListUtil.mapfold mft ts,
269 fn ts' =>
270 (DExport (s, n, ts'), loc))
268 in 271 in
269 mfd 272 mfd
270 end 273 end
271 274
272 fun mapfold {typ = fc, exp = fe, decl = fd} = 275 fun mapfold {typ = fc, exp = fe, decl = fd} =