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 7780E7F8BE for ; Sun, 27 Apr 2014 16:04:52 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.82.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.82.174 as permitted sender) identity=mailfrom; client-ip=74.125.82.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@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-we0-f174.google.com) identity=helo; client-ip=74.125.82.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-we0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0BACMOXVNKfVKulWdsb2JhbABZgmVwrW6XRoEJFg4BAQEBBw0JCRIqgiUBAQQBQAEbEgsBAwELBgULAwoJBBYLDwEEDQIRAQUBChgTEogaAQMJCAEECJlLjGGDDZgFChknAwpkhhQRAQUMjDWCGAeEOQSXHIFwgTqLT4NkQYMigT8 X-IPAS-Result: Ar0BACMOXVNKfVKulWdsb2JhbABZgmVwrW6XRoEJFg4BAQEBBw0JCRIqgiUBAQQBQAEbEgsBAwELBgULAwoJBBYLDwEEDQIRAQUBChgTEogaAQMJCAEECJlLjGGDDZgFChknAwpkhhQRAQUMjDWCGAeEOQSXHIFwgTqLT4NkQYMigT8 X-IronPort-AV: E=Sophos;i="4.97,937,1389740400"; d="scan'208";a="70570627" Received: from mail-we0-f174.google.com ([74.125.82.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Apr 2014 16:04:52 +0200 Received: by mail-we0-f174.google.com with SMTP id w62so4042670wes.5 for ; Sun, 27 Apr 2014 07:04:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=nQ/CzR1T+NU0hRqApEkK2N80vtLvxGxKn2fxwR5VDGw=; b=OTSYSHL821BeyEDp1j0XQley/NdzImkVo60feh5uHQivMJtYOUJPN2fxGQvOvlxRfQ pKCocxseXmSE/iW2u9CA9Fq0CISi3IX4cFPlDmxFZZLTdluMY6Js3Mw0L7ofJeWYFGai GyZzwUHOP5SaoljuwD2vf9mhLaMpiQ4SiDllQIGqEsNmDPLiZWI4gJgwaZ4wGcwr/4Ys YDVrohLsRWhRFi2KObv7YjcVhTC5VuhcRo0hAOjXfF1uJJaSyYHcwIeEl+4mLTbvvIMQ WH6/IIfl2gMDqQD6UB8fqYPbjbq8gs/yzy23tH8DB6ZS64XhifIK7wYlh0hV0wrRiYim k4PA== X-Received: by 10.180.94.226 with SMTP id df2mr11336660wib.1.1398607492030; Sun, 27 Apr 2014 07:04:52 -0700 (PDT) Received: from localhost ([2a01:7e00::f03c:91ff:fe70:2696]) by mx.google.com with ESMTPSA id be3sm21162854wjc.5.2014.04.27.07.04.50 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 27 Apr 2014 07:04:51 -0700 (PDT) From: Malcolm Matalka To: Yaron Minsky Cc: Berke Durak , caml-list@inria.fr References: <20140427125207.GA28200@gmail.com> Date: Sun, 27 Apr 2014 14:04:50 +0000 In-Reply-To: (Yaron Minsky's message of "Sun, 27 Apr 2014 09:18:26 -0400") Message-ID: <871twi98cd.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Ocaml 4.02.0+dev4-2014-04-03 toplevel: module aliases no longer print module signature I make use of this trick often instead of going to documentation, it's pretty convenient. Yaron Minsky writes: > Sends preferable behavior to me, since it avoid overly long signatures and > more clearly reflects the new semantics of module aliases. > > 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? > > y > On Apr 27, 2014 8:47 AM, "Berke Durak" wrote: > >> What happened? >> >> OCaml version 4.02.0+dev4-2014-04-03 >> >> # module S = String;; >> module S = String >> >> -- >> Berke Durak >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >>