Mercurial > urweb
changeset 1541:94ef0b07066a
Fix bug in JavaScript embedding of lists
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 15 Aug 2011 12:33:28 -0400 |
| parents | 659a2f71f5e5 |
| children | dc4c61363d0a |
| files | src/jscomp.sml |
| diffstat | 1 files changed, 2 insertions(+), 8 deletions(-) [+] |
line wrap: on
line diff
--- a/src/jscomp.sml Mon Aug 15 11:26:10 2011 -0400 +++ b/src/jscomp.sml Mon Aug 15 12:33:28 2011 -0400 @@ -185,18 +185,12 @@ [((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)