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 UAA15110 for caml-red; Mon, 11 Dec 2000 20:21:37 +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 TAA31023 for ; Mon, 11 Dec 2000 19:36:36 +0100 (MET) Received: from mta6.snfc21.pbi.net (mta6.snfc21.pbi.net [206.13.28.240]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eBBIaZv14858 for ; Mon, 11 Dec 2000 19:36:35 +0100 (MET) Received: from checkerlap.d6.com ([64.160.53.10]) by mta6.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0G5F00CJT1RG3Z@mta6.snfc21.pbi.net> for caml-list@inria.fr; Mon, 11 Dec 2000 10:23:41 -0800 (PST) Date: Mon, 11 Dec 2000 10:23:46 -0800 From: Chris Hecker Subject: RE: Same label in different types, how do people solve this? In-reply-to: X-Sender: def6@shell16.ba.best.com To: Mattias Waldau , Caml-List Message-id: <4.3.2.7.2.20001211101656.00c12320@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset="us-ascii" References: Sender: weis@pauillac.inria.fr >I understand that all you functional experts thinks this restriction is >obvious, but for me it is more like a bug/misfeature. So this 'misfeature' >should actually be stated for all us who aren't interested how types are >infered in functional programming. I'm with Mattias on this one. I'm practical above theoretical. All of the workarounds for this problem seem like they generate way more tedious work for the programmer, and they still don't quite accomplish the goal 100%. This characteristic of doing more work and only asymptotically approaching your goal is a bad taste I associate with C++. Anyway, my "vote" would be to allow specification, with : if it's possible since it's the obvious syntax, but even with @@ if necessary (even though I think it's really ugly). Chris