summaryrefslogtreecommitdiff
path: root/src/jscomp.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 14:50:19 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 14:50:19 -0400
commite0d2bc5de775c9b87ec5402ef5a0d14eba9cc570 (patch)
treef429e1b424370a76f1327f0dc417f0bb66a62171 /src/jscomp.sml
parent5afe50894b7214b796d734d9caf20ee574157b42 (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.sml10
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)