Mercurial > urweb
comparison src/monoize.sml @ 1081:25d491287358
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) |