From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel.scherer@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 31F2B7EE51
	for <caml-list@sympa.inria.fr>; Mon,  8 Apr 2013 13:17:32 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  gabriel.scherer@gmail.com) identity=pra;
  client-ip=209.85.214.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gabriel.scherer@gmail.com";
  x-sender="gabriel.scherer@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  gabriel.scherer@gmail.com designates 209.85.214.46 as
  permitted sender) identity=mailfrom; client-ip=209.85.214.46;
  receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-bk0-f46.google.com) identity=helo;
  client-ip=209.85.214.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gabriel.scherer@gmail.com";
  x-sender="postmaster@mail-bk0-f46.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiMCAEymYlHRVdYuk2dsb2JhbAA3GoM8rxKSFn4IFg4BAQEBBwsLCRQEJIIfAQEFQAEbEgsBAwwGBQsNDSEhAQERAQUBChIGExKHbwEDDwwwnjGML4J7hAMKGScDClmIfgEFDIxEglMHg0EDlROBYYEhilKDORYphDA6
X-IPAS-Result: AiMCAEymYlHRVdYuk2dsb2JhbAA3GoM8rxKSFn4IFg4BAQEBBwsLCRQEJIIfAQEFQAEbEgsBAwwGBQsNDSEhAQERAQUBChIGExKHbwEDDwwwnjGML4J7hAMKGScDClmIfgEFDIxEglMHg0EDlROBYYEhilKDORYphDA6
X-IronPort-AV: E=Sophos;i="4.87,431,1363129200"; 
   d="scan'208";a="10167031"
Received: from mail-bk0-f46.google.com ([209.85.214.46])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Apr 2013 13:17:31 +0200
Received: by mail-bk0-f46.google.com with SMTP id je9so3001531bkc.5
        for <caml-list@inria.fr>; Mon, 08 Apr 2013 04:17:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:mime-version:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=M0+tpaQnqvG6Z/LPETuRDjdR1M6Zd9OT7TuzZ8SHqko=;
        b=FHN9Isq0TzK5OSrv21UFAlF68sKnHx6gzmuGaQd0CVSzacuDw6JTwnYl05QwjMkR0h
         15Mz1YGooD7+AZOspeUmE3+ATHm6c6Ze7Q8DrzUGoo6qEh2Kf+GFTudG4IbthbpvjBmr
         yOPPXxjuxR+9RhQU4+QiRd8Gsx+PuRRC6Bj93uDaPu/p/181YbAY7DZHwtFLzHWuCRSx
         Gws8cu2Z3bRrrjRA9SkPmvs3pWUJz9upgstNP6CzlHPYPa/44BKSb7/Msl/dO6Sb2nbA
         yOO7+wwJ2QFRfxDGpKEqlE9Tnm+T7Y1nY4kEkDjDuwYI9Q4o7vrE+WPccvVk1bFRs0/n
         D9Aw==
X-Received: by 10.204.229.140 with SMTP id ji12mr1854852bkb.113.1365419850804;
 Mon, 08 Apr 2013 04:17:30 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.205.83.144 with HTTP; Mon, 8 Apr 2013 04:16:50 -0700 (PDT)
In-Reply-To: <21DFEED9-A48F-4CDE-89E9-7BE1CA207B97@gmail.com>
References: <21DFEED9-A48F-4CDE-89E9-7BE1CA207B97@gmail.com>
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Mon, 8 Apr 2013 13:16:50 +0200
Message-ID: <CAPFanBEwkodhsa2VKL-YdPE3dOqRdfp9dnw9cPyJzKbm1A2Hww@mail.gmail.com>
To: Kaspar Rohrer <kaspar.rohrer@gmail.com>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] Typing error results in fatal error.

This was a bug in the type-checker. It has already been reported by
Julien Signoles and fixed by Jacques Garrigue,
  http://caml.inria.fr/mantis/view.php?id=5858
The fix will be available in the next OCaml release.

"Fatal error" from the compiler are indications of bugs, and you
should not hesitate to use the bugtracker interface (
caml.inria.fr/mantis/ ) to report them.
(It's useful to first look for duplicates, or try them in a
bleeding-edge version to see if they have already been fixed.)

Thanks for the report.

On Mon, Apr 8, 2013 at 1:06 PM, Kaspar Rohrer <kaspar.rohrer@gmail.com> wrote:
> Hi list
>
> Is there a reason why the following code
>
>> class type a = object inherit a end
>
>  (in OCaml 4.00.1, at least) results in a
>
>> Fatal error: exception Assert_failure("typing/env.ml", 629, 54)
>
> in either the toplevel or the compiler, instead of a simple typing error?
>
> Just curious.
>
> --
> 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