On 11/23/2010 07:54 PM, Kecheng wrote:
> let test  =
>     let a = 1 in
>     let b = a + 5 in
>     printf "%d\n" b;
> ;;
> test;;
This will finish with a bunch of allocated memory missing pointers to 
it.  But that's not a problem, because OCaml's GC is capable of freeing 
this memory, as opposed to a C program, which would need a pointer to 
the memory to free() it.

E.