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