diff src/mono_util.sml @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 76a4d69719d8
children 6847741e1f5f
line wrap: on
line diff
--- a/src/mono_util.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/mono_util.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -266,10 +266,10 @@
                 S.map2 (ListUtil.mapfold (mfvi ctx) vis,
                      fn vis' =>
                         (DValRec vis', loc))
-              | DExport (s, n, ts) =>
+              | DExport (ek, s, n, ts) =>
                 S.map2 (ListUtil.mapfold mft ts,
                         fn ts' =>
-                           (DExport (s, n, ts'), loc))
+                           (DExport (ek, s, n, ts'), loc))
 
         and mfvi ctx (x, n, t, e, s) =
             S.bind2 (mft t,