constraint 'a = 'a ref

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

Next message: Quercia: "ps et caml"
Previous message: Wolfram Kahl: "Re: camltk with native code compiler ocamlopt?"
Maybe in reply to: Basile STARYNKEVITCH: "camltk with native code compiler ocamlopt?"
Next in thread: Quercia: "ps et caml"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message: Quercia: "ps et caml"
Previous message: Wolfram Kahl: "Re: camltk with native code compiler ocamlopt?"
Maybe in reply to: Basile STARYNKEVITCH: "camltk with native code compiler ocamlopt?"
Next in thread: Quercia: "ps et caml"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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