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 7A9AF7EEFC for ; Thu, 19 Nov 2015 11:36:59 +0100 (CET) IronPort-PHdr: 9a23:aYbPXh3CAOlD87uPsmDT+DRfVm0co7zxezQtwd8ZsegfLfad9pjvdHbS+e9qxAeQG96LtrQa0KGP7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZrsnLnss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+/yLEQAST/HwEFi0zkxFICgXBplmuW5b6siL3sqxm3ySVIdfxVZg1Xyiv6+FgTxq+2wkdMDts32jdkM19iOpgqxKsvRFli9rbaYuPNfd6OLjWfd4ASHBpUcNYVigHCYS5OdhcR9EdNPpV+tGu72AFqgGzUEz1XLvi Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f174.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.174 as permitted sender) identity=mailfrom; client-ip=209.85.223.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f174.google.com) identity=helo; client-ip=209.85.223.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CZAAAxpU1WnK7fVdFegm5sNG8GtEiKL4FlGYV2AoE8BzoSAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEDARIRHQEIEx0BAwELBgULNwICIgERAQUBHAYTIod2AQMKCKEWgTE+MYtIgWqCeYYgChknDVaEBAEBAQEBAQQBAQEBAQEBAQEUAQUOhkaDeIEGh3WBRAWNHIkujSuaeBIkgRcoBoI5I4FePTSFIAEBAQ X-IPAS-Result: A0CZAAAxpU1WnK7fVdFegm5sNG8GtEiKL4FlGYV2AoE8BzoSAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEDARIRHQEIEx0BAwELBgULNwICIgERAQUBHAYTIod2AQMKCKEWgTE+MYtIgWqCeYYgChknDVaEBAEBAQEBAQQBAQEBAQEBAQEUAQUOhkaDeIEGh3WBRAWNHIkujSuaeBIkgRcoBoI5I4FePTSFIAEBAQ X-IronPort-AV: E=Sophos;i="5.20,317,1444687200"; d="scan'208";a="188204573" Received: from mail-io0-f174.google.com ([209.85.223.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Nov 2015 11:36:58 +0100 Received: by ioc74 with SMTP id 74so84146494ioc.2 for ; Thu, 19 Nov 2015 02:36:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=Hcxf7mEeDFNlte0rXGUyvDVJGW+YL8I7rS558ndbotg=; b=F7ZOOzattnfopVbcwuu3ukHOQOCsCB7RHPlSeK+PNHDio69lBdOFvFiT1UiSUWOt4V DTSep6rMWWWNFIxZKSDe7OvYMKdRXAllwxogEkifI5P22y7QHAcO0ZIhW4aeih7rwnJk IljgNh4dZsRBhUfvwRoahrc0FEmJVa5G0Q8yPQhwCcVyXp6TFJGYf1pn1VKjLM+aONlN +EUcvVcKebEPN2mzDe4ZVyFiOxjBbqSTMnWv6fqxb3dAlzCwZF16c8Day73N8KPcgupp kPLsbOInB8M6bpjsWpMiWW20egMz+7IlLw+Ce+PY7pWXeGKud+RIPbLTpYrFJy+kks4h BLnQ== X-Received: by 10.107.170.19 with SMTP id t19mr7876961ioe.70.1447929417214; Thu, 19 Nov 2015 02:36:57 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.39.200 with HTTP; Thu, 19 Nov 2015 02:36:17 -0800 (PST) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE42130@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE42130@IRSMSX102.ger.corp.intel.com> From: Gabriel Scherer Date: Thu, 19 Nov 2015 11:36:17 +0100 Message-ID: To: "Soegtrop, Michael" Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary=001a11425bd292dd900524e25612 Subject: Re: [Caml-list] Abbreviating module paths - something like "open X as Y" --001a11425bd292dd900524e25612 Content-Type: text/plain; charset=UTF-8 Indeed, you can use module Foo = Bar.Baz (There is special support for this path-naming-only special case of module declaration in the type-checker, that makes it work better in some cases.) On Thu, Nov 19, 2015 at 11:34 AM, Soegtrop, Michael < michael.soegtrop@intel.com> wrote: > Dear OCaml Users, > > > > I wonder if there is a way to abbreviate module paths. Something like > > > > open as > > > > I usually find it more readable to have a 2 or 3 letter acronym for a > module name than having the complete module name or no module name at all. > Is there a way to do this in OCaml? > > > > Best regards, > > > > Michael > > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Christian Lamprechter > Chairperson of the Supervisory Board: Nicole Lau > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 > --001a11425bd292dd900524e25612 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Indeed, you can use

=C2=A0 module F= oo =3D Bar.Baz

(There is special support for this path-naming-= only special case of module declaration in the type-checker, that makes it = work better in some cases.)

On Thu, Nov 19, 2015 at 11:34 AM, Soegtrop, Michael <michael.soegtrop@intel.com> wrote:

Dear OCaml Users,<= u>

=C2=A0

I wonder if there is a wa= y to abbreviate module paths. Something like

=C2=A0

open <module-path> = as <acronym>

=C2=A0

I usually find it more re= adable to have a 2 or 3 letter acronym for a module name than having the co= mplete module name or no module name at all. Is there a way to do this in OCaml?

=C2=A0

Best regards,

=C2=A0

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, ww= w.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


--001a11425bd292dd900524e25612--