Browse thread
constraint 'a = 'a ref ?
- Vyskocil Vladimir
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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