From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kosmo.zb@gmail.com>
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 1F0F07FD07
	for <caml-list@sympa.inria.fr>; Mon, 11 May 2015 13:10:56 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  kosmo.zb@gmail.com) identity=pra; client-ip=209.85.213.45;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="kosmo.zb@gmail.com";
  x-sender="kosmo.zb@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  kosmo.zb@gmail.com designates 209.85.213.45 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.45;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="kosmo.zb@gmail.com";
  x-sender="kosmo.zb@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-yh0-f45.google.com) identity=helo;
  client-ip=209.85.213.45;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="kosmo.zb@gmail.com";
  x-sender="postmaster@mail-yh0-f45.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DKBAC0jVBVlC3VVdFCGoNjXgaDGLJ4BpA1hyoHOxEBAQEBAQEBEQEBAQEHCwsJHzCEIAEBAQMBEhEEGQEtCwEDAQsBBQULDQICCR0CAiEBEgEFAQoSBhMSEId1AwoIDTqnED4xiziEYokHJwMKSIRKJgEFDoETihiCTYFzgzSBRQWFQgqRD4RwgVWBYo4FhSYSI4EVXIM/PTEBgkUBAQE
X-IPAS-Result: A0DKBAC0jVBVlC3VVdFCGoNjXgaDGLJ4BpA1hyoHOxEBAQEBAQEBEQEBAQEHCwsJHzCEIAEBAQMBEhEEGQEtCwEDAQsBBQULDQICCR0CAiEBEgEFAQoSBhMSEId1AwoIDTqnED4xiziEYokHJwMKSIRKJgEFDoETihiCTYFzgzSBRQWFQgqRD4RwgVWBYo4FhSYSI4EVXIM/PTEBgkUBAQE
X-IronPort-AV: E=Sophos;i="5.13,406,1427752800"; 
   d="scan'208";a="142361286"
Received: from mail-yh0-f45.google.com ([209.85.213.45])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 May 2015 13:10:55 +0200
Received: by yhw29 with SMTP id 29so35196854yhw.1
        for <caml-list@inria.fr>; Mon, 11 May 2015 04:10:54 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:cc:content-type;
        bh=Lf0XtCxh87/y7NL3gwWPHa2qbSXA8cw//aq/UsYRe/4=;
        b=gY9LH+0AZEaUxxjDsF4gjZUKyPmt++QnlE6tCLIMhiqjj5ptFopaZTo8bo1cfQeGbj
         6FGp69b7pJaRiXw04un8QoB0U57zFFJ3GUm52ON+7ugfbRWbKkckJEbwtBQP8L6OrR9S
         IJL1+Rkk90CrwNtRqt5902ducxc1BYiW76bY6Jzj+gXB1nY48TAMy+NrB0fBeOe0POnY
         FbObzDcxLmvUsYTpFoqgB2qI/CkbVJm7juPpPEofDLNhNj5jQDxvrNlcOExsRorOroLG
         v6jWpesexkuzSZSzosz7Z5eRsTICtgy5Z7PWLGSKQc4m70GD1tFDHGOehiHtm52NY8qt
         9f6A==
MIME-Version: 1.0
X-Received: by 10.170.204.73 with SMTP id v70mr10803640yke.127.1431342654100;
 Mon, 11 May 2015 04:10:54 -0700 (PDT)
Sender: kosmo.zb@gmail.com
Received: by 10.129.145.2 with HTTP; Mon, 11 May 2015 04:10:54 -0700 (PDT)
In-Reply-To: <CAAxsn=HR0=cHFZkejmC26GNy1E+Q0Q-tyz1PC=qdfsEx7saNYA@mail.gmail.com>
References: <87vbg45h6y.fsf@gmail.com>
	<CAAxsn=HR0=cHFZkejmC26GNy1E+Q0Q-tyz1PC=qdfsEx7saNYA@mail.gmail.com>
Date: Mon, 11 May 2015 12:10:54 +0100
X-Google-Sender-Auth: K3fnTX6pYf0fAoFLSA1OaWf7gKY
Message-ID: <CAAWM5TwuaPosit=r7wxOubjNB67jtKKp10uZto+6q-zZwg+n7A@mail.gmail.com>
From: David Sheets <sheets@alum.mit.edu>
To: Jeremy Yallop <yallop@gmail.com>
Cc: Malcolm Matalka <mmatalka@gmail.com>, Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] #show giving funny types

On Fri, May 8, 2015 at 12:13 PM, Jeremy Yallop <yallop@gmail.com> wrote:
> On 7 May 2015 at 20:19, Malcolm Matalka <mmatalka@gmail.com> wrote:
>> I'm poking around in the toplevel and noticed that some types are coming
>> out funny.  In particular 'int' is being shown as
>> 'UnixLabels.file_perm'.
>>
>> For example doing "#show Async_unix.Reader;;" in utop gives me an output
>> with:
>>
>>     val really_read :
>>       t ->
>>       ?pos:UnixLabels.file_perm ->
>>       ?len:UnixLabels.file_perm -> Arg.usage_msg -> [ `Eof of
>>       UnixLabels.file_perm | `Ok ] Async_kernel.Deferred.t
>>
>> I'm not sure if I've missed this in the list, but is anyone else
>> experiencing this?

I believe this was PR 6763 <http://caml.inria.fr/mantis/view.php?id=6763>.

> This looks like a problem with the -short-paths option.  Could you
> open a Mantis ticket?
>
> --
> 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