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 3DBD87FF9F for ; Mon, 7 Mar 2016 23:39:01 +0100 (CET) IronPort-PHdr: 9a23:awcHnx87rTAP8f9uRHKM819IXTAuvvDOBiVQ1KB91O4cTK2v8tzYMVDF4r011RmSDdqdu6gMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EleaKlQMb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+VrBYBfWQgmNGU8/4XRuBfCVkPb+nsbV2wN1ABFDQnexB7/V5b19CD9s7wu9jOdOJjfS6wzX3yI5qxrSRmg3C4BKyQ+9mvegcxxiopUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEEnUZWo4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.213.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.213.177 as permitted sender) identity=mailfrom; client-ip=209.85.213.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@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-ig0-f177.google.com) identity=helo; client-ip=209.85.213.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-ig0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DZAQDjAd5WlbHVVdFchHm6ToFphg8CgTA6EgEBAQEBAQEBEAEBAQEHCwsJIS9BEgGBWYIUAQEBAwESKAYBGx0BAwELBgULDS4hAhEBBQEcBhMih2wBAwoIoVOBMT4xjSCCV4VLChknDVGDcQEBAQEBAQEBAQEBAQEBAQEBARIBBQoEh3iCToI9hSiBDwWOJIkGi3iBdYFNAYdNDoVRhwyGCy+BDycCgi8egW9LhHqEQwEBAQ X-IPAS-Result: A0DZAQDjAd5WlbHVVdFchHm6ToFphg8CgTA6EgEBAQEBAQEBEAEBAQEHCwsJIS9BEgGBWYIUAQEBAwESKAYBGx0BAwELBgULDS4hAhEBBQEcBhMih2wBAwoIoVOBMT4xjSCCV4VLChknDVGDcQEBAQEBAQEBAQEBAQEBAQEBARIBBQoEh3iCToI9hSiBDwWOJIkGi3iBdYFNAYdNDoVRhwyGCy+BDycCgi8egW9LhHqEQwEBAQ X-IronPort-AV: E=Sophos;i="5.22,553,1449529200"; d="scan'208";a="167521336" Received: from mail-ig0-f177.google.com ([209.85.213.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Mar 2016 23:39:00 +0100 Received: by mail-ig0-f177.google.com with SMTP id ig19so3405070igb.1 for ; Mon, 07 Mar 2016 14:39:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=VmAfVMDo8XJqe9Xd5oUErYJnnYpFQ77rDFYumLy1HPA=; b=tp1Y5bwmQiBjGksDLJ65Jzioe3T4Pntzb6KsslbIgdXqx+CTgsqbwu75CqPjXuY3+J GHIqqeXSYLiiMsOG8rq06fX7+7gT9hz21k9NzKS9Dymw+SoY/dIkkGJyn7r4YcrCocn2 IFHaw0nn/XwEFHwBtyyQgR5P90VvAlYswr/BTuzoPqjGmydd9uagYK8t0s1fFu+lQgdC eOeHBDNoBP4L4rSFEAmR+HQfGdmIZHmjPCZMHB1fQzawKr8dspNYGi7tpGu9iynyJc7f tugHlQpdcTdi4x54SecOmQot6Ldp/+Emgd5TvqlLvvBgI8NlMOmQ5R9FuTiWA9uYoQZM SdrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=VmAfVMDo8XJqe9Xd5oUErYJnnYpFQ77rDFYumLy1HPA=; b=kbGIoHOMZdCAgQz+LGfJ3ca70Z7BddqirjDZzKYe+LhnkTP8NVHy+iM1U9F4ML2emX sdtNN0DiyE1KdZzZ/tt7hA/g+ETlfWHtyHU6nG+gyHEB6dDc5Q1mnQ3Mn/4suPUj1FJE 2U5MWGElyT3rnMDJO3ILeyg8HahJ5ImftWYfHRxwv1vFQ4br+o3/JpWxA0Y+ACNhmXi+ 5TCvqKzu2fqQwRWoHN9zx6Uul7t4NevDuZYlu/BvNwMyTAlmynw/UvxxXCJpJhgWyG24 olc6c6yd92WsjO5ZWapSxqbvXmbY/YHOrwr13FbSDDrbtBIxWfXx8k4DkLTqxsRdveyK fpSg== X-Gm-Message-State: AD7BkJKE18pB8Mi16nNpdAB5qIL1SCu+8zCtnn0yxVV9V4su5VhpNl/EdmWNLoszeD+jzw== X-Received: by 10.50.64.146 with SMTP id o18mr15464448igs.9.1457390338780; Mon, 07 Mar 2016 14:38:58 -0800 (PST) Received: from [192.168.0.42] (c-73-9-77-177.hsd1.il.comcast.net. [73.9.77.177]) by smtp.gmail.com with ESMTPSA id vf11sm5528900igb.20.2016.03.07.14.38.58 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Mon, 07 Mar 2016 14:38:58 -0800 (PST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) From: Anton Bachin In-Reply-To: Date: Mon, 7 Mar 2016 16:38:57 -0600 Cc: Junsong Li , Ivan Gotovchits , OCaml users X-Mao-Original-Outgoing-Id: 479083137.413913-31fb8a87a71b3123806fe6be3f53ad4d Content-Transfer-Encoding: 7bit Message-Id: References: <4C6ACEE0-9F61-431D-8FD1-1FE88E5142FA@gmail.com> To: Thomas Refis X-Mailer: Apple Mail (2.2070.6) Subject: Re: [Caml-list] =?UTF-8?Q?=5BANN=5D_Namespaces_=E2=80=93_sensible?= =?UTF-8?Q?_file_naming_for_OCaml_projects?= Indeed, I can confirm that Namespaces and Merlin work fine together. Anton > On Mar 1, 2016, at 03:25, Thomas Refis wrote: > > Hi, > > I haven't tested Namespaces (nice project btw) but it should work just > fine with merlin. > > Thomas.