Mercurial > urweb

comparison src/mono_util.sml @ 463:bb27c7efcd90

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 7abb28e9d51f
children 65d8541c130b
comparison
equal deleted inserted replaced
462:21bb5bbba2e9 463:bb27c7efcd90
303 (EDml e', loc)) 303 (EDml e', loc))
304 | ENextval e => 304 | ENextval e =>
305 S.map2 (mfe ctx e, 305 S.map2 (mfe ctx e,
306 fn e' => 306 fn e' =>
307 (ENextval e', loc)) 307 (ENextval e', loc))
308 | EUnurlify (e, t) =>
309 S.bind2 (mfe ctx e,
310 fn e' =>
311 S.map2 (mft t,
312 fn t' =>
313 (EUnurlify (e', t'), loc)))
308 in 314 in
309 mfe 315 mfe
310 end 316 end
311 317
312 fun mapfold {typ = fc, exp = fe} = 318 fun mapfold {typ = fc, exp = fe} =