diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-08-25 14:50:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 14:50:19 -0400 |
| commit | e0d2bc5de775c9b87ec5402ef5a0d14eba9cc570 (patch) | |
| tree | f429e1b424370a76f1327f0dc417f0bb66a62171 /src/jscomp.sml | |
| parent | 5afe50894b7214b796d734d9caf20ee574157b42 (diff) | |
Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 7a6c3094..0ebdc94a 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -301,12 +301,18 @@ fun process file = [((PNone rt, loc), str loc "null"), ((PSome (rt, (PVar ("x", rt), loc)), loc), - strcat loc [str loc "{v:{_1:", + strcat loc [str loc ((if isNullable t' then + "{v:" + else + "") ^ "{_1:"), e', str loc ",_2:", (EApp ((ENamed n', loc), (EField ((ERel 0, loc), "2"), loc)), loc), - str loc "}}"])], + str loc ((if isNullable t' then + "}" + else + "") ^ "}")])], {disc = t, result = s}), loc) val body = (EAbs ("x", t, s, body), loc) |