summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml
index 894e35d0..02619437 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -507,12 +507,12 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} =
fn vis' =>
(DValRec vis', loc))
end
- | DExport (ek, s, n, ts, t) =>
+ | DExport (ek, s, n, ts, t, b) =>
S.bind2 (ListUtil.mapfold mft ts,
fn ts' =>
S.map2 (mft t,
fn t' =>
- (DExport (ek, s, n, ts', t'), loc)))
+ (DExport (ek, s, n, ts', t', b), loc)))
| DTable (s, xts, pe, ce) =>
S.bind2 (mfe ctx pe,
fn pe' =>