Version française
Home     About     Download     Resources     Contact us    
Browse thread
constraint 'a = 'a ref ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Vyskocil Vladimir <vyskocil@m...>
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