From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ivg@ieee.org>
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 481E081792
	for <caml-list@sympa.inria.fr>; Wed, 19 Jun 2013 12:57:39 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  ivg@ieee.org) identity=pra; client-ip=74.125.149.83;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  ivg@ieee.org designates 74.125.149.83 as permitted sender)
  identity=mailfrom; client-ip=74.125.149.83;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  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@na3sys009aog134.obsmtp.com) identity=helo;
  client-ip=74.125.149.83;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ivg@ieee.org";
  x-sender="postmaster@na3sys009aog134.obsmtp.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoQAAByOwVFKfZVTnGdsb2JhbABasSoBkwQOAQEBAQEGDQkJFCiCOQEqezQBJAEFARaILQSaU4J+iwgBAZI4j1iDSwOJGo4nj14/hDo
X-IPAS-Result: AoQAAByOwVFKfZVTnGdsb2JhbABasSoBkwQOAQEBAQEGDQkJFCiCOQEqezQBJAEFARaILQSaU4J+iwgBAZI4j1iDSwOJGo4nj14/hDo
X-IronPort-AV: E=Sophos;i="4.87,896,1363129200"; 
   d="scan'208";a="22470292"
Received: from na3sys009aog134.obsmtp.com ([74.125.149.83])
  by mail2-smtp-roc.national.inria.fr with SMTP; 19 Jun 2013 12:57:37 +0200
Received: from mail-lb0-f178.google.com ([209.85.217.178]) (using TLSv1) by na3sys009aob134.postini.com ([74.125.148.12]) with SMTP
	ID DSNKUcGOoOqV4QbZSvyG2pdFaZ4ObS/Pvvls@postini.com; Wed, 19 Jun 2013 03:57:38 PDT
Received: by mail-lb0-f178.google.com with SMTP id y6so4557409lbh.37
        for <caml-list@inria.fr>; Wed, 19 Jun 2013 03:57:35 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=google.com; s=20120113;
        h=from:to:subject:date:message-id:mime-version:content-type
         :x-gm-message-state;
        bh=+wRSlDRcJks/zwE/2KX0w9I7Yzafke2RFGl80sezpHs=;
        b=oCIyjkIU9EvXZ+27qLMv5JC4V7W6L1qWuG6x58SC5hvrig+i22kohhtoGBHlGk3b0a
         5B8uCoE+8QWeT9C0CsZjwSHbN4mm6zVQv/iQeN7J6sWWc/a0ZJWkS8RM2VFuYtQkDAbV
         v/nJSiC16vaX0jfeDcYQ/lQ8I9m6PRBD6qkTJqQ8W5i2Bntk0dfiEoVea2F/v/bq2C7U
         FO+pT06iPNXx7RTx7UIleuJmQfqgFnN8ERyNbK5fLFSlF5a42u2ISOG8EVRHXIbepKuY
         hQt/J4gPx5pW+9QMDhLmBedbzvqabauMKPF8RUCvJ7tsgv0quspHKqDqhdv8fqIjyEsc
         9CFg==
X-Received: by 10.152.42.236 with SMTP id r12mr1092499lal.46.1371639455379;
        Wed, 19 Jun 2013 03:57:35 -0700 (PDT)
X-Received: by 10.152.42.236 with SMTP id r12mr1092498lal.46.1371639455282;
        Wed, 19 Jun 2013 03:57:35 -0700 (PDT)
Received: from golf.niidar.ru.niidar.ru ([109.188.126.174])
        by mx.google.com with ESMTPSA id p10sm1331673lap.8.2013.06.19.03.57.34
        for <caml-list@inria.fr>
        (version=TLSv1.1 cipher=RC4-SHA bits=128/128);
        Wed, 19 Jun 2013 03:57:34 -0700 (PDT)
From: Ivan Gotovchits <ivg@ieee.org>
To: caml-list@inria.fr
Date: Wed, 19 Jun 2013 14:57:25 +0400
Message-ID: <87ppvicqqy.fsf@golf.niidar.ru>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Gm-Message-State: ALoCoQkj/lnU6m5jZc/3xGm/7ZSubMsXMIcFFEK/7xO76ffWJfCO2FDPcPCqK0xObqsTKIxhCEqzNPYLJOnIX8KztYZ+AGukRX9IG9ziV8zer+CGOJipJSPqRBn5aGPAMdz0IaHgUZiuBb6DxGf8MkQiCb3xgFSLGA==
Subject: [Caml-list] strange complier messages


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?"...