From: yoann padioleau <padator@wanadoo.fr>
To: Florian Weimer <fw@deneb.enyo.de>
Cc: Damien Bobillot <damien.bobillot@m4x.org>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Unsafe features
Date: Sat, 3 Sep 2005 14:07:22 +0200 [thread overview]
Message-ID: <F11D2D94-E089-4C01-8344-E54DC75764BB@wanadoo.fr> (raw)
In-Reply-To: <87y86elcb2.fsf@mid.deneb.enyo.de>
On 3 sept. 05, at 11:40, Florian Weimer wrote:
> * Damien Bobillot:
>
>
>>> The C language interface falls into this category. Are there any
>>> other problematic areas?
>>>
>>
>> The Obj.magic function. I don't know exactly what it does, but I
>> think it does arbitrary type conversions.
>>
>
> Apparently, it creates a bit-wise copy of a value and assigns it a new
> type.
Are you sure ? I thought it was just a function to get rid temporary
of the typing system,
a kind of cast operator.
But is is bad to use it, very bad, shame on you if you use it
(i just put this statement to be sure that xavier leroy will not
shout over me).
>
> I discovered that there are also a couple of undocumented unsafe_*
> functions, such as String.unsafe_set, which behave the way their names
> imply (no bound schecks).
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
next prev parent reply other threads:[~2005-09-03 12:14 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-02 12:02 Florian Weimer
2005-09-03 9:24 ` [Caml-list] " Damien Bobillot
2005-09-03 9:40 ` Florian Weimer
2005-09-03 11:19 ` Jon Harrop
2005-09-03 12:07 ` yoann padioleau [this message]
2005-09-03 14:28 ` Florian Weimer
2005-09-03 14:35 ` yoann padioleau
2005-09-03 14:47 ` Florian Weimer
2005-09-03 14:51 ` Florian Weimer
2005-09-03 14:55 ` yoann padioleau
2005-09-04 1:58 ` Jacques Garrigue
2005-09-03 9:29 ` Erik de Castro Lopo
2005-11-29 18:46 ` Integral solutions of rational linear equations Thomas Gazagnaire
2005-11-30 8:32 ` [Caml-list] " Sebastian Egner
2005-11-30 8:49 ` Christophe Raffalli
2005-11-30 9:06 ` Christophe Raffalli
2005-11-30 9:08 ` Christophe Raffalli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=F11D2D94-E089-4C01-8344-E54DC75764BB@wanadoo.fr \
--to=padator@wanadoo.fr \
--cc=caml-list@yquem.inria.fr \
--cc=damien.bobillot@m4x.org \
--cc=fw@deneb.enyo.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).