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
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
___
Caml-list mailing list. Subscription management:
http://yqu
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
Radzevich Belevich wrote:
> There were no cvs commits since 3.11 release.
> It would be interesting to know something about next release.
The OCaml developers are also (well, mainly!) academic researchers - having
been working very hard in the last few months to release OCaml 3.11 (which
only came
On Wed, Jan 14, 2009 at 12:18:31PM +0300, Radzevich Belevich wrote:
> There were no cvs commits since 3.11 release.
> It would be interesting to know something about next release.
I'll second David's comment. Come to Grenoble on 4th Feb, to the
OCaml users meeting,
http://wiki.cocan.org/events/e
Hello,
On 14-01-2009, Radzevich Belevich wrote:
> There were no cvs commits since 3.11 release.
> It would be interesting to know something about next release.
>
There will be a "little talk" by INRIA OCaml team member about different
subject around OCaml, just as last year talk of Xavier Leroy
Few days ago I spent some time googling for any info in the subject and
found nothing (except assigned feature requests in the tracer).
Would be great to know what should be expected about OCaml in a long term.
I understand that there's no manpower to push the core compiler forward
faster. But
Hello,
In the article "Many Holes in Hindley-Milner" [1], Sam Lindley claims
that the type of x is ('a * 'a s, int) NList.t in the following ocaml
program because of Garrigue's relaxed value restriction [2].
==
type 'a s
module NList : sig
type (+'length, +'elem_type) t
val nil : ('m*
Dawid Toton wrote:
> (say, following is a collection of dreams :))
>
> Is there any hope for a grand 'OCaml 4' release that would iron out the
> last ugly spots left in the language with some breaking changes?
^^
Hahaha.
(the rest of
Dawid Toton wrote:
> Could anybody explain why it's impossible to have type classes in OCaml?
I don't think it's impossible - but I believe that if you introduce type
classes then you "damage" Hindley-Milner type inference and you can no
longer derive a principal typing for an arbitrary ML express
On Wed, Jan 14, 2009 at 04:31:24PM +0100, Julien SIGNOLES wrote:
> In the article "Many Holes in Hindley-Milner" [1], Sam Lindley claims
> that the type of x is ('a * 'a s, int) NList.t in the following ocaml
> program because of Garrigue's relaxed value restriction [2].
> ==
> type 'a s
>
Dawid Toton writes:
> Make record fields acting as projection functions?
This can be done with camlp4 + type-conv, i put an example here:
http://www.dimino.org/projection.tar.gz
Jérémie
___
Caml-list mailing list. Subscription management:
http://yqu
Hi,
> I understand that there's no manpower to push the core
> compiler forward faster. But it would be a solace to know
> that there are at least some optimistic plans with a broader
> horizon.
Speaking of which, there's something that's been on my mind for quite
some time: what's the holdup pre
> Now, with Emacs 22.3.1, tuareg-mode (1.45.6) and fold-mode no longer work
> together, the folding just does not happen. With xemacs, it works
Looks like an Emacs bug. Why don't you M-x report-emacs-bug ?
Stefan
___
Caml-list mailing list.
14 matches
Mail list logo