summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-06-02 15:35:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-06-02 15:35:58 -0400
commitf4dab2b31d11cc6957c1a64a3ffe6261816d96d4 (patch)
tree1e06ff6455bda35dc28fb3f9601270a7f91cdc2e /src/monoize.sml
parentb3dec3df4038cf76821f43717673456c7f691030 (diff)
Track whether SQL expressions may use window functions, in preparation for actual window function support
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml56
1 files changed, 42 insertions, 14 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 46feacf8..7fba8c98 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -249,7 +249,7 @@ fun monoType env =
(L'.TFfi ("Basis", "string"), loc)
| L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_from_items"), _), _), _), _) =>
(L'.TFfi ("Basis", "string"), loc)
- | L.CApp ((L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_exp"), _), _), _), _), _), _), _), _) =>
+ | L.CApp ((L.CApp ((L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_exp"), _), _), _), _), _), _), _), _), _), _) =>
(L'.TFfi ("Basis", "string"), loc)
| L.CApp ((L.CApp ((L.CFfi ("Basis", "primary_key"), _), _), _), _) =>
(L'.TFfi ("Basis", "string"), loc)
@@ -2107,7 +2107,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_inject"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_inject"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2506,8 +2508,10 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
+ (L.ECApp (
(L.EFfi ("Basis", "sql_unary"), _),
_), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2536,7 +2540,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_binary"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_binary"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2569,7 +2575,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_field"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_field"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2583,7 +2591,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_exp"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_exp"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2687,7 +2697,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
| L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_count"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_count"), _),
+ _), _),
_), _),
_), _),
_) => ((L'.EPrim (Prim.String "COUNT(*)"), loc),
@@ -2698,7 +2710,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_aggregate"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_aggregate"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2770,11 +2784,13 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_nfunc"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_nfunc"), _),
+ _), _),
_), _),
_), _),
_), _),
- _) =>
+ _) =>
let
val s = (L'.TFfi ("Basis", "string"), loc)
fun sc s = (L'.EPrim (Prim.String s), loc)
@@ -2789,7 +2805,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_ufunc"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_ufunc"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2823,7 +2841,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_is_null"), _), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_is_null"), _), _),
+ _), _),
_), _),
_), _),
_), _)) =>
@@ -2864,7 +2884,11 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_if_then_else"), _), _),
+ (L.ECApp (
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_if_then_else"), _), _),
+ _), _),
+ _), _),
_), _),
_), _),
_), _)) =>
@@ -2889,7 +2913,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_nullable"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_nullable"), _),
+ _), _),
_), _),
_), _),
_), _),
@@ -2910,7 +2936,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
(L.ECApp (
(L.ECApp (
(L.ECApp (
- (L.EFfi ("Basis", "sql_subquery"), _),
+ (L.ECApp (
+ (L.EFfi ("Basis", "sql_subquery"), _),
+ _), _),
_), _),
_), _),
_), _),