From: "Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Changes on equality between 3.06 and 3.08.3
Date: Thu, 28 Apr 2005 20:20:35 +0200 [thread overview]
Message-ID: <87sm1a226k.fsf@qrnik.zagroda> (raw)
In-Reply-To: <20050428.190637.07633836.oandrieu@nerim.net> (Olivier Andrieu's message of "Thu, 28 Apr 2005 19:06:37 +0200 (CEST)")
Olivier Andrieu <andrieu@ijm.jussieu.fr> writes:
> > # (==) (==) (==);;
> > - : bool = false
>
> Probably because == is defined by an "external" in pervasives.ml,
> not a regular function definition. So here, when you use (==),
> you're building three closures.
Two. OCaml materializes function objects corresponding to external
functions each time they are used instead of once at the point of
their definition (presumably because it assumes that usually they are
not passed as first-class objects at all), but application of such
function doesn't need the function object but jumps straight to its
machine code.
--
__("< Marcin Kowalczyk
\__/ qrczak@knm.org.pl
^^ http://qrnik.knm.org.pl/~qrczak/
next prev parent reply other threads:[~2005-04-28 18:20 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-04-28 10:02 Olivier Michel
2005-04-28 16:29 ` [Caml-list] " Damien Doligez
2005-04-28 16:41 ` Alex Baretta
2005-04-28 17:06 ` Olivier Andrieu
2005-04-28 18:20 ` Marcin 'Qrczak' Kowalczyk [this message]
2005-04-28 18:23 ` Jon Harrop
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=87sm1a226k.fsf@qrnik.zagroda \
--to=qrczak@knm.org.pl \
--cc=caml-list@inria.fr \
/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