Mercurial > urweb

diff src/mono_util.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents 70cbdcf5989b
children f152f215a02c
line wrap: on
line diff
--- a/src/mono_util.sml	Tue Apr 07 15:04:07 2009 -0400
+++ b/src/mono_util.sml	Tue Apr 07 16:14:31 2009 -0400
@@ -465,10 +465,12 @@
                            S.map2 (mft t,
                                    fn t' =>
                                       (DExport (ek, s, n, ts', t'), loc)))
-              | DTable (s, xts, e) =>
-                S.map2 (mfe ctx e,
-                        fn e' =>
-                           (DTable (s, xts, e'), loc))
+              | DTable (s, xts, pe, ce) =>
+                S.bind2 (mfe ctx pe,
+                      fn pe' =>
+                         S.map2 (mfe ctx ce,
+                              fn ce' =>
+                                 (DTable (s, xts, pe', ce'), loc)))
               | DSequence _ => S.return2 dAll
               | DDatabase _ => S.return2 dAll
               | DJavaScript _ => S.return2 dAll