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 VAA18344; Wed, 4 Apr 2001 21:37:43 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA18188 for ; Wed, 4 Apr 2001 21:37:42 +0200 (MET DST) Received: from mta5.snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f34Jbfr28918 for ; Wed, 4 Apr 2001 21:37:41 +0200 (MET DST) Received: from checkerlap.d6.com ([64.163.212.241]) by mta5.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0GBA000JQ93D9O@mta5.snfc21.pbi.net> for caml-list@inria.fr; Wed, 4 Apr 2001 12:35:38 -0700 (PDT) Date: Wed, 04 Apr 2001 12:36:58 -0700 From: Chris Hecker Subject: Re: [Caml-list] variant with tuple arg in pattern match? In-reply-to: X-Sender: def6@shell16.ba.best.com To: Patrick M Doane Cc: caml-list@inria.fr Message-id: <4.3.2.7.2.20010404123148.03366c90@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: <4.3.2.7.2.20010404034802.0334fae0@shell16.ba.best.com> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >I would certainly like it if Caml could: > 1) Treat this entirely as an optimization issue and not make a syntactic >distinction. I agree. Is there a reason why it's done this way? I guess you need to be able to bind another name to the tuple independently, and for that to work you need it to be another block on the heap. Maybe it's not possible in general to do the right thing. But wait, why isn't this a problem even with normal non-tupled values? In other worlds, how does type foo = Foo of int work when I take a reference to the int? It has to know I'm refering to the int to GC correctly. Why is the tuple version any different? I'm confused. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr