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 JAA18625; Wed, 19 May 2004 09:33:03 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 JAA18554 for ; Wed, 19 May 2004 09:33:02 +0200 (MET DST) Received: from fed1rmmtao05.cox.net (fed1rmmtao05.cox.net [68.230.241.34]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4J7WxEV027762 for ; Wed, 19 May 2004 09:33:00 +0200 Received: from server.vns.oc.ca.us ([68.5.38.56]) by fed1rmmtao05.cox.net (InterMail vM.6.01.03.02 201-2131-111-104-20040324) with ESMTP id <20040519073248.TCEA25286.fed1rmmtao05.cox.net@server.vns.oc.ca.us>; Wed, 19 May 2004 03:32:48 -0400 Received: from server.vns.oc.ca.us (4726f1a633aa0870567f73769e913924@localhost.vns.oc.ca.us [127.0.0.1]) by server.vns.oc.ca.us (8.12.9p2/8.12.6) with ESMTP id i4J7Wm7k065373; Wed, 19 May 2004 00:32:48 -0700 (PDT) (envelope-from vns@server.vns.oc.ca.us) Received: (from vsilyaev@localhost) by server.vns.oc.ca.us (8.12.9p2/8.12.6/Submit) id i4J7WlaU065372; Wed, 19 May 2004 00:32:48 -0700 (PDT) Date: Wed, 19 May 2004 00:32:47 -0700 From: "Vladimir N. Silyaev" To: David Brown Cc: caml-list@inria.fr, Kenneth Knowles Subject: Re: [Caml-list] Lazy vs closure Message-ID: <20040519073247.GA65340@server.vns.oc.ca.us> References: <20040519062157.GA65076@server.vns.oc.ca.us> <20040519070420.GA24341@davidb.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040519070420.GA24341@davidb.org> User-Agent: Mutt/1.4.1i X-Miltered: at nez-perce with ID 40AB0DAB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 ocamlopt:01 3.07:01 usr:01 ocamlopt:01 cmx:01 usr:01 stdlib:01 mingw:01 compiler:01 inconsistent:01 inconsistent:01 cmxa:01 compilers:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, May 19, 2004 at 12:04:20AM -0700, David Brown wrote: > > Also both compilers tends to generate rather strange error. > > =-=-=-=-=-= > > The files lazy.cmi and lazy.cmi make inconsistent assumptions > > over interface Lazy > > =-=-=-=-=-= > > This error fixable by removing lazy.cmi from a disk. > > Your module name is the same as the Lazy module that you're trying to > use. Rename your program to something else and see if that gets rid of > the problem. Good catch!! It get rid of initial problem, but another issue came up: -=-=-=- > ocamlopt.opt -v The Objective Caml native-code compiler, version 3.07+2 Standard library directory: /usr/local/lib/ocaml >ocamlopt.opt lazy_test.ml Files lazy_test.cmx and /usr/local/lib/ocaml/stdlib.cmxa make inconsistent assumptions over implementation Lazy -=-=-=- Same error on MinGW (binary installation) and on FreeBSD (compiled from the source code). -- Vladimir ------------------- 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