# HG changeset patch # User Adam Chlipala # Date 1269785435 14400 # Node ID aff5e661b5f89b9bf0c2ef98522e6b626603d740 # Parent 601a77af047780bac5a08afe8eb3f30da63ee5ea Make SELECT FROM clauses optional diff -r 601a77af0477 -r aff5e661b5f8 lib/ur/basis.urs --- a/lib/ur/basis.urs Thu Mar 25 16:41:51 2010 -0400 +++ b/lib/ur/basis.urs Sun Mar 28 10:10:35 2010 -0400 @@ -292,6 +292,7 @@ con sql_from_items :: {{Type}} -> {{Type}} -> Type +val sql_from_nil : free ::: {{Type}} -> sql_from_items free [] val sql_from_table : free ::: {{Type}} -> t ::: Type -> fs ::: {Type} -> fieldsOf t fs -> name :: Name -> t -> sql_from_items free [name = fs] diff -r 601a77af0477 -r aff5e661b5f8 src/monoize.sml --- a/src/monoize.sml Thu Mar 25 16:41:51 2010 -0400 +++ b/src/monoize.sml Sun Mar 28 10:10:35 2010 -0400 @@ -1891,8 +1891,14 @@ ^ ".uw_" ^ x')) xts)) stables), - sc " FROM ", - gf "From", + (L'.ECase (gf "From", + [((L'.PPrim (Prim.String ""), loc), + sc ""), + ((L'.PVar ("x", s), loc), + strcat [sc " FROM ", + (L'.ERel 0, loc)])], + {disc = s, + result = s}), loc), (L'.ECase (gf "Where", [((L'.PPrim (Prim.String "TRUE"), loc), sc ""), @@ -2048,6 +2054,8 @@ | L.ECApp ((L.EFfi ("Basis", "fieldsOf_view"), _), _) => ((L'.ERecord [], loc), fm) + | L.ECApp ((L.EFfi ("Basis", "sql_from_nil"), _), _) => + ((L'.EPrim (Prim.String ""), loc), fm) | L.ECApp ((L.EApp ((L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sql_from_table"), _), _), _), _), _), _), _), _), _), (L.CName name, _)) => @@ -2078,9 +2086,18 @@ in ((L'.EAbs ("tab1", s, (L'.TFun (s, s), loc), (L'.EAbs ("tab2", s, s, - strcat [(L'.ERel 1, loc), - (L'.EPrim (Prim.String ", "), loc), - (L'.ERel 0, loc)]), loc)), loc), + (L'.ECase ((L'.ERecord [("1", (L'.ERel 1, loc), s), + ("2", (L'.ERel 0, loc), s)], loc), + [((L'.PRecord [("1", (L'.PPrim (Prim.String ""), loc), s)], loc), + (L'.ERel 0, loc)), + ((L'.PRecord [("2", (L'.PPrim (Prim.String ""), loc), s)], loc), + (L'.ERel 1, loc)), + ((L'.PWild, loc), + strcat [(L'.ERel 1, loc), + (L'.EPrim (Prim.String ", "), loc), + (L'.ERel 0, loc)])], + {disc = (L'.TRecord [("1", s), ("2", s)], loc), + result = s}), loc)), loc)), loc), fm) end | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sql_inner_join"), _), _), _), _), _), _) => @@ -2090,13 +2107,22 @@ ((L'.EAbs ("tab1", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc), (L'.EAbs ("tab2", s, (L'.TFun (s, s), loc), (L'.EAbs ("on", s, s, - strcat [(L'.EPrim (Prim.String "("), loc), - (L'.ERel 2, loc), - (L'.EPrim (Prim.String " JOIN "), loc), - (L'.ERel 1, loc), - (L'.EPrim (Prim.String " ON "), loc), - (L'.ERel 0, loc), - (L'.EPrim (Prim.String ")"), loc)]), loc)), loc)), loc), + (L'.ECase ((L'.ERecord [("1", (L'.ERel 2, loc), s), + ("2", (L'.ERel 1, loc), s)], loc), + [((L'.PRecord [("1", (L'.PPrim (Prim.String ""), loc), s)], loc), + (L'.ERel 1, loc)), + ((L'.PRecord [("2", (L'.PPrim (Prim.String ""), loc), s)], loc), + (L'.ERel 2, loc)), + ((L'.PWild, loc), + strcat [(L'.EPrim (Prim.String "("), loc), + (L'.ERel 2, loc), + (L'.EPrim (Prim.String " JOIN "), loc), + (L'.ERel 1, loc), + (L'.EPrim (Prim.String " ON "), loc), + (L'.ERel 0, loc), + (L'.EPrim (Prim.String ")"), loc)])], + {disc = (L'.TRecord [("1", s), ("2", s)], loc), + result = s}), loc)), loc)), loc)), loc), fm) end | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sql_left_join"), _), _), _), _), _), @@ -2109,14 +2135,24 @@ (L'.EAbs ("tab1", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc), (L'.EAbs ("tab2", s, (L'.TFun (s, s), loc), (L'.EAbs ("on", s, s, - strcat [(L'.EPrim (Prim.String "("), loc), - (L'.ERel 2, loc), - (L'.EPrim (Prim.String " LEFT JOIN "), loc), - (L'.ERel 1, loc), - (L'.EPrim (Prim.String " ON "), loc), - (L'.ERel 0, loc), - (L'.EPrim (Prim.String ")"), loc)]), - loc)), loc)), loc)), loc), + (L'.ECase ((L'.ERecord [("1", (L'.ERel 2, loc), s), + ("2", (L'.ERel 1, loc), s)], loc), + [((L'.PRecord [("1", (L'.PPrim (Prim.String ""), + loc), s)], loc), + (L'.ERel 1, loc)), + ((L'.PRecord [("2", (L'.PPrim (Prim.String ""), + loc), s)], loc), + (L'.ERel 2, loc)), + ((L'.PWild, loc), + strcat [(L'.EPrim (Prim.String "("), loc), + (L'.ERel 2, loc), + (L'.EPrim (Prim.String " LEFT JOIN "), loc), + (L'.ERel 1, loc), + (L'.EPrim (Prim.String " ON "), loc), + (L'.ERel 0, loc), + (L'.EPrim (Prim.String ")"), loc)])], + {disc = (L'.TRecord [("1", s), ("2", s)], loc), + result = s}), loc)), loc)), loc)), loc)), loc), fm) end | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sql_right_join"), _), (L.CRecord (_, left), _)), @@ -2129,14 +2165,24 @@ (L'.EAbs ("tab1", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc), (L'.EAbs ("tab2", s, (L'.TFun (s, s), loc), (L'.EAbs ("on", s, s, - strcat [(L'.EPrim (Prim.String "("), loc), - (L'.ERel 2, loc), - (L'.EPrim (Prim.String " RIGHT JOIN "), loc), - (L'.ERel 1, loc), - (L'.EPrim (Prim.String " ON "), loc), - (L'.ERel 0, loc), - (L'.EPrim (Prim.String ")"), loc)]), - loc)), loc)), loc)), loc), + (L'.ECase ((L'.ERecord [("1", (L'.ERel 2, loc), s), + ("2", (L'.ERel 1, loc), s)], loc), + [((L'.PRecord [("1", (L'.PPrim (Prim.String ""), + loc), s)], loc), + (L'.ERel 1, loc)), + ((L'.PRecord [("2", (L'.PPrim (Prim.String ""), + loc), s)], loc), + (L'.ERel 2, loc)), + ((L'.PWild, loc), + strcat [(L'.EPrim (Prim.String "("), loc), + (L'.ERel 2, loc), + (L'.EPrim (Prim.String " RIGHT JOIN "), loc), + (L'.ERel 1, loc), + (L'.EPrim (Prim.String " ON "), loc), + (L'.ERel 0, loc), + (L'.EPrim (Prim.String ")"), loc)])], + {disc = (L'.TRecord [("1", s), ("2", s)], loc), + result = s}), loc)), loc)), loc)), loc)), loc), fm) end | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sql_full_join"), _), (L.CRecord (_, left), _)), _), @@ -2149,14 +2195,24 @@ (L'.EAbs ("tab1", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc), (L'.EAbs ("tab2", s, (L'.TFun (s, s), loc), (L'.EAbs ("on", s, s, - strcat [(L'.EPrim (Prim.String "("), loc), - (L'.ERel 2, loc), - (L'.EPrim (Prim.String " FULL JOIN "), loc), - (L'.ERel 1, loc), - (L'.EPrim (Prim.String " ON "), loc), - (L'.ERel 0, loc), - (L'.EPrim (Prim.String ")"), loc)]), - loc)), loc)), loc)), loc), + (L'.ECase ((L'.ERecord [("1", (L'.ERel 2, loc), s), + ("2", (L'.ERel 1, loc), s)], loc), + [((L'.PRecord [("1", (L'.PPrim (Prim.String ""), + loc), s)], loc), + (L'.ERel 1, loc)), + ((L'.PRecord [("2", (L'.PPrim (Prim.String ""), + loc), s)], loc), + (L'.ERel 2, loc)), + ((L'.PWild, loc), + strcat [(L'.EPrim (Prim.String "("), loc), + (L'.ERel 2, loc), + (L'.EPrim (Prim.String " FULL JOIN "), loc), + (L'.ERel 1, loc), + (L'.EPrim (Prim.String " ON "), loc), + (L'.ERel 0, loc), + (L'.EPrim (Prim.String ")"), loc)])], + {disc = (L'.TRecord [("1", s), ("2", s)], loc), + result = s}), loc)), loc)), loc)), loc)), loc), fm) end