From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D30FCBC6B for ; Fri, 16 Mar 2007 15:00:24 +0100 (CET) Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.184]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2GE0OJ3027068 for ; Fri, 16 Mar 2007 15:00:24 +0100 Received: by nf-out-0910.google.com with SMTP id a25so246306nfc for ; Fri, 16 Mar 2007 07:00:24 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=nLSpFaUAtU4Lb4O7ggQbXqvylHm58ZqMqaxh4zvnTVjIY/rdTYmkPwBfFaydCtKOseWXLG21gXxN3oekwg1emCH/SRQBHsDVWsd2LH3fkirE9GTfNfvf2j1/dED73htOaMjD8xpHIijjVD8+1e7DQuUJMHKoQWp39KLMQFgF/Xg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=DhMVqwRVrqAhofY5OiQYClexabHHnOATcnqeem37FAzrxaIBgMUi7Q9W+bZgcKkcDC5mXztp6viftGkDmHBoRaOeXcolq/vn1ShCcjWVTK/UHTUTfsF1zYbkHDnpp7qXtxI+aFYowTZlWsiEj91Y1sLOW2zeOiQLl/MHTAyFcQQ= Received: by 10.82.107.15 with SMTP id f15mr3240580buc.1174053624053; Fri, 16 Mar 2007 07:00:24 -0700 (PDT) Received: from ?192.168.1.33? ( [88.8.238.141]) by mx.google.com with ESMTP id c25sm4548721ika.2007.03.16.07.00.21; Fri, 16 Mar 2007 07:00:23 -0700 (PDT) In-Reply-To: References: <80E2E3A7-2603-4706-8186-566C6DA14452@gmail.com> <729DDA34-5FBE-4570-B10F-B2443B58A2F1@gmail.com> <8FC891E5-C8B6-410F-B2EB-5E06594A0165@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: Cc: "Caml List" Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] ocamlbuild and automatic dependencies Date: Fri, 16 Mar 2007 14:00:19 +0000 To: Nicolas Pouillard X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 45FAA2F8.001 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 45FAA2F8.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; dependencies:01 foo:01 mli:01 foo:01 mli:01 ocamlc:01 ocamlc:01 cmo:01 foo':01 bug:01 2007,:98 wrote:01 caml-list:01 undefined:01 linking:02 It appears that simply copying foo.mli into foo.ml should solve the issue. I kind of hate having two identical files that I'll need to update. Do I have to get used to it? Thanks, Joel On Mar 14, 2007, at 1:11 PM, Nicolas Pouillard wrote: > $ cat foo.mli > type t = A | B > $ cat bar.ml > module F = Foo > type t = F.t > > $ ocamlc -c foo.mli > $ ocamlc bar.ml > Error while linking bar.cmo: Reference to undefined global `Foo' > > Perhaps a bug ? -- http://wagerlabs.com/