From: "David McClain" <dmcclain1@mindspring.com>
To: <caml-list@inria.fr>
Subject: [Caml-list] Evaluation Order
Date: Sat, 9 Jun 2001 19:44:17 -0700 [thread overview]
Message-ID: <000901c0f157$41202b90$210148bf@dylan> (raw)
Earlier, I stated that there were no reference vars in the program. That's
strictly true only of the OCaml portion of the code. However, the C/C++ core
does maintain a mutable state and that is the reason for evaluation order
dependencies.
It would seem that the compiler could automatically spot side effecting
functions and propagate that attribute by noticing when reference vars are
modified, when arrays and structures are mutated, etc. Hence explicit
declaration should be unnecessary -- except! for those declared "external"
routines that have side effects. Those need to be flagged explicitly to the
compiler.
- DM
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next reply other threads:[~2001-06-10 2:42 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-06-10 2:44 David McClain [this message]
2001-06-10 2:48 ` Patrick M Doane
2001-06-10 5:51 ` David McClain
-- strict thread matches above, loose matches on Subject: below --
2009-06-14 16:36 evaluation order Christophe Raffalli
2009-06-14 19:40 ` [Caml-list] " Jon Harrop
2009-06-14 21:12 ` Christophe Raffalli
2001-06-15 17:00 [Caml-list] Evaluation Order Manuel Fahndrich
2001-06-10 17:59 Damien Doligez
2001-06-10 18:28 ` Dave Mason
2001-06-09 15:59 David McClain
2001-06-09 20:17 ` Brian Rogoff
2001-06-09 23:12 ` David McClain
2001-06-09 23:28 ` David McClain
2001-06-10 1:04 ` Dave Mason
2001-06-10 2:25 ` David McClain
2001-06-11 13:03 ` Dave Mason
2001-06-12 17:55 ` John Max Skaller
2001-06-13 16:54 ` Frederick Smith
2001-06-13 21:43 ` John Max Skaller
2001-06-10 1:06 ` Charles Martin
2001-06-10 2:27 ` David McClain
2001-06-10 11:18 ` Tore Lund
2001-06-10 13:11 ` Tore Lund
2001-06-10 14:31 ` John Max Skaller
2001-06-12 15:12 ` Pierre Weis
2001-06-10 10:40 ` Joerg Czeranski
2001-06-10 14:06 ` John Max Skaller
2001-06-11 12:59 ` Dave Mason
2001-06-12 17:34 ` John Max Skaller
2001-06-10 13:47 ` John Max Skaller
2001-06-10 16:47 ` Brian Rogoff
2001-06-10 17:27 ` Dave Mason
2001-06-12 16:10 ` John Max Skaller
2001-06-09 23:19 ` John Max Skaller
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='000901c0f157$41202b90$210148bf@dylan' \
--to=dmcclain1@mindspring.com \
--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;
as well as URLs for NNTP newsgroup(s).