From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA27993 for caml-redistribution; Fri, 13 Jun 1997 19:34:04 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA17613 for <caml-list@pauillac.inria.fr>; Fri, 13 Jun 1997 11:11:48 +0200 (MET DST)
Received: from pcmath65.unice.fr ([134.59.10.65]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id LAA21952 for <caml-list@inria.fr>; Fri, 13 Jun 1997 11:09:13 +0200 (MET DST)
Received: from pcmath65 (localhost [127.0.0.1]) by pcmath65.unice.fr (8.8.3/8.8.3) with SMTP id LAA14553 for <caml-list@inria.fr>; Fri, 13 Jun 1997 11:09:10 +0200
Message-ID: <33A10E36.7B102F89@math.unice.fr>
Date: Fri, 13 Jun 1997 11:09:10 +0200
From: Vyskocil Vladimir <vyskocil@math.unice.fr>
Organization: UNSA
X-Mailer: Mozilla 3.01Gold (X11; I; Linux 2.0.28 i686)
MIME-Version: 1.0
To: Caml list <caml-list@inria.fr>
Subject: constraint 'a = 'a ref
	?
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: weis

Bonjour,

En faisant une erreur (j'ai utilise := au lieu de <-) dans une classe
Objective caml, j'ai eu la surprise de recevoir ceci du type-checker :

class ('a, 'b) labeled_graph_node2 ('a) : 'c =
  constraint 'a = 'a ref
...

Ca me parrait bizarre, non ?

-- 
Vyskocil Vladimir
vyskocil@math.unice.fr
http://www.inria.fr/safir/WHOSWHO/Vladimir.html