Re: [Caml-list] Executable size?

[Basile Starynkevitch <basile.starynkevitch@inria.fr>]

On Wed, Nov 12, 2003 at 02:40:56PM -0600, Brian Hurt wrote: [....]

> Actually, I think Ocaml uses C's runtime libraries and builds on top of
> them.  For example, if I understand things correctly, Ocaml's printf is a
> wrapper which calls C's printf. 

Sorry to be picky, but this particular claim is wrong:

Ocaml printf routine is implemented in ocaml/stdlib/printf.ml

and does not call C printf related stuff (except perhaps for
float_to_string conversions).

The format4 type is wired inside the compiler, notably inside
ocaml/typing/typecore.ml function type_format.

Actually, I tend to believe that on the contrary

1. Ocaml runtime (mostly the GC) uses the C library

2. Ocaml standard library (and others, notably the Unix module) don't
use that much the C library except thru trivial wrappers (which
essentially deals with Ocaml data representation and its conversion to
native C data types). Most of the standard library is coded in Ocaml,
not in C.

Regards.

-- 
Basile STARYNKEVITCH -- basile dot starynkevitch at inria dot fr
Project cristal.inria.fr - 
http://cristal.inria.fr/~starynke --- all opinions are only mine 

-------------------
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