[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-09-04 (08:40) |
From: | Marcin 'Qrczak' Kowalczyk <qrczak@k...> |
Subject: | Re: [Caml-list] laziness |
skaller <skaller@users.sourceforge.net> writes: > However if the call is *inlined* to get > > if c' then a' else b' > > then perhaps a' or b' will never be evaluated. No. Inlining is considered an optimization, which implies that it doesn't change the semantics except when it was not fully specified in the first place. E.g. the order of evaluation of arguments is unspecified, so it might be different depending on inlining; but OCaml does specify that each argument are evaluated exactly once and inlining doesn't change that. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/ ------------------- 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