From ace737422c41d2f6c0e3e78bb8af119fba3b0429 Mon Sep 17 00:00:00 2001 From: ben Date: Wed, 16 Mar 2016 00:25:45 -0400 Subject: [PATCH] [icfp] move SQL/postgres alias to the end --- icfp-2016/usage.scrbl | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/icfp-2016/usage.scrbl b/icfp-2016/usage.scrbl index 1498eb3..ad4a955 100644 --- a/icfp-2016/usage.scrbl +++ b/icfp-2016/usage.scrbl @@ -51,10 +51,6 @@ We use an infix @tt{:} to write explicit type annotations and casts, for instance @racket[(x : Integer)]. These normally have two different syntaxes, respectively @racket[(ann x Integer)] and @racket[(cast x Integer)]. -} @item{ -In @Secref{sec:sql}, @tt{sql} is short for @tt{postgresql}, i.e. - the code we present in that section is only implemented for the @tt{postgresql} - interface. } ] @@ -366,7 +362,9 @@ We do, however, optimize vector references to unsafe primitives and @; TODO connect to ew-haskell-2012 os-icfp-2008 Racket's @racket[db] library provides a string-based API for executing SQL - queries. + queries.@note{Technically, we use @tt{sql} as an abbreviation for @tt{postgresql}. + Although the Racket library supports many database systems, we have only implemented + a postgres front-end.} After connecting to a database, SQL queries embedded in strings can be run for effects and row values (represented as Racket vectors). Queries may optionally contain @emph{query parameters}---natural numbers