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 C57E681792 for ; Wed, 19 Jun 2013 13:34:43 +0200 (CEST) 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.128.172; 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.128.172 as permitted sender) identity=mailfrom; client-ip=209.85.128.172; 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-ve0-f172.google.com) identity=helo; client-ip=209.85.128.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ve0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisBAFSWwVHRVYCslGdsb2JhbABAGoM6Sax3kiF3CBYOAQEBAQcLCwkSKoIjAQEFQAEbEgsBAwwGBQsDCg0hIgERAQUBChIGExKHaQEDDwwznRiMS4J/hFEKGScDCliHdAEFDI8vB4NhA5dBgSmONRYphDc6 X-IPAS-Result: AisBAFSWwVHRVYCslGdsb2JhbABAGoM6Sax3kiF3CBYOAQEBAQcLCwkSKoIjAQEFQAEbEgsBAwwGBQsDCg0hIgERAQUBChIGExKHaQEDDwwznRiMS4J/hFEKGScDCliHdAEFDI8vB4NhA5dBgSmONRYphDc6 X-IronPort-AV: E=Sophos;i="4.87,896,1363129200"; d="scan'208";a="22475523" Received: from mail-ve0-f172.google.com ([209.85.128.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Jun 2013 13:34:43 +0200 Received: by mail-ve0-f172.google.com with SMTP id jz10so3948889veb.31 for ; Wed, 19 Jun 2013 04:34:42 -0700 (PDT) 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=S/PxEBCkXXv+N9W+wXdQ3qgBpW6M+CAre1o5MyL0LqU=; b=fwV17XbRLzuFPV1O4Daq6ViPy/TkZ4m1y8E/3G8vcfViGtrSGcg4xs6nDRqrcgYJCT z5lh9ES3p88p27ya+swnDEGKYkBPV4PfjXHXcI8YdMb3KbWPjn+Qzvv1JosBh/mbs3gZ x7RaDQWS/PsEcOE5vbyUPgakVl/gWMFeoXwhq21pno2NQGMc1DYSW5QPjeyVmZs4EaRV n0gGcIS9AvKCXMg+U9QFeaQYBV0BSbd32z3yBlhNQ2MSKoUqm012/zsn7mmmJ5xATN4o Wfo8gg+P0A/NSkIU9ODnk8AOaRNKnXShqLOPUIYEijG7Gfcd0jzYwZTIZyT3nGuUuwQk MLhA== X-Received: by 10.58.199.133 with SMTP id jk5mr782678vec.63.1371641682214; Wed, 19 Jun 2013 04:34:42 -0700 (PDT) MIME-Version: 1.0 Received: by 10.58.253.194 with HTTP; Wed, 19 Jun 2013 04:34:01 -0700 (PDT) In-Reply-To: <87ppvicqqy.fsf@golf.niidar.ru> References: <87ppvicqqy.fsf@golf.niidar.ru> From: Gabriel Scherer Date: Wed, 19 Jun 2013 13:34:01 +0200 Message-ID: To: Ivan Gotovchits Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] strange complier messages This is not a bug in the type-checker: the error messages are correct but badly formulated and confusing. This is discussing in the following butracker item: http://caml.inria.fr/mantis/view.php?id=5878 On Wed, Jun 19, 2013 at 12:57 PM, Ivan Gotovchits wrote: > > Is it ok for a compiler to emit such messages: > > Error: This expression has type ex#0 but an expression was expected of type > ex#0 > The type constructor ex#0 would escape its scope > > or maybe this is a bug? I'm not sure... > > P.S. ocaml 4.00.1. > > -- > (__) > (oo) > /------\/ > / | || > * /\---/\ > ~~ ~~ > ...."Have you mooed today?"... > > -- > 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