From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 881BC7ED34 for ; Mon, 9 Jul 2012 11:32:58 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of danbensen@att.net) identity=pra; client-ip=98.139.44.145; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="danbensen@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of danbensen@att.net) identity=mailfrom; client-ip=98.139.44.145; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="danbensen@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm18.access.bullet.mail.sp2.yahoo.com) identity=helo; client-ip=98.139.44.145; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="postmaster@nm18.access.bullet.mail.sp2.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjICAEKk+k9iiyyRhmdsb2JhbABFgkq1QAEBAQoJCwcWJ4IXCQEBBEEBAQEBNgEDGQGJLwEDBganMoQuAQUBhBoCSAWJTwEGjjCDHIhMhEaILoVPLY0B X-IronPort-AV: E=Sophos;i="4.77,551,1336341600"; d="scan'208,217";a="166105047" Received: from nm18.access.bullet.mail.sp2.yahoo.com ([98.139.44.145]) by mail1-smtp-roc.national.inria.fr with SMTP; 09 Jul 2012 11:32:57 +0200 Received: from [98.139.44.106] by nm18.access.bullet.mail.sp2.yahoo.com with NNFMP; 09 Jul 2012 09:32:56 -0000 Received: from [98.139.44.90] by tm11.access.bullet.mail.sp2.yahoo.com with NNFMP; 09 Jul 2012 09:32:56 -0000 Received: from [127.0.0.1] by omp1027.access.mail.sp2.yahoo.com with NNFMP; 09 Jul 2012 09:32:56 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 230307.96408.bm@omp1027.access.mail.sp2.yahoo.com Received: (qmail 5329 invoked by uid 60001); 9 Jul 2012 09:32:55 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1341826375; bh=D00ssOunPN7tfFOUKY5J0SvXCN4ok5R53dwu+5mjzbA=; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Subject:To:MIME-Version:Content-Type; b=4tXNh/8dwXr5NXaZPK7Is0xXC329ydceAPzqKPAeTHPoOr8II8CDzwv5+HmB3/PoF0cUi+ZCtAyRGJEiKireVP2dHBDRdp238+Gvh5zZUu4TivyJVk7sOmXv7nP2vo3dOHVED/asDvF2e+5H04LF16ImUmL4/m0oQ5TC3o7uUrg= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Subject:To:MIME-Version:Content-Type; b=N5G/Eg/FqAczL+zYuSUtd6XajMUSJmQw/pvuDOHFpOhSSsZZIAxCuYphxd4KyR6lrjsDur23nMMANK6W8f2B6MjOIAK5f/nhh6/Uo/iaano4Ct3nKQVX3yoCal0dukpYZF0OC5w0EL9OzTlv6RqpzBwF4XA1xYUOYBI2KVuvkrY=; X-YMail-OSG: mTi8trgVM1lBd7C9pOoJK3E6Muv0lsidsrugRv7l4kYGmW5 LF_AYIuvjeRJBczBiPoVrMrZNpUcbKuW2L2vMGQbsdFgktcQJXmXdIougzRK Bmlmvl.pG2M_V2raT41_0sJuVEPrmNSBEucfgmW79.54uorspEIp8_yzv3Wl 41Mtdtw7S_MqRw4TgwJIxeSsJxqxIIElVPeazXJ2JYT9HTqEHyegGtjs.7rJ oshu39eVjvuvz12d740HnOtL0OAC8u8iM.zAg_PQne2U7hKNvdEzogL48hS4 tPaRNAFqQtKa4MzL2s7_CNFXXooM7AHxXAnqfTsFv1NZ1kvBhmZkgMBJQIV. l_gEf3zG32RUjzDXU6Mz4_XcYTYHtxE5wszyBKP4TeOUjJd2U3HdPGUSwDWx VLjySWQtBjDVciHkD4RgMlkwfof.apsIcK2Mla1B_oFD2PNAoqduxa4RdCr4 kncZWeksk8.F_7zttgqFh0SomJ90- Received: from [70.225.177.206] by web180015.mail.gq1.yahoo.com via HTTP; Mon, 09 Jul 2012 02:32:55 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.120.356233 Message-ID: <1341826375.93191.YahooMailRC@web180015.mail.gq1.yahoo.com> Date: Mon, 9 Jul 2012 02:32:55 -0700 (PDT) From: Dan Bensen To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="571421679-1081051773-1341826375=:93191" Subject: [Caml-list] Including contents in ocamlc -pack? --571421679-1081051773-1341826375=:93191 Content-Type: text/plain; charset=us-ascii Is there some theoretical reason why ocamlc -pack couldn't optionally include the contents of a module directly in the main module instead of adding a submodule? It would be nice to be able to write something like this: > ocamlc -pack -o foo.cmo bar.cmo -include gak.cmo and have the contents of Gak included in Foo as though there were a line in foo.ml that said "include Gak". Bar would still be added as a submodule of Foo. --571421679-1081051773-1341826375=:93191 Content-Type: text/html; charset=us-ascii
Is there some theoretical reason why ocamlc -pack couldn't
optionally include the contents of a module directly in
the main module instead of adding a submodule? 
It would be nice to be able to write something like this:

> ocamlc -pack -o foo.cmo bar.cmo -include gak.cmo

and have the contents of Gak included in Foo as though
there were a line in foo.ml that said "include Gak".
Bar would still be added as a submodule of Foo.


--571421679-1081051773-1341826375=:93191--