From 5f56fea79779cbb0f77ae0058cfa7bbe60bb914f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 15 Aug 2011 12:33:28 -0400
Subject: Fix bug in JavaScript embedding of lists

---
 src/jscomp.sml | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'src/jscomp.sml')

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)
                                     
-- 
cgit v1.2.3