Re: [Caml-list] Understanding usage by the runtime

2012-01-06 Thread orbitz
Hello everyone! I would like to reassure you that all is right in the world. After a large number of tests I finally tracked the problem down to an entry in a Hashtbl not being deleted. It was a one line fix! One question does remain though: In my tests I would do some work that would cause

[Caml-list] Re: Core (and associated libraries) on bitbucket!

2012-01-06 Thread Yaron Minsky
And on that note, we just accepted our first external change, from Brandon Mitchell. Thanks! Hopefully just the first of many. y On Fri, Jan 6, 2012 at 6:34 PM, Yaron Minsky wrote: > For those who are interested in getting a look at a development version of > the next release of the Core suit

[Caml-list] Core (and associated libraries) on bitbucket!

2012-01-06 Thread Yaron Minsky
For those who are interested in getting a look at a development version of the next release of the Core suite of OCaml libraries, Core is now hosted on bitbucket. http://bitbucket.org/yminsky/ocaml-core/wiki/Home We're still working on making installation smoother and easier, as well as solvin

Re: [Caml-list] Examples where let rec is undesirable

2012-01-06 Thread Damien Doligez
On 2012-01-05, at 21:46, Gabriel Scherer wrote: > My argument is the following: when you make a *local* edition to a > piece of code, shadowing allow you to pick variable name without > having to know about what's already bound in context. I agree with Gabriel. Consider the following expression:

Re: [Caml-list] Examples where let rec is undesirable

2012-01-06 Thread Daniel Bünzli
> Sorry Richard I should have elaborated a bit more. > I guess there are a couple of examples in the literature, but one of them > comes to my mind, consider the following code snippet: > > let fd = Unix.open "myfile1" ... in > let fd = Unix.open "myfile2" ... in > ... (some code) > Unix.close fd >

Re: [Caml-list] Proposal for extensible open datatypes

2012-01-06 Thread Leo P White
On Jan 6 2012, Andreas Rossberg wrote: On Jan 6, 2012, at 07.26 h, Andrej Bauer wrote: I would be interested to hear what propeties of Ocaml you had to give up to get this interesting extension working? For example, what happens with checking for exhaustivness of match? Caml performs various op

Re: [Caml-list] Proposal for extensible open datatypes

2012-01-06 Thread Andreas Rossberg
On Jan 6, 2012, at 07.26 h, Andrej Bauer wrote: I would be interested to hear what propeties of Ocaml you had to give up to get this interesting extension working? For example, what happens with checking for exhaustivness of match? Caml performs various optimizations in pattern matching, why are

RE: [Caml-list] Examples where let rec is undesirable

2012-01-06 Thread David Allsopp
ivan chollet wrote: > Sorry Richard I should have elaborated a bit more. > I guess there are a couple of examples in the literature, but one > of them comes to my mind, consider the following code snippet: > > let fd = Unix.open "myfile1" ... in > let fd = Unix.open "myfile2" ... in > ... (some