Mercurial > urweb

comparison src/mono_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 92361a008a10
comparison
equal deleted inserted replaced
28:104d43266b33 29:537db4ee89f4
112 S.map2 (mfe (bind (ctx, RelE (x, dom'))) e, 112 S.map2 (mfe (bind (ctx, RelE (x, dom'))) e,
113 fn e' => 113 fn e' =>
114 (EAbs (x, dom', ran', e'), loc)))) 114 (EAbs (x, dom', ran', e'), loc))))
115 115
116 | ERecord xes => 116 | ERecord xes =>
117 S.map2 (ListUtil.mapfold (fn (x, e) => 117 S.map2 (ListUtil.mapfold (fn (x, e, t) =>
118 S.map2 (mfe ctx e, 118 S.bind2 (mfe ctx e,
119 fn e' => 119 fn e' =>
120 (x, e'))) 120 S.map2 (mft t,
121 fn t' =>
122 (x, e', t'))))
121 xes, 123 xes,
122 fn xes' => 124 fn xes' =>
123 (ERecord xes', loc)) 125 (ERecord xes', loc))
124 | EField (e, x) => 126 | EField (e, x) =>
125 S.map2 (mfe ctx e, 127 S.map2 (mfe ctx e,