Mercurial > urweb

comparison src/monoize.sml @ 1421:3dab4696d116

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subqueries may always return NULL
author Adam Chlipala <adam@chlipala.net>
date Thu, 03 Feb 2011 21:04:12 -0500
parents a8606c1cfe87
children 541673c3161d
comparison
equal deleted inserted replaced
1420:146b69c53304 1421:3dab4696d116
2794 | L.ECApp ( 2794 | L.ECApp (
2795 (L.ECApp ( 2795 (L.ECApp (
2796 (L.ECApp ( 2796 (L.ECApp (
2797 (L.ECApp ( 2797 (L.ECApp (
2798 (L.ECApp ( 2798 (L.ECApp (
2799 (L.EFfi ("Basis", "sql_subquery"), _), 2799 (L.ECApp (
2800 (L.EFfi ("Basis", "sql_subquery"), _),
2801 _), _),
2800 _), _), 2802 _), _),
2801 _), _), 2803 _), _),
2802 _), _), 2804 _), _),
2803 _), _), 2805 _), _),
2804 _) => 2806 _) =>
2805 let 2807 let
2806 val s = (L'.TFfi ("Basis", "string"), loc) 2808 val s = (L'.TFfi ("Basis", "string"), loc)
2807 fun sc s = (L'.EPrim (Prim.String s), loc) 2809 fun sc s = (L'.EPrim (Prim.String s), loc)
2808 in 2810 in
2809 ((L'.EAbs ("x", s, s, 2811 ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFun (s, s), loc),
2810 strcat [sc "(", 2812 (L'.EAbs ("x", s, s,
2811 (L'.ERel 0, loc), 2813 strcat [sc "(",
2812 sc ")"]), loc), 2814 (L'.ERel 0, loc),
2815 sc ")"]), loc)), loc),
2813 fm) 2816 fm)
2814 end 2817 end
2815 2818
2816 | L.EFfiApp ("Basis", "nextval", [e]) => 2819 | L.EFfiApp ("Basis", "nextval", [e]) =>
2817 let 2820 let