diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-15 12:33:28 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-15 12:33:28 -0400 |
| commit | 5f56fea79779cbb0f77ae0058cfa7bbe60bb914f (patch) | |
| tree | e36a6fcc505d172d8751bfab669bbed39945aa70 /src | |
| parent | e472f946fc2316959e8480e2371233fd275b1da2 (diff) | |
Fix bug in JavaScript embedding of lists
Diffstat (limited to 'src')
| -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) |