constraint 'a = 'a ref

Vyskocil Vladimir (vyskocil@math.unice.fr)
Fri, 13 Jun 1997 11:09:10 +0200

Date: Fri, 13 Jun 1997 11:09:10 +0200
From: Vyskocil Vladimir <vyskocil@math.unice.fr>
To: Caml list <caml-list@inria.fr>
Subject: constraint 'a = 'a ref

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