From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15326; Wed, 24 Apr 2002 12:46:49 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15297 for caml-list@pauillac.inria.fr; Wed, 24 Apr 2002 12:46:49 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA08112 for ; Wed, 24 Apr 2002 06:10:57 +0200 (MET DST) Received: from laurelin.dementia.org ([208.167.88.73]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g3O4AtP03348 for ; Wed, 24 Apr 2002 06:10:55 +0200 (MET DST) Received: (from jprevost@localhost) by laurelin.dementia.org (8.11.6/8.11.6) id g3O4G3950696; Wed, 24 Apr 2002 00:16:03 -0400 (EDT) (envelope-from visigoth@cs.cmu.edu) X-Authentication-Warning: laurelin.dementia.org: jprevost set sender to visigoth@cs.cmu.edu using -f To: caml-list@inria.fr Subject: [Caml-list] :: operator not quotable using ( ... ) From: John Prevost Date: 24 Apr 2002 00:16:02 -0400 Message-ID: <86662hviil.fsf@laurelin.dementia.org> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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. John. ------------------- 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