diff src/elab_util.sml @ 29:537db4ee89f4

Translation to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 18:28:43 -0400
parents 4ab19c19665f
children 44b5405e74c7
line wrap: on
line diff
--- a/src/elab_util.sml	Tue Jun 10 16:22:46 2008 -0400
+++ b/src/elab_util.sml	Tue Jun 10 18:28:43 2008 -0400
@@ -237,12 +237,14 @@
                                  (ECAbs (expl, x, k', e'), loc)))
 
               | ERecord xes =>
-                S.map2 (ListUtil.mapfold (fn (x, e) =>
+                S.map2 (ListUtil.mapfold (fn (x, e, t) =>
                                              S.bind2 (mfc ctx x,
                                                    fn x' =>
-                                                      S.map2 (mfe ctx e,
+                                                      S.bind2 (mfe ctx e,
                                                            fn e' =>
-                                                              (x', e'))))
+                                                              S.map2 (mfc ctx t,
+                                                                   fn t' =>
+                                                                      (x', e', t')))))
                                          xes,
                      fn xes' =>
                         (ERecord xes', loc))