summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 16:11:15 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 16:11:15 -0400
commitb027a79d3f701b4d2d4d1849449e4e6d8b973fcd (patch)
tree2a59c923141b406475b379c2c9f0a573e2038206 /src
parenta7ffe5cf661a65e0dc48b90f16df9746de034096 (diff)
Monoize OFFSET
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 620956f7..3bf96f26 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -752,6 +752,16 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
| L.EFfi ("Basis", "sql_no_offset") =>
((L'.EPrim (Prim.String ""), loc), fm)
+ | L.EFfiApp ("Basis", "sql_offset", [e]) =>
+ let
+ val (e, fm) = monoExp (env, st, fm) e
+ in
+ (strcat loc [
+ (L'.EPrim (Prim.String " OFFSET "), loc),
+ (L'.EFfiApp ("Basis", "sqlifyInt", [e]), loc)
+ ],
+ fm)
+ end
| L.EFfi ("Basis", "sql_eq") =>
((L'.EPrim (Prim.String "="), loc), fm)