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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 582777F734 for ; Tue, 22 Sep 2015 21:22:32 +0200 (CEST) IronPort-PHdr: 9a23:okq7lBB1/n8H963X9dIUUyQJP3N1i/DPJgcQr6AfoPdwSP7zpMbcNUDSrc9gkEXOFd2CrakU16yK6+u5AjdIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6buo9aKOF4ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6q72EAU2NevhdtDgzB61muW57rrir8uud41S2eOuX5SLk1XXKp6KI9GzHyjyJSHD4j8XrLi8V2xIZaph6gqFQrx4/SbICaHPV7d6LZO9gdQDwSDY5qSyVdD9bkPMM0BO0bMLMd9tGlqg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lindig@gmail.com; spf=Pass smtp.mailfrom=lindig@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f178.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lindig@gmail.com) identity=pra; client-ip=209.85.212.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lindig@gmail.com"; x-sender="lindig@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of lindig@gmail.com designates 209.85.212.178 as permitted sender) identity=mailfrom; client-ip=209.85.212.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lindig@gmail.com"; x-sender="lindig@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f178.google.com) identity=helo; client-ip=209.85.212.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lindig@gmail.com"; x-sender="postmaster@mail-wi0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DYAgA2qQFWlLLUVdFdhGG9aIdzAoFKOhIBAQEBAQEBARABAQEBBwsLCR8wgh2CBwEBAQMBEhEdARsdAQMBCwYFCw0CAiYCAiECEQEFARwGEyKHdgEDCggEAakfgTA+MYtGgWyCeYl5ChknDVaEFAEBAQEBAQEBAQEBAQEBAQEBAQEBAREBBQ6BFIdggm6CUIIKMweCaS+BFAEEjH2IaosagW+IcgwEimCFdTWBFygGgjmBf2+JbQEBAQ X-IPAS-Result: A0DYAgA2qQFWlLLUVdFdhGG9aIdzAoFKOhIBAQEBAQEBARABAQEBBwsLCR8wgh2CBwEBAQMBEhEdARsdAQMBCwYFCw0CAiYCAiECEQEFARwGEyKHdgEDCggEAakfgTA+MYtGgWyCeYl5ChknDVaEFAEBAQEBAQEBAQEBAQEBAQEBAQEBAREBBQ6BFIdggm6CUIIKMweCaS+BFAEEjH2IaosagW+IcgwEimCFdTWBFygGgjmBf2+JbQEBAQ X-IronPort-AV: E=Sophos;i="5.17,574,1437429600"; d="scan'208";a="148250831" Received: from mail-wi0-f178.google.com ([209.85.212.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Sep 2015 21:22:31 +0200 Received: by wicfx3 with SMTP id fx3so207619050wic.1 for ; Tue, 22 Sep 2015 12:22:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=lQYteOsYe/3ET6xfnA7LG9xJShjYOoSj4w77UqR0H9g=; b=0nb0U6JUzWQo7Etnh9MpmFctazdIbmIry/tOF93XOhcaPk9bqHfaES8kd1rJ4lW6PF +C2z9J/jVk6YGEF/K+RqqKpI8Djx3JvajnoYrMdUqM/nhnmpoXw6BIIvKZkcmuRRv+pK Dcui7l6w0+JTr81GPIW4sg8P4m6l6GilDHjMMt5d0zfFLb/Ynfe0EQe0nbZP3XyNoSN3 c3aFxuqMOy+GDPuAOlAZu7OtQJgw1Im8M9C5h0n0sBVhW5yra+i683i8ud3IHtJyW+hG e0jTzseSHJ4p6IKJMb2VGFJBguAtFACEKMcBbQZtvRJRs+7KvFuVuZ1C8VIBFsT2f87S V/dw== X-Received: by 10.194.105.73 with SMTP id gk9mr36370708wjb.122.1442949751428; Tue, 22 Sep 2015 12:22:31 -0700 (PDT) Received: from [192.168.178.42] (dslb-088-069-217-228.088.069.pools.vodafone-ip.de. [88.69.217.228]) by smtp.gmail.com with ESMTPSA id xw2sm3404402wjc.12.2015.09.22.12.22.29 (version=TLS1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 22 Sep 2015 12:22:30 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) From: Christian Lindig In-Reply-To: Date: Tue, 22 Sep 2015 21:22:27 +0200 Cc: Gabriel Scherer , caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Martin DeMello X-Mailer: Apple Mail (2.2104) X-Validation-by: lindig@gmail.com Subject: Re: [Caml-list] building and using a library in a subdirectory > On 22 Sep 2015, at 21:02, Martin DeMello wrote: >=20 > Okay, thanks, that does make sense. I'm curious now as to what the use ca= se is for a .mllib file that just defines an internal library. It doesn't s= eem to be buying me anything if I don't want to compile the library separat= ely and use it in a different project. Like you have observed, libraries are good for distribution but are not use= ful within a project where you have all source files of that library availa= ble and where ocamlbuild makes sure, everything fits together. (Conceptually, each source *.ml defines a top-level module and these module= s all live in flat name space. Packaging them into libraries or distributin= g them over directories doesn=E2=80=99t introduce name spaces on the langua= ge level but might be still useful as a tool for organising source and obje= ct files.) =E2=80=94 C