diff options
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 10 |
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) |