constraint 'a = 'a ref

From: Vyskocil Vladimir (vyskocil@math.unice.fr)
Date: Fri Jun 13 1997 - 11:09:10 MET DST


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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:11 MET