* why Hashtbl.t are not covarint?
@ 2009-01-14 8:02 Radzevich Belevich
2009-01-14 8:54 ` [Caml-list] " Stéphane Glondu
0 siblings, 1 reply; 2+ messages in thread
From: Radzevich Belevich @ 2009-01-14 8:02 UTC (permalink / raw)
To: Caml List
hashtbl.mli: type ('a,'b) t
Why not "type ('a,+'b) t"?
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] why Hashtbl.t are not covarint?
2009-01-14 8:02 why Hashtbl.t are not covarint? Radzevich Belevich
@ 2009-01-14 8:54 ` Stéphane Glondu
0 siblings, 0 replies; 2+ messages in thread
From: Stéphane Glondu @ 2009-01-14 8:54 UTC (permalink / raw)
To: Radzevich Belevich; +Cc: Caml List
Radzevich Belevich a écrit :
> hashtbl.mli: type ('a,'b) t
> Why not "type ('a,+'b) t"?
For the same reason as 'a in 'a ref, i.e. mutable things cannot be
covariant.
Cheers,
--
Stéphane
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-01-14 8:54 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-01-14 8:02 why Hashtbl.t are not covarint? Radzevich Belevich
2009-01-14 8:54 ` [Caml-list] " Stéphane Glondu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).