From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 B9F937F0BA for ; Thu, 9 Feb 2017 02:57:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=martindemello@gmail.com; spf=Pass smtp.mailfrom=martindemello@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of martindemello@gmail.com designates 209.85.220.181 as permitted sender) identity=mailfrom; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-qk0-f181.google.com) identity=helo; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-qk0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AbcGD7haJP74BEebUnwWTPuX/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMizbnLW6fgltlLVR4KTs6sC0LuK9fC7EjBcqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmsrgjcuMYajIRtJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKJVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhftYb9vUcOrRq4BQKxCu3g1DhGiWHy3a0+1OQqDAbL3Ak6ENIUrH?= =?us-ascii?q?TUrdP1O7oMXuCw0qbIyTHDb/RN1Dfy7YjHaBEhofWWUb1sdsrRzFAiGgXYhVuT?= =?us-ascii?q?sYzoJy2Z2vgJvmSB7OdtVfijh3A5pw1tuDSj28QhhpTPi4kI0F7L7z95z5wwJd?= =?us-ascii?q?CgSE50f9qkEJxIuiGfLYR2Q8ciT3hxuCY51rEKoJC7cDUJxZg63RLfZPuHc4+H?= =?us-ascii?q?4hLnSumdOyt3hHVgeL6nhhay91avyvHkW8WqzFpHqjBJn9rMu3wXyRDf9NSLRu?= =?us-ascii?q?Fg8kqixDqDzwXT5ftFIUAwm6rbMZkhwrsom5oWq0vDBDP2mETwjKCLaEok//an?= =?us-ascii?q?6+DjYrXhvZKcOIp0hRv/MqQqgMCwHeM4Mg0WU2iB5eu8zKHj/VH+QLhSkvI5iK?= =?us-ascii?q?zZsJTDKcQfp665GBNV35046xe/CjemyM4XkWMGLFJDYhKHjpLmN0vAIPDiXr+D?= =?us-ascii?q?hAHmmz5uw7XCP6b9KpTLNHnK1rn7N/4p4EdZzE83zMtDz5NSELAIZvzpDBzfrt?= =?us-ascii?q?vdWzowKRC1xa7LBfBw0ocZETaKC7WFMaXevFqF4uYoC+aJbY4R/j36Lq52tLbV?= =?us-ascii?q?kXYllApFLuGS1pwNZSXgEw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CoBACJy5tYhrXcVdFdHRgHDBgHhQQHg?= =?us-ascii?q?1KlDY5GiQwHVwEBAQEBAQEBAQEBEgEBAQgLCwodJAtCAQEDBwSBYRmCRx0BGx4?= =?us-ascii?q?DEggBAgU3AiQBEQEFARYMiW4BAxWgH4NAP4wCggMFARyDCQWDYAoZJw1Vg18CB?= =?us-ascii?q?hKGOoxJgl8FkEGLL5ISgWMBjyGRTBQegRWBVU9ohD6CDh81gkAVhikBAQE?= X-IPAS-Result: =?us-ascii?q?A0CoBACJy5tYhrXcVdFdHRgHDBgHhQQHg1KlDY5GiQwHVwE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBAQgLCwodJAtCAQEDBwSBYRmCRx0BGx4DEggBAgU3AiQBE?= =?us-ascii?q?QEFARYMiW4BAxWgH4NAP4wCggMFARyDCQWDYAoZJw1Vg18CBhKGOoxJgl8FkEG?= =?us-ascii?q?LL5ISgWMBjyGRTBQegRWBVU9ohD6CDh81gkAVhikBAQE?= X-IronPort-AV: E=Sophos;i="5.35,349,1484002800"; d="scan'208,217";a="212564431" Received: from mail-qk0-f181.google.com ([209.85.220.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Feb 2017 02:57:12 +0100 Received: by mail-qk0-f181.google.com with SMTP id s140so142945326qke.0 for ; Wed, 08 Feb 2017 17:57:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=5YrK48/J8PCqpo0cJuHQDq1riBSdg//WvJWgDuUZxPY=; b=YWfkt+a20UmsKiS9yYoTFQto3CluxHnEaqXmIKweIfyNLODfxpsOk/fUubz/XyyCHC Bf7nBucq7l9vNEsLr4vLYlFtTrsp2Z3yLShnsDspzBFlRik/JbDu0ML5svT4eE7NQIJh tMObdWBfHthRiFIFs28roUAWdVBueo5iZr8prnIRlgNHxQHo6gqWBWgExbI92SG1Z5dG 8/TawTnmVYQCbQa7H3jKNYJBhteOubsT3YrtsPTkCPuucASHDocBO6oyLgyZbMZX+5l9 nOFylJU0V/hnNMyMWU1EJwp0KG3IYyStj1mZ2JQEPJXNrXQRfCKSBiGZ3pC2iOWaOMuH SmVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=5YrK48/J8PCqpo0cJuHQDq1riBSdg//WvJWgDuUZxPY=; b=IJkU8lk0rdHeCLTSqDWkn8RlVr3B96b9t2JyaPyYJBvYpm+2gxLLgXGIpf1HG85LTy 0tI4UXdo7wFmP5gEX6J0QvKmmtcY4GQppoWWQ5YT4T4IFcljxedVdGvZ14mfR9dqRdSy 6iGtzPqFzZk7BzV0kJG3yJS/eTsK1pX7WfGvYDxsfFPj9r6lzYK/CCv+YnuvcD7kjTmR /aSd4U9REOjv3WhA3CHzriL2m90BuZu7ueVII7X8kKqaL07CIkhPLwYk9qmR3jaUcMQP LRA8weopVAUdZovaKs5Nm4uhvCsX6gduaU2MY/YKb7PiBB29xAvFRSWT2FM7XJAkLuST lIfQ== X-Gm-Message-State: AMke39lKxQh4arAhhbD2w2vS0Uqqs/kyd/T6wUt9oF6uYI4EiVeCe4t20LglS/oHHpFz5WU/WfbX1nCPy9lRSA== X-Received: by 10.55.175.195 with SMTP id y186mr611090qke.26.1486605431292; Wed, 08 Feb 2017 17:57:11 -0800 (PST) MIME-Version: 1.0 Received: by 10.237.62.246 with HTTP; Wed, 8 Feb 2017 17:57:10 -0800 (PST) From: Martin DeMello Date: Wed, 8 Feb 2017 17:57:10 -0800 Message-ID: To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=94eb2c06093ca7481405480f4ced Subject: [Caml-list] opening a module within a class definition --94eb2c06093ca7481405480f4ced Content-Type: text/plain; charset=UTF-8 Is this possible? I couldn't find the right syntax to do it if so. class foo = let open My_module in ... martin --94eb2c06093ca7481405480f4ced Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Is this possible? I couldn't find the right syntax to = do it if so.

= class foo =3D
=C2=A0 let open My_module in
<= font face=3D"monospace, monospace">=C2=A0 ...

martin
--94eb2c06093ca7481405480f4ced--