summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/jscomp.sml10
1 files changed, 8 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index 7a6c3094..0ebdc94a 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -301,12 +301,18 @@ fun process file =
[((PNone rt, loc),
str loc "null"),
((PSome (rt, (PVar ("x", rt), loc)), loc),
- strcat loc [str loc "{v:{_1:",
+ strcat loc [str loc ((if isNullable t' then
+ "{v:"
+ else
+ "") ^ "{_1:"),
e',
str loc ",_2:",
(EApp ((ENamed n', loc),
(EField ((ERel 0, loc), "2"), loc)), loc),
- str loc "}}"])],
+ str loc ((if isNullable t' then
+ "}"
+ else
+ "") ^ "}")])],
{disc = t, result = s}), loc)
val body = (EAbs ("x", t, s, body), loc)