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 TAA04500 for caml-red; Fri, 10 Nov 2000 19:28:44 +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 WAA29406 for <caml-list@pauillac.inria.fr>; Thu, 9 Nov 2000 22:54:00 +0100 (MET)
Received: from smtp2-cm.mail.eni.net (smtp2a-cm.mail.eni.net [216.133.226.135])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA9LrxH06150
	for <caml-list@inria.fr>; Thu, 9 Nov 2000 22:53:59 +0100 (MET)
Received: from checkerlap.d6.com ([216.233.204.162])
	by smtp2-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id NAA09566;
	Thu, 9 Nov 2000 13:53:50 -0800
Message-Id: <4.3.2.7.2.20001109135418.00b33a30@walt>
X-Sender: def6@walt
X-Mailer: QUALCOMM Windows Eudora Version 4.3.2
Date: Thu, 09 Nov 2000 13:56:07 -0800
To: stephanh@win.tue.nl
From: Chris Hecker <checker@d6.com>
Subject: Re: practical functional programming
Cc: caml-list@inria.fr
In-Reply-To: <00110912094400.16244@pcrm>
References: <4.3.2.7.2.20001107021125.00acbcd0@shell16.ba.best.com>
	<4.3.2.7.2.20001106100700.00c447b0@shell16.ba.best.com>
	<4.3.2.7.2.20001107021125.00acbcd0@shell16.ba.best.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Sender: weis@pauillac.inria.fr


>> How does the compiler "know" the datastructure is purely functional?
>It doesn't. Why would it have to?

Right, I was being an idiot.  If it's got a ref in there that's ever updated, it just isn't functional.  I was somehow thinking...well, I don't know what I was thinking.  :)

Chris