> 
>>> 3. The current garbage collector is mostly straight-forward because of
>> 
>> There is no need to use LLVM's GC if something better already exists.
> 
> LLVM does not provide a GC.

True. However, if I recall correctly, it provides some facilities to use OCaml's own GC [1]

[1] http://llvm.org/releases/2.5/docs/GarbageCollection.html#ocaml .

Cheers,
 David