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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 847B67F249 for ; Tue, 30 Oct 2012 15:45:19 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alavrik@piqi.org) identity=pra; client-ip=209.85.215.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="alavrik@piqi.org"; x-sender="alavrik@piqi.org"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alavrik@piqi.org) identity=mailfrom; client-ip=209.85.215.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="alavrik@piqi.org"; x-sender="alavrik@piqi.org"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f54.google.com) identity=helo; client-ip=209.85.215.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="alavrik@piqi.org"; x-sender="postmaster@mail-la0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0CAE3nj1DRVdc2k2dsb2JhbABEhVG9bwgjAQEBAQkJCwkUBCOCHgEBAQQSAmUQCwsNLiISAQUBHAYTIodknWRiCQOOHJA7i3eGXQOIWY0cjmEWKYQvgXs X-IronPort-AV: E=Sophos;i="4.80,679,1344204000"; d="scan'208";a="179551268" Received: from mail-la0-f54.google.com ([209.85.215.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Oct 2012 15:45:19 +0100 Received: by mail-la0-f54.google.com with SMTP id e12so439766lag.27 for ; Tue, 30 Oct 2012 07:45:18 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=ctpj1BCXOtRshKzlaKHdQX54eTTyRrvMEr5tGOQ39UQ=; b=YKyDIaiNoeu0qAvFxz9peIka/J9+LiHJX4rWNQONPguDLfcUe8D+O2R7bIc7y4H2eF 4aN+ukGHm+C7Z5J5b5r0RgqKAbcfbkg06s/PvBG4JT/5NtYf1uvbPmZnjyZbN7QBvqRB +mKVoyNZU2fmVi0COnoZxhFAcvEusVrCStjWhlQH9NDJX7to66eYntXbnFKJvrEGG9WL jG4x+cpmMy7fV0va5kM1YD0ZK8XL37cLx5p15dJUVFw2gIq/sbNEHOAa2Qo3ntR5JpQP Cixq63N6Oq12ZC2auq6gyokWDdIhIBfRu96oDeYWpv42MKARV+bWq+jBkBe3KdNxakjr Ws3Q== MIME-Version: 1.0 Received: by 10.152.105.173 with SMTP id gn13mr30733380lab.41.1351608318623; Tue, 30 Oct 2012 07:45:18 -0700 (PDT) Received: by 10.152.104.104 with HTTP; Tue, 30 Oct 2012 07:45:18 -0700 (PDT) X-Originating-IP: [98.201.107.96] In-Reply-To: <026F32A8-2790-4CDD-A839-58655A8074CA@first.in-berlin.de> References: <508F22BD.7010103@riken.jp> <026F32A8-2790-4CDD-A839-58655A8074CA@first.in-berlin.de> Date: Tue, 30 Oct 2012 09:45:18 -0500 Message-ID: From: Anton Lavrik To: Oliver Bandel Cc: caml-list Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQn2gVtso9Kj3k25dnsKz8xhUn/TLdFezIQNWcTezf7Laq5yZ8dO2h9CKxqShzqWzsHiRObg Subject: Re: [Caml-list] Why should I use .mli files? On Tue, Oct 30, 2012 at 9:32 AM, Oliver Bandel wrote: > > Am 30.10.2012 um 07:12 schrieb Anton Lavrik : > >> The biggest inconvenience with .mli files as I see it is that I have >> to repeat myself and make related but slightly different changes in >> two places when I change a module implementation. I would very much >> prefer to declare and document public interfaces next to the >> implementation and have language tooling take care of separate >> compilation and documentation generation. > > > ocamlc -i > is your friend... "ocamlc -i" is useful, but it can't distinguish between public and private interfaces and it wouldn't be helpful for generating documentation. Anton