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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7318F7FEF1 for ; Tue, 1 Mar 2016 10:25:57 +0100 (CET) IronPort-PHdr: 9a23:4KCkbBdX27y7rkIpgwqthpIklGMj4u6mDksu8pMizoh2WeGdxc6yZB7h7PlgxGXEQZ/co6odzbGG7Oa+CCdZuszJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuNMk4R32D1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S4+T2MNlRxHSyzEpEX+XIy3viLgteR8wymyMsj/TLRyUjOnufRFUhjt3RsHMDsw6ynth8Jxl+oPvBKmohVkhZTZboCOHPV7d6LZO9gdQDwSDY5qSyVdD9bkPMM0BO0bMLMd9tGlqg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=refis.thomas@gmail.com; spf=Pass smtp.mailfrom=refis.thomas@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f44.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of refis.thomas@gmail.com) identity=pra; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of refis.thomas@gmail.com designates 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="postmaster@mail-wm0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CHAAC8XtVWlSxSfUpehGoPBqgwhxmKaYdxgT8HOhIBAQEBAQEBARABAQEBBwsLCSEvgi2CFQEBBBIRHQEbHQEDDAEFBQsDDAImAgIiAREBBQEcBhsah2cBAxKid4ExPjGLNIFpgleFOwoZJw1Rg3ABIwEFCgRthReEOoc1gToBBJcOgUKMIIFKjSuNDhEegQ8nAW+DLzwuiEwBAQE X-IPAS-Result: A0CHAAC8XtVWlSxSfUpehGoPBqgwhxmKaYdxgT8HOhIBAQEBAQEBARABAQEBBwsLCSEvgi2CFQEBBBIRHQEbHQEDDAEFBQsDDAImAgIiAREBBQEcBhsah2cBAxKid4ExPjGLNIFpgleFOwoZJw1Rg3ABIwEFCgRthReEOoc1gToBBJcOgUKMIIFKjSuNDhEegQ8nAW+DLzwuiEwBAQE X-IronPort-AV: E=Sophos;i="5.22,522,1449529200"; d="scan'208";a="205197747" Received: from mail-wm0-f44.google.com ([74.125.82.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Mar 2016 10:25:57 +0100 Received: by mail-wm0-f44.google.com with SMTP id l68so24371019wml.1 for ; Tue, 01 Mar 2016 01:25:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc; bh=SBJYBSrIoYS0/wI3RNNbQVGCZsI+HW5nd0TWLbHXkCQ=; b=XWvMG4x4BeWGSSCKNK2Ig/SIzvrB2ObL+7msJu5nrmyCDe2hfXnTGiSroN4qORwBhK mqOEhj897Ju3HmnxVTe+GebLw5d6CVAm+JqUgne+1+kxXz14XZOHd9L/3yPqXYJbc2pN AaG316ELOp9zmlkkNU2H1QoOp5+2nJTSeZtkzVQ1d0A+79xYVGDvFKB/NjLLDN3pCK0j JO+h4uXrwC4LzvW+OhIuT/HfiIomJLPPrVg4+l9zfdDY2roSO9i2qryOLALpnUCg2Cth /Iq+FQPfeKDe8iu/MAu5UMtKx7lvoYJQP/b43xe6Ywsg4jKuBnd+fx3G1w2OqIAwXS8a b1PA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:date :message-id:subject:from:to:cc; bh=SBJYBSrIoYS0/wI3RNNbQVGCZsI+HW5nd0TWLbHXkCQ=; b=QElM7XUVnm/M6cro1mXiAIXajAj5J1QM/mz4ea82EdK4PfYYKiEt1XW2CTrHGg8sEM DUGjhKd/Daw3NIajhNB0LKYUp8RErXHr0poU62gXkmUVqzP+gfCB0f44d2ulKdXNmVjJ 3BrV4kTKEqS59JKJsL3MldOnXkKz+gnMWz/mkGkgJ6WWP7DLB1qMPVLX8rXXFWdOaj3x INDIFuShovmqmqQX6NgiqOFBI1ZXgfySjNvwA08UQQ7M4kuCKJ0lxAcH7umoBN7ndwro UkwYvQnaJyAGj7M82Yg/v3321/AQQa8qHKIQX4UBYzlBKcV+o4pcpS2kLdYYjWi+0gMh 7ZLg== X-Gm-Message-State: AD7BkJKiLZK/R1QwJiSu9mn+OBFOCr1bfteKZYp5JaN6jJqILbXpTeWmWBs0KYmupGx5m6pKl1fjEJqKmk59tw== MIME-Version: 1.0 X-Received: by 10.194.238.34 with SMTP id vh2mr22774609wjc.157.1456824356622; Tue, 01 Mar 2016 01:25:56 -0800 (PST) Sender: refis.thomas@gmail.com Received: by 10.27.229.130 with HTTP; Tue, 1 Mar 2016 01:25:56 -0800 (PST) In-Reply-To: References: <4C6ACEE0-9F61-431D-8FD1-1FE88E5142FA@gmail.com> Date: Tue, 1 Mar 2016 09:25:56 +0000 X-Google-Sender-Auth: eg3lFjwJGD_b7-70m8oKkjzlpgM Message-ID: From: Thomas Refis To: Junsong Li Cc: Anton Bachin , Ivan Gotovchits , OCaml users Content-Type: text/plain; charset=UTF-8 X-Validation-by: thomas.refis@gmail.com Subject: Re: [Caml-list] =?UTF-8?Q?=5BANN=5D_Namespaces_=E2=80=93_sensible?= =?UTF-8?Q?_file_naming_for_OCaml_projects?= Hi, I haven't tested Namespaces (nice project btw) but it should work just fine with merlin. Thomas.