Hi,

On Sat, Oct 26, 2002 at 11:27:37AM +0200, Stefano Zacchiroli wrote:

> > comparison, and this change removes that overloading and uses a 
> > fairly common (C, Haskell, Clean,...) symbol == for equality.
> It's an idea that is worth considering. It fits well with the consistent
> use of the other C like operators as "||" and "&&" and the disposal of
> "or".

This is a good idea, indeed, but I have two remarks:

- first, this is more a question of library than syntax; Camlp4 can do
  that, but it is a not really clean. Well, actually, it does it for the
  record label "contents" which is renamed "val" in the revised syntax
  (to be shorter).

- second, it is a semantic change, and if programs using the revised
  syntax used the physical equality ==, this change would change their
  code into normal equality.

Therefore, IMHO, this could be included only if there are several
other changes, a set of several changes being more acceptable.

> >     Another possible change along the same lines is having =/= or /= for 
> > inequality, which happens to look a little more like the mathematical 
> > symbol. 
> Uhm ... I disagree here, changing an operator in favour of a more
> diffused one is comfortable, adopting a new one from scratch just
> because it look more like the mathematical symbol can be really
> confusing ...

I agree with you, for the same reasons.

-- 
Daniel de RAUGLAUDRE
http://cristal.inria.fr/~ddr/
-------------------
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