English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] :: operator not quotable using ( ... )
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-04-24 (10:46)
From: John Prevost <visigoth@c...>
Subject: [Caml-list] :: operator not quotable using ( ... )
When writing an example just now for this list, I noticed that you can
no longer (assuming you ever could) write (::) or any variation
thereof to refer to the definition of the :: cons operator.  Since
there is no other standard way to write this, one must use:

let cons x y = x :: y

to get one.  This is unfortunate when you wish to, say, define map in
terms of fold.  My suspicion is that it may have worked in the past,
but broken by keyword argument parsing.  Is there any chance (::)
could be special cased to work correctly, even though it conflicts
with (x : y) for typing?  I don't think it likely that anybody would
write (::) intending to express a type.

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