From 900278844400fde1325f9702e191304d57cf10c7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 10 Aug 2003 02:18:25 +0000 Subject: [PATCH] String quoting for SQL queries --- src/lib/sql.sig | 4 ++++ src/lib/sql.sml | 4 ++++ 2 files changed, 8 insertions(+) create mode 100644 src/lib/sql.sig create mode 100644 src/lib/sql.sml diff --git a/src/lib/sql.sig b/src/lib/sql.sig new file mode 100644 index 0000000..4f01327 --- /dev/null +++ b/src/lib/sql.sig @@ -0,0 +1,4 @@ +signature SQL = +sig + val $ : string SMLofNJ.frag list -> string +end \ No newline at end of file diff --git a/src/lib/sql.sml b/src/lib/sql.sml new file mode 100644 index 0000000..d885d17 --- /dev/null +++ b/src/lib/sql.sml @@ -0,0 +1,4 @@ +structure Sql :> SQL = +struct + val $ = String.concat o (List.map (fn SMLofNJ.QUOTE s => s | SMLofNJ.ANTIQUOTE s => s)) +end \ No newline at end of file -- 2.20.1