Hi,
> My colleague is trying to install GODI but it's choking on findlib
> 1.2.2. Specifically, the command used to locate the std. lib. in
> get_stdlib is not compatible with OS X's sed:
>
> ocamlc -where | sed "s/\r//" || ...
We had the same problem in Frama-C configure.in files and fixed it b
On Wednesday 16 July 2008 17:44:18 Claudio Sacerdoti Coen wrote:
> Dear Yang,
>
> not every node is an element. Thus you need to use dinamic cast:
>
> let node = ... in
> (* next line may raise GdomeInit.DOMCastException *)
> let element = Gdome.element_of_node node in
> ...
Thank you very muc
My colleague is trying to install GODI but it's choking on findlib
1.2.2. Specifically, the command used to locate the std. lib. in
get_stdlib is not compatible with OS X's sed:
ocamlc -where | sed "s/\r//" || ...
The version of sed included with Leopard doesn't support
backslash-escapes like \r
From: Jeremy Yallop <[EMAIL PROTECTED]>
> Dario Teixeira wrote:
> > type ('a, 'b) t = private 'a constraint 'a = [< super_node_t ]
>
> I don't think this is quite what you want yet, although it's getting
> close!
>
> The first problem is that phantom types must be implemented in terms
> of ab
Hi,
> The first problem is that phantom types must be implemented in terms
> of abstract (or at least generative) types. A simple example to
> illustrate the problem: the types
>
> int t
> and
> float t
>
> denote the same type given the alias declaration
>
> type 'a t = unit
>
I agree. I should use Int64 instead of just int, but I still think
that the application (Random.int max_int) should not be exception
prone. Since max_int is architecture dependent, then so should be
Random.int no?
But you point is well taken. Thanks again
J
On Wed, Jul 16, 2008 at 2:44 PM, Andre
On Jul 16, 2008, at 2:07 PM, Jean Krivine wrote:
Good news, I just tested the patch and it works great with my
application!
I just had to modify the module random since a call to (Random.int
max_int) may raise and exception (it is made for 32 bits integers).
So I guess that modification shou
Richard Jones wrote:
> On a different, but not unrelated topic, Debian have a cross-compiler
> (based on MinGW) so you don't need to leave the safety & comfort of
> Linux in order to build Windows DLLs and binaries.
>
> http://packages.debian.org/search?keywords=mingw32
I am the main author of
Good news, I just tested the patch and it works great with my application!
I just had to modify the module random since a call to (Random.int
max_int) may raise and exception (it is made for 32 bits integers).
So I guess that modification should be included in the patch.
Thanks a lot Andres.
Jean
Am Mittwoch, den 16.07.2008, 10:59 +0200 schrieb Michaël Grünewald:
> Gerd Stolpmann wrote:
>
> > Well, there's now SFU for Windows (but only for XP Professional and
> > Windows 2003, not for XP Home and Vista, AFAIK). That's a cool solution
> > when you want to run Win32 and POSIX programs on th
Great thanks!
J
On Wed, Jul 16, 2008 at 10:16 AM, Andres Varon <[EMAIL PROTECTED]> wrote:
>
> On Jul 15, 2008, at 3:38 PM, Jean Krivine wrote:
>
>> I'd be glad to try the patch if you could post it somewhere!
>
> I have posted it in:
>
> http://research.amnh.org/~avaron/ocaml/
>
> best,
>
> Andre
On Jul 15, 2008, at 3:38 PM, Jean Krivine wrote:
I'd be glad to try the patch if you could post it somewhere!
I have posted it in:
http://research.amnh.org/~avaron/ocaml/
best,
Andres
J
On Tue, Jul 15, 2008 at 3:31 PM, Andres Varon <[EMAIL PROTECTED]>
wrote:
Hello Jean,
There is no
On Wed, 2008-07-16 at 03:54 +0200, Martin Jambon wrote:
> I hope you'll find this useful
> :-)
It was, thanks :)
I am translating this code to ocaml, and the original version is written
in an object-oriented fashion, so there's naturally an impedance
mismatch on the translation... I'll wait a bit
Le 16 juil. 08 à 03:05, Ashish Agarwal a écrit :
It seems the circular dependency error is given only when you do
ocamlbuild a.native
Some errors are reported differently when you use ocamlbuild because
of its automatic dependency analysis, I started a list here [1].
Daniel
[1] http://b
On a different, but not unrelated topic, Debian have a cross-compiler
(based on MinGW) so you don't need to leave the safety & comfort of
Linux in order to build Windows DLLs and binaries.
http://packages.debian.org/search?keywords=mingw32
Fedora are going to offer a MinGW cross-compiler and li
Dear Yang,
not every node is an element. Thus you need to use dinamic cast:
let node = ... in
(* next line may raise GdomeInit.DOMCastException *)
let element = Gdome.element_of_node node in
...
Cheers,
Hello everyone,
I've been using Gdome for some time now and I always find it difficult to deal
with the type system. Here is the issue:
The document class has a
method getElementsByTagName :
tagname:Gdome.domString -> Gdome.nodeList
and from a nodeList object I can only get Gdome.node obj
Gerd Stolpmann wrote:
Well, there's now SFU for Windows (but only for XP Professional and
Windows 2003, not for XP Home and Vista, AFAIK). That's a cool solution
when you want to run Win32 and POSIX programs on the same system, and
maybe an alternative to using virtualization. But it is nothing
(This message is intentionally written in French)
* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE
CIRCULER *
PREMIER APPEL AUX COMMUNICATIONS PREMIER APPEL AUX COMMUNICATIONS
JFLA'2009 (http://jfla.inria.fr/)
Journées Fran
19 matches
Mail list logo
