Hello,
I have a problem with mingw version of ocaml (compiled by hand, or with
godi).
1- Is the following reproducible?
2- If yes, do you consider this as a bug?
It seems that in Sys.command s, if the first and the last characters
of s are '', they are elided?
It prevents menhir
On Sat, May 2, 2009 at 3:59 PM, Geoffroy c.geoff...@gmail.com wrote:
I am currently working on a tool which is generating a lot of ocaml code.
The problem comes during compilation : due to the amount of source code or
the length of function, i got some already define symbol error when the
For amd64 we have in asmcomp/amd64/proc_nt.mlp:
(* xmm0 - xmm15 100 - 115 xmm0 - xmm9: Caml function arguments
xmm0 - xmm3: C function arguments
xmm0: Caml and C function results
xmm6-xmm15
in Sys.command; anyway, the latest release of
Menhir (20090505) attempts to work around it:
http://cristal.inria.fr/~fpottier/menhir/menhir-20090505.tar.gz
(I should have released this earlier, but forgot, so here it is, released
two minutes ago :)
--
François Pottier
francois.pott...@inria.fr
http
On Tue, May 5, 2009 at 1:24 PM, Xavier Leroy xavier.le...@inria.fr wrote:
For amd64 we have in asmcomp/amd64/proc_nt.mlp:
(* xmm0 - xmm15 100 - 115 xmm0 - xmm9: Caml function arguments
xmm0 - xmm3: C function arguments
Joel Reymont wrote:
Is the ARM backend (ocamlopt) usable and actively maintained?
In brief: yes modulo ABI issues; yes.
In more details:
In OCaml 3.11 and earlier, the ARM port uses an old ABI (software
conventions on using registers, etc). This ABI corresponds to the
arm port of Debian; I
On Tue, May 5, 2009 at 10:58, Matthieu Dubuget
matthieu.dubu...@gmail.com wrote:
Hello,
I have a problem with mingw version of ocaml (compiled by hand, or with
godi).
1- Is the following reproducible?
2- If yes, do you consider this as a bug?
It seems that in Sys.command s, if the first
Hello,
On 05-05-2009, Matthieu Dubuget matthieu.dubu...@gmail.com wrote:
Hello,
I have a problem with mingw version of ocaml (compiled by hand, or with
godi).
1- Is the following reproducible?
2- If yes, do you consider this as a bug?
It seems that in Sys.command s, if the first and
Hi,
what is the best option to do memory profiling with ocaml?
Is there a patch of ocaml-memprof for 3.11.0? What about
objsize?
Thanks,
Christoph Bauer
___
Caml-list mailing list. Subscription management:
Hi Dimitry,
LexiFi for instance _is_ clearly interested by a sse2 32bit code generator.
One should probably have the following in mind and/or ask the following
questions:
- it is probably not a good idea to support both backends (sse2 and old stack fp
i386 architecture). It will be necessary
Last call for papers
10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
TFP 2009
SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
June 2-4, 2009
http://www.inf.elte.hu/tfp_cefp_2009
*** Submission deadline extended until 10th of May! ***
The symposium on Trends in Functional Programming (TFP) is
Hello,
On 05-05-2009, Christoph Bauer christoph.ba...@lmsintl.com wrote:
Hi,
what is the best option to do memory profiling with ocaml?
Is there a patch of ocaml-memprof for 3.11.0? What about
objsize?
I use a more simple approach (though I have used objsize to estimate
some datastructure
Last call for papers
10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
TFP 2009
SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
June 2-4, 2009
http://www.inf.elte.hu/tfp_cefp_2009
*** Submission deadline extended until 10th of May! ***
The symposium on Trends in Functional Programming (TFP) is
On 05-05-2009, Jean-Marc Eber jeanmarc.e...@lexifi.com wrote:
Hi Dimitry,
LexiFi for instance _is_ clearly interested by a sse2 32bit code generator.
One should probably have the following in mind and/or ask the following
questions:
- it is probably not a good idea to support both
On Tuesday 05 May 2009 15:15:33 Jean-Marc Eber wrote:
Hi Dimitry,
LexiFi for instance _is_ clearly interested by a sse2 32bit code generator.
One should probably have the following in mind and/or ask the following
questions:
- it is probably not a good idea to support both backends (sse2
Sylvain Le Gall wrote:
Maybe this point can be discussed. I think 3 ports for windows is a bit
too much... I don't know Dimitry point of view, but maybe INRIA can
just consider MSVC (or mingw). If this is a way to free INRIA resources,
it
is a good option.
There are actually 4 Windows ports
# module M :
sig class x : int - object method m : int end end = struct class x _ =
object method m = 42 end end;;
Error: Signature mismatch:
Modules do not match:
sig class x : 'a - object method m : int end end
is not included in
sig class x : int - object method
Hi list,
Sorry for my previous message, which I sent by mistake.
I would like to understand why the following is rejected :
# module M :
sig
class x : int - object method m : int end
end
=
struct
class x _ = object
method m = 42
end
end;;
Error: Signature mismatch:
On Tue, May 5, 2009 at 6:58 PM, Sylvain Le Gall sylv...@le-gall.net wrote:
On 05-05-2009, Jean-Marc Eber jeanmarc.e...@lexifi.com wrote:
Hi Dimitry,
LexiFi for instance _is_ clearly interested by a sse2 32bit code generator.
One should probably have the following in mind and/or ask the
Dear all,
Is there some code available to load an RSA public key from a
.der file ?
I looked in the bindings for cryptokit and those for ssl but couldn't
find the desired function.
Any help would be greatly appreciated !
Many thanks in advance,
Sébastien.
On Tue, May 5, 2009 at 2:43 AM, Xavier Leroy xavier.le...@inria.fr wrote:
Concerning the iPhone, it is not supported out of the box by 3.11 nor
by the CVS trunk code. For 3.11, several patches have been mentioned
on this list; it would be great if someone with iPhone development
experience
On Tue, May 5, 2009 at 9:17 AM, Sébastien Hinderer
sebastien.hinde...@ens-lyon.org wrote:
Is there some code available to load an RSA public key from a
.der file ?
Maybe this is helpful:
http://code.google.com/p/ooauth/source/browse/trunk/pem2cryptokit.c
It takes a PEM file containing an
whether it is a bug in Sys.command; anyway, the latest release of
Menhir (20090505) attempts to work around it:
http://cristal.inria.fr/~fpottier/menhir/menhir-20090505.tar.gz
(I should have released this earlier, but forgot, so here it is, released
two minutes ago :)
;-)
Thanks
Xavier Leroy xavier.le...@inria.fr writes:
Concerning the iPhone, it is not supported out of the box by
3.11 nor by the CVS trunk code. For 3.11, several patches have
been mentioned on this list; it would be great if someone with
iPhone development experience could combine them and publish a
24 matches
Mail list logo
