Re: [Caml-list] class type param constraint

On Thu, 2009-04-09 at 19:13 +0900, Jacques Garrigue wrote: > This may be a bit confusing, but the .. in your constraint on 'c means > that no actual subtyping will occur when you use this type as target. > Indeed, if the constraint was left unchanged, it would mean that by > choosing an arbitrary i

Re: [Caml-list] class type param constraint

In previous message poorly worded question. Why 'c should include "a". ":>" cast, 'c should be smaller type, but not great ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://cam

[Caml-list] class type param constraint

class [ 'c ] a = object(self) constraint 'c = < .. > method as_c = (self :> 'c) method id = Oo.id self end ;; class ['a] a : object ('a) constraint 'a = < as_c : 'a; id : int; .. > method as_c : 'a method id : int end Wh

[Caml-list] What is a future of ocaml?

There were no cvs commits since 3.11 release. It would be interesting to know something about next release. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Begi

[Caml-list] why Hashtbl.t are not covarint?

hashtbl.mli: type ('a,'b) t Why not "type ('a,+'b) t"? ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_begin