comparison src/jscomp.sml @ 911:12c77dc567a2

Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 14:50:19 -0400
parents 8e540df3294d
children 771449d8b411
comparison
equal deleted inserted replaced
910:8e540df3294d 911:12c77dc567a2
299 299
300 val body = (ECase ((ERel 0, loc), 300 val body = (ECase ((ERel 0, loc),
301 [((PNone rt, loc), 301 [((PNone rt, loc),
302 str loc "null"), 302 str loc "null"),
303 ((PSome (rt, (PVar ("x", rt), loc)), loc), 303 ((PSome (rt, (PVar ("x", rt), loc)), loc),
304 strcat loc [str loc "{v:{_1:", 304 strcat loc [str loc ((if isNullable t' then
305 "{v:"
306 else
307 "") ^ "{_1:"),
305 e', 308 e',
306 str loc ",_2:", 309 str loc ",_2:",
307 (EApp ((ENamed n', loc), 310 (EApp ((ENamed n', loc),
308 (EField ((ERel 0, loc), "2"), loc)), loc), 311 (EField ((ERel 0, loc), "2"), loc)), loc),
309 str loc "}}"])], 312 str loc ((if isNullable t' then
313 "}"
314 else
315 "") ^ "}")])],
310 {disc = t, result = s}), loc) 316 {disc = t, result = s}), loc)
311 val body = (EAbs ("x", t, s, body), loc) 317 val body = (EAbs ("x", t, s, body), loc)
312 318
313 val st = {decls = ("jsify", n', (TFun (t, s), loc), 319 val st = {decls = ("jsify", n', (TFun (t, s), loc),
314 body, "jsify") :: #decls st, 320 body, "jsify") :: #decls st,