Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch
On Wed, Jan 21, 2004 at 01:48:19AM +0200, Eray Ozkural wrote:

> Compiler knows which x to use, let and which differ only in syntax! Semantics 
> is the same.

Does it?

let f a =
  let a = a + 1 in
  a
  where a = a + 2

What does this function do?  You could argue for any result a, (a+1),
(a+2), or (a+3).  The casual definition of the where clause doesn't
specify precedence.  Obviously, an implementation would have to chose
one, but there is no clear reason one choice is better than the other.

Dave

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