On Mon, Sep 29, 2003 at 09:57:19PM +0200, Pierre Weis wrote:
> Hence, I think you are seeking for the %a conversion. For instance,
> defining a quotation function for SQL as in
> 
> # let sql_quoting oc = Printf.fprintf oc "'%s'";;   
> val sql_quoting : out_channel -> string -> unit = <fun>
> 
> You can define sth with a %a conversion to apply quoting on the fly:
> 
> # let sth x =
>     prepare "select salary from emp where id = %d and name = %a" x;;
> val sth : int -> (out_channel -> 'a -> unit) -> 'a -> unit = <fun>
> 
> # sth 1 sql_quoting "Jones";;
> select salary from emp where id = 1 and name = 'Jones'- : unit = ()
> 
> Still fully type-checked! Sounds better, no ?

Hmmm ... but as I explained earlier, that's really not type safe
at all.

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj
Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you.
C2LIB is a library of basic Perl/STL-like types for C. Vectors, hashes,
trees, string funcs, pool allocator: http://www.annexia.org/freeware/c2lib/

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners