On Wed, Apr 11, 2012 at 12:41 AM, Adrien camarade...@gmail.com wrote:
Nothing is wrong with it. As far as I remember, the -I +... syntax is
relative to the location of the compiler. On my godi install, I get:
% ocamlc -where
/opt/ocaml/lib/ocaml/std-lib
As you can see, std-lib site-lib
[ Note: deadline extended to May 15 -- Damien ]
Research team: Tools for Proofs, MSR-INRIA Joint Centre
===
The Microsoft Research-INRIA Joint Centre is offering a 2-year
position for a post-doctoral researcher to contribute to a proof
Hi,
PG'OCaml is a library offering type-safe access to PostgreSQL databases for
OCaml programmes.
Today I have the pleasure of announcing release 1.5. It's been a while since
our last release, and
1.5 features a fair amount of improvements and new functionality over 1.4. If,
in particular,
Hi
I don't know if it is theoretically sound or possible, but
it would be helpful, if the typing of match-with statements with polymorphic
variants was able to remove one or more variants from the catch-all cases
In the following code, it would mean that three_is_a_lot would be typed like
2012/4/12 Stéphane Glondu st...@glondu.net
Le 12/04/2012 14:30, Philippe Veber a écrit :
While playing with the upcoming features of our favorite compiler, I
found that the current trunk and version/4.00 branch do not work well
with findlib (version 1.2.8). I report it here so others
Hello,
I am new to caml-list, so sorry in advance if it is not the right place
to make this post. In a quite important piece of ocaml code, I have a
function:
let matching_term terms env uf id (pats, subst) (seen, forms) =
match pats, subst with
| _, [] | [], _ - seen, forms
Hi,
A new release (1.2) of the interval computation library is available:
http://www.alliot.fr/fbbdet.html.fr
This release fixes some problems on Mac OS X and windows systems, and a
possible bug on 32 bits systems for the ffloat function.
Thanks to all those who helped in finding and fixing
On 2012/04/17, at 0:24, Sebastien Mondet wrote:
I don't know if it is theoretically sound or possible, but
it would be helpful, if the typing of match-with statements with polymorphic
variants was able to remove one or more variants from the catch-all cases
In the following code, it would
