Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/mono_util.sml	Tue Jun 10 16:22:46 2008 -0400
+++ b/src/mono_util.sml	Tue Jun 10 18:28:43 2008 -0400
@@ -114,10 +114,12 @@
                                           (EAbs (x, dom', ran', e'), loc))))
 
               | ERecord xes =>
-                S.map2 (ListUtil.mapfold (fn (x, e) =>
-                                             S.map2 (mfe ctx e,
+                S.map2 (ListUtil.mapfold (fn (x, e, t) =>
+                                             S.bind2 (mfe ctx e,
                                                   fn e' =>
-                                                     (x, e')))
+                                                     S.map2 (mft t,
+                                                             fn t' =>
+                                                                (x, e', t'))))
                                          xes,
                      fn xes' =>
                         (ERecord xes', loc))