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 KAA07616; Thu, 25 Apr 2002 10:52:05 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA07408 for caml-list@pauillac.inria.fr; Thu, 25 Apr 2002 10:52:05 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA31472 for ; Wed, 24 Apr 2002 23:06:33 +0200 (MET DST) Received: from laurelin.dementia.org ([208.167.88.73]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3OL6V102918 for ; Wed, 24 Apr 2002 23:06:32 +0200 (MET DST) Received: (from jprevost@localhost) by laurelin.dementia.org (8.11.6/8.11.6) id g3OLB9L52174; Wed, 24 Apr 2002 17:11:09 -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: Remi VANICAT Cc: caml-list@inria.fr Subject: Re: [Caml-list] :: operator not quotable using ( ... ) References: <86662hviil.fsf@laurelin.dementia.org> <874ri174bg.dlv@wanadoo.fr> From: John Prevost Date: 24 Apr 2002 17:11:08 -0400 In-Reply-To: <874ri174bg.dlv@wanadoo.fr> Message-ID: <86vgagu7ir.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 >>>>> "rv" == Remi VANICAT writes: rv> cons is not really an operator, it's a constructor >> let cons x y = x :: y rv> the same hold for any constructor : Ahh, I had forgotten, thanks. It might be good, then, to cause (::) to return the same kind of error as a constructor does, instead of: # Cons;; The constructor Cons expects 2 argument(s), but is here applied to 0 argument(s) # (::);; Syntax error At the very least, this will remind people what the real problem is. Making constructors usable as functions might be desirable, but I'm okay with not having it as long as we have good error messages. :) 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