From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id F3E25BBCA
	for <caml-list@yquem.inria.fr>; Mon, 12 May 2008 10:37:46 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmwCAA6fJ0hQRFuwiGdsb2JhbACSDwEBAQ8glzs
X-IronPort-AV: E=Sophos;i="4.27,472,1204498800"; 
   d="scan'208";a="12487457"
Received: from furbychan.cocan.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 12 May 2008 10:37:46 +0200
Received: from rich by furbychan.cocan.org with local (Exim 4.63)
	(envelope-from <rich@annexia.org>)
	id 1JvTXV-000638-Gc; Mon, 12 May 2008 09:37:45 +0100
Date: Mon, 12 May 2008 09:37:45 +0100
To: Jacques Le Normand <rathereasy@gmail.com>
Cc: caml-list caml-list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] ocamlc freezes
Message-ID: <20080512083745.GA23048@annexia.org>
References: <f74178430805111819k7b8d1708tb33609bb189469c2@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <f74178430805111819k7b8d1708tb33609bb189469c2@mail.gmail.com>
User-Agent: Mutt/1.5.13 (2006-08-11)
From: Richard Jones <rich@annexia.org>
X-Spam: no; 0.00; ocamlc:01 freezes:01 node:01 node:01 foo:01 foo:01 ocamlc:01 freezes:01 ocaml:01 'left:98 'left:98 ubuntu:98 wrote:01 compile:01 incompatible:01 

On Sun, May 11, 2008 at 09:19:26PM -0400, Jacques Le Normand wrote:
> hello caml-list
> when I try to compile
> 
> class type node =
> object
>   method  get_right_sibling : node option
> end
> class type ['top_parent_type,'left_sibling_type,'right_sibling_type] typ  =
> object
>   inherit node
>   method get_left_sibling : 'left_sibling_type option
>   method get_right_sibling : 'right_sibling_type option
> end
> type 'p foo_typ = ('p,'p foo_typ,'p foo_typ) typ
> 
> with
> 
> ocamlc test.ml
> 
> ocamlc just freezes; I'm using ocaml 3.09.2 on ubuntu. What should I do?

Possibly upgrade.  With 3.10.0 this gives an error:

File "test.ml", line 11, characters 4-48:
This type constructor expands to type
  'a foo_typ =
    < get_left_sibling : 'a foo_typ option; get_right_sibling : node option >
but is here used with type node = < get_right_sibling : node option >
Type node = < get_right_sibling : node option > is not compatible with type
  < get_right_sibling : node option > 
Type
  'a foo_typ =
    < get_left_sibling : 'a foo_typ option; get_right_sibling : node option >
is not compatible with type
  < get_left_sibling : 'a foo_typ option; get_right_sibling : node option > 
Types for method get_left_sibling are incompatible

Rich.

-- 
Richard Jones
Red Hat