From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA13741 for caml-red; Thu, 4 Jan 2001 14:07:07 +0100 (MET)
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 QAA04691 for <caml-list@pauillac.inria.fr>; Wed, 3 Jan 2001 16:37:23 +0100 (MET)
Received: from staff.gtmd.com (adsl-63-195-80-23.dsl.snfc21.pacbell.net [63.195.80.23])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f03FbM126172
	for <caml-list@inria.fr>; Wed, 3 Jan 2001 16:37:22 +0100 (MET)
Received: from aria.chasm.org (aria [192.168.0.3])
	by staff.gtmd.com (8.9.3/8.9.3) with ESMTP id HAA13773
	for <caml-list@inria.fr>; Wed, 3 Jan 2001 07:34:39 -0800 (PST)
	(envelope-from martin@chasm.org)
Message-Id: <5.0.0.25.0.20010103071728.02610c10@chasm.org>
X-Sender: martin@chasm.org
X-Mailer: QUALCOMM Windows Eudora Version 5.0
Date: Wed, 03 Jan 2001 07:38:06 -0800
To: caml-list@inria.fr
From: Charles Martin <martin@chasm.org>
Subject: Re: New Year's resolution suggestions...
In-Reply-To: <200101031314.OAA32001@pauillac.inria.fr>
References: <5.0.0.25.0.20010102152544.00abe130@chasm.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; format=flowed
Sender: weis@pauillac.inria.fr


>You mean that the actual implicit way of specifying associativity and
>precedence of users's defined operators is not powerful enough for your
>programs ?

It is probably powerful enough as it stands.  But it restricts me to the 
naming scheme that has been chosen for me, which I don't like.  What if 
some kind of Hungarian notation for alphanumeric identifiers was enforced 
by the compiler?  That would be awful.  This feels kind of the same.

This is not nearly as big a wish as for some kind of overloading! :)

Charles