From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bobzhang1988@gmail.com>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id F18F27ED27
	for <caml-list@sympa.inria.fr>; Mon,  4 Jun 2012 17:28:45 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjkBAPHSzE/RVdQ2kGdsb2JhbABEtCQIIgEBAQEJCQ0HFAQjghgBAQEEAQEBDwIkCAEbHQEDDAYFCw0JJQ8CEhEBBQEcBg0BBwEBHodaAQMLmFgJA4wignCEMwoZJw1XiHEBBQyRFQOVG44ZPoQb
X-IronPort-AV: E=Sophos;i="4.75,713,1330902000"; 
   d="scan'208";a="146514707"
Received: from mail-vb0-f54.google.com ([209.85.212.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Jun 2012 17:28:45 +0200
Received: by vbmv11 with SMTP id v11so4070488vbm.27
        for <caml-list@inria.fr>; Mon, 04 Jun 2012 08:28:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:newsgroups:to:cc
         :subject:references:in-reply-to:content-type
         :content-transfer-encoding;
        bh=S/L2vVMBxDYax3nyVMo4cZhAbVcv205mk0e5hGt5EeQ=;
        b=c655OfqHVDtq5uXSz6iu7AJyauhEe2VepDab7klw31XWviQgwSW5/feONJqrNvU/3j
         MTpmnmqNW+p0Kudwa6OGH41X/SetnMUZfQqwvw+NlUtaQheBfFvbjTZBGHYwkppLGvOo
         e5eKH7N/1BtcTtQgHc7acrQ5n+b7LZOajOWL3ad3XQLpJ1ND4eN9L2J2w3gonTHjJHUu
         CHYxkrybOqQOVECUwvDtnoH1dSinvVicSY02HgE+77yoDxvGKdbRTHBO61yVS93MexCs
         OgSIXaXirkMu0aXsWson1pa9S5J5AP+grNOcrnPGOlpCn104Cd61bXEkowQHcdhMaqav
         lOGw==
Received: by 10.52.29.243 with SMTP id n19mr10980546vdh.94.1338823724155;
        Mon, 04 Jun 2012 08:28:44 -0700 (PDT)
Received: from Hongbos-MacBook-Air.local ([130.91.143.246])
        by mx.google.com with ESMTPS id ej4sm17798979vdb.0.2012.06.04.08.28.43
        (version=SSLv3 cipher=OTHER);
        Mon, 04 Jun 2012 08:28:43 -0700 (PDT)
Message-ID: <4FCCD429.40509@gmail.com>
Date: Mon, 04 Jun 2012 11:28:41 -0400
From: Hongbo Zhang <bobzhang1988@gmail.com>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:12.0) Gecko/20120428 Thunderbird/12.0.1
MIME-Version: 1.0
Newsgroups: gmane.comp.lang.caml.inria
To: Dan Bensen <danbensen@att.net>
CC: caml-list@inria.fr
References: <1338822810.39402.YahooMailRC@web180012.mail.gq1.yahoo.com>
In-Reply-To: <1338822810.39402.YahooMailRC@web180012.mail.gq1.yahoo.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Re: submodules for Dynlink plugins?

On 6/4/12 11:13 AM, Dan Bensen wrote:
> How do you include module Bar inside module Foo
> so you can load Foo as a Dynlink plugin (for camlp4)?
> I tried adding a line in Foo.ml that says
>
>  > module Bar = struct include Bar end
>
> but camlp4 still didn't like it:
>
>  > Camlp4: Uncaught exception: DynLoader.Error
>  > ("Foo.cmo", "error while linking Foo.cmo.
>  > Reference to undefined global `Bar'")
create a foo.mllib
cat foo.mllib
bar
foo
then link foo.cma

dobule check
ocamlobjinfo foo.cma | grep Unit
the output should contain only Foo, Bar

tip: be careful for camlp4, don't link modules which has side effect twice.
>
> And of course just adding Bar to Foo.cma
> didn't work either.