From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <berke.durak@gmail.com>
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 CFD307F8BE
	for <caml-list@sympa.inria.fr>; Sun, 27 Apr 2014 15:40:05 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  berke.durak@gmail.com) identity=pra; client-ip=209.85.192.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="berke.durak@gmail.com";
  x-sender="berke.durak@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  berke.durak@gmail.com designates 209.85.192.50 as permitted
  sender) identity=mailfrom; client-ip=209.85.192.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="berke.durak@gmail.com";
  x-sender="berke.durak@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-qg0-f50.google.com) identity=helo;
  client-ip=209.85.192.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="berke.durak@gmail.com";
  x-sender="postmaster@mail-qg0-f50.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApgFAEUIXVPRVcAym2dsb2JhbABZyQmBBAUWDgEBAQEBBgsLCRQogiUBAQQBOgYBGx4DAQsGBQsNCRMHCw8FDxEBBQECiF8BAwkIBZlMjGGDDZgFChknDWSGFBEBBQyOVBaDDoEVAQOZCwGQbUGDIoFb
X-IPAS-Result: ApgFAEUIXVPRVcAym2dsb2JhbABZyQmBBAUWDgEBAQEBBgsLCRQogiUBAQQBOgYBGx4DAQsGBQsNCRMHCw8FDxEBBQECiF8BAwkIBZlMjGGDDZgFChknDWSGFBEBBQyOVBaDDoEVAQOZCwGQbUGDIoFb
X-IronPort-AV: E=Sophos;i="4.97,937,1389740400"; 
   d="scan'208";a="70568716"
Received: from mail-qg0-f50.google.com ([209.85.192.50])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Apr 2014 15:40:05 +0200
Received: by mail-qg0-f50.google.com with SMTP id 63so5930795qgz.9
        for <caml-list@inria.fr>; Sun, 27 Apr 2014 06:40:04 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:subject:message-id:references:mime-version
         :content-type:content-disposition:in-reply-to:user-agent;
        bh=HFArD99NdBEfo5XySldpeq34OpKfeX/ocWmnM82IIkk=;
        b=TUvHTCNBueoGSKO10Ta6OxJiDm8A1LAMlIscyB/iUjBdVCyDuZzHjeAw/YhYjS4ZNF
         dAcyRJ0P0kP8sLXwKlxA7x17vh3/XCfTpObAOVoiMmVPNZdwa0Vq6kVWNTlP5ev+w5y0
         Z9EFFdei0GyAj2GqSmPv9Zgg2j9H6eDQmjFMeWfNYMkEmVlkss7S4X+jgcyu188Rl6VO
         sZIGJjEcyrGueiPj2yg0+eq/l1IdWB8nl5ht5/efE3Pc20NzUNH3WlKKpblBtf0K5PEg
         QaBRUZnIwlIGOVBmj548LOLO4pNw//Im9xkH+1CYBqV3owZ6Ar4Fe8m157IZQwO2N3Q4
         mT7Q==
X-Received: by 10.140.29.34 with SMTP id a31mr2530749qga.95.1398606004051;
        Sun, 27 Apr 2014 06:40:04 -0700 (PDT)
Received: from gmail.com (modemcable092.146-201-24.mc.videotron.ca. [24.201.146.92])
        by mx.google.com with ESMTPSA id c16sm26852699qaw.4.2014.04.27.06.40.03
        for <caml-list@inria.fr>
        (version=TLSv1.2 cipher=AES128-SHA bits=128/128);
        Sun, 27 Apr 2014 06:40:03 -0700 (PDT)
Date: Sun, 27 Apr 2014 09:45:11 -0400
From: Berke Durak <berke.durak@gmail.com>
To: caml-list@inria.fr
Message-ID: <20140427134510.GB28200@gmail.com>
References: <20140427125207.GA28200@gmail.com>
 <CACLX4jQyr1U27eEooViKS8BCov7fJgcOt6JR_orMUp0+HN6_uA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CACLX4jQyr1U27eEooViKS8BCov7fJgcOt6JR_orMUp0+HN6_uA@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] Ocaml 4.02.0+dev4-2014-04-03 toplevel: module
 aliases no longer print module signature

On Sun, Apr 27, 2014 at 09:18:26AM -0400, Yaron Minsky wrote:
> Sends preferable behavior to me, since it avoid overly long signatures and
> more clearly reflects the new semantics of module aliases.

If that's the issue, when the toplevel is connected to a tty, it should cut the
output at some point and put an ellipsis.  If it's not a tty, it should still
blast the full signature.

I'm surely not the only one who has been relying on module X = Blah to see the
signature of a module.  Old habits die hard.

Also module SM = Map.Make(String) still prints the full declaration.

> But it might be nice to have a way to see the contents of a module in the
> toplevel.  Maybe steak the #typeof declaration from utop?

How does one print a module signature in utop?

-- 
Berke Durak