Re: [Caml-list] About Obj

[Alex Baretta <alex@baretta.com>]

Yamagata Yoriyuki wrote:
> From: Jon Harrop <jon@jdh30.plus.com>
> Subject: Re: [Caml-list] About Obj (was Recursive lists)
> Date: Mon, 11 Oct 2004 16:33:03 +0100
> 
> 
>>Yes, your Obj implementation is substantially bigger, more complicated, more 
>>error prone and more costly on small lists. Just forget this whole thread 
>>ever happened and consider using a different data structure. :-)
>>
>>Can Obj not be hidden so that people can't use it so easily?
> 
> 
> Yes, it would be nice to have a compiler option which disable all
> causes of the evil (Obj.magic, Array.unsafe_get, external etc).  Then
> we can control where unsafe operations are used.
> --
> Yamagata Yoriyuki



Your proposal is reasonable and sound; however, I really think Xavier 
has more important stuff to do. Consider the following issues:
1) Your request cannot be satisfied in general because you'd never dream 
of disabling the use of Obj in the standard library.
2) You can easily achieve the same behavior by using camlp4 or possibly 
a custom preprocessor which throughs an extension upon identifying calls 
to the Obj module.



Alex

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