Mercurial > urweb

comparison src/monoize.sml @ 1081:25d491287358

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.sql_nullable and Top.queryL
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Dec 2009 12:13:23 -0500
parents 0657e5adc938
children 118ab9641a64
comparison
equal deleted inserted replaced
1080:a4979e31e4bf 1081:25d491287358
2467 (L'.ERel 0, loc), 2467 (L'.ERel 0, loc),
2468 sc " IS NULL)"]), loc), 2468 sc " IS NULL)"]), loc),
2469 fm) 2469 fm)
2470 end 2470 end
2471 2471
2472 | L.ECApp (
2473 (L.ECApp (
2474 (L.ECApp (
2475 (L.ECApp (
2476 (L.EFfi ("Basis", "sql_nullable"), _),
2477 _), _),
2478 _), _),
2479 _), _),
2480 _) =>
2481 let
2482 val s = (L'.TFfi ("Basis", "string"), loc)
2483 fun sc s = (L'.EPrim (Prim.String s), loc)
2484 in
2485 ((L'.EAbs ("u", (L'.TRecord [], loc), (L'.TFun (s, s), loc),
2486 (L'.EAbs ("x", s, s,
2487 (L'.ERel 0, loc)), loc)), loc),
2488 fm)
2489 end
2490
2472 | L.EFfiApp ("Basis", "nextval", [e]) => 2491 | L.EFfiApp ("Basis", "nextval", [e]) =>
2473 let 2492 let
2474 val (e, fm) = monoExp (env, st, fm) e 2493 val (e, fm) = monoExp (env, st, fm) e
2475 in 2494 in
2476 ((L'.ENextval e, loc), fm) 2495 ((L'.ENextval e, loc), fm)