summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-08-15 12:33:28 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-08-15 12:33:28 -0400
commit5f56fea79779cbb0f77ae0058cfa7bbe60bb914f (patch)
treee36a6fcc505d172d8751bfab669bbed39945aa70
parente472f946fc2316959e8480e2371233fd275b1da2 (diff)
Fix bug in JavaScript embedding of lists
-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)