Re: [Caml-list] Lwt and OCamlMakefile

2010-12-20 Thread Markus Mottl
: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Markus Mottl        http://www.ocaml.info        markus.mo...@gmail.com

Re: [Caml-list] Escaped string in sexplib

2010-06-08 Thread Markus Mottl
is read back in. How can I do this? Appreciate any pointers. The I/O and parsing routines in the S-expression library should take care of escaped strings just fine. Btw., the escaping conventions are absolutely identical to the ones used by OCaml. Regards, Markus -- Markus Mottlhttp

Re: [Caml-list] Escaped string in sexplib

2010-06-08 Thread Markus Mottl
a Sexp.Atom or Sexp.List. It should only require a handful of lines to convert these to whatever other string representation you prefer. Writing a corresponding parser may be more effort. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] Re: Random segfaults / out of memory

2010-03-30 Thread Markus Mottl
function as noalloc, but later change the C-code in ways that breaks this property. The tiny extra performance may not be worth that risk. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list

Re: [Caml-list] Encoding an extensible parse tree and subtyping within OCaml

2010-03-03 Thread Markus Mottl
, these features of polymorphic variants are the best thing since sliced bread, since they allow for elegant extensibility of e.g. recursive DSLs. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing

Re: [Caml-list] Re: OCaml is broken

2009-12-20 Thread Markus Mottl
, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ 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

[Caml-list] ANN: Gaussian processes in OCaml

2009-11-23 Thread Markus Mottl
. The library and manual can be downloaded from here: http://www.ocaml.info/home/ocaml_sources.html#gpr A Godi package (gpr) is already available, too. Enjoy! Best regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] Core 0.6.0

2009-10-08 Thread Markus Mottl
system makes it virtually impossible to miss changes. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] Compiling OCaml under OS X 10.6

2009-09-02 Thread Markus Mottl
On Tue, Sep 1, 2009 at 12:32, John Whitingtonj...@coherentgraphics.co.uk wrote: Has anyone managed this? Bytecode seems fine, native not so. I haven't compiled it under 10.6, but FWIW my 64bit Godi installation of OCaml kept working just fine after the upgrade. Regards, Markus -- Markus Mottl

Re: [Caml-list] problem building godi-bin-prot on OS X

2009-05-17 Thread Markus Mottl
-xc $ARCH_FLAGS *) Unfortunately, I don't know how to productize such change. This problem is already fixed in my version and the one in Godi (1.2.14), but not the one distributed by Jane Street. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] problem building godi-bin-prot on OS X

2009-05-16 Thread Markus Mottl
. I cannot tell how long this will take since I'm not directly involved in the release process for this library itself, but I guess one might already start holding one's breath... Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] float array/record unboxing

2009-05-11 Thread Markus Mottl
to where this feature is documented? I don't think this is documented anywhere, since this is an implementation detail that (though unlikely) might even change in the future. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] Custom blocks and finalization

2009-05-08 Thread Markus Mottl
in this respect, because the explicit prohibition of using the local root (de)registration functions suggests that these operations are not guaranteed to be sound and that this might also extend to global roots. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] Custom blocks and finalization

2009-05-06 Thread Markus Mottl
, but maybe the OCaml team can clarify this issue more quickly? Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] Custom blocks and finalization

2009-05-01 Thread Markus Mottl
to be called after a collection in a table. Maybe something similar can be done for C-finalizers? Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http

[Caml-list] Custom blocks and finalization

2009-04-30 Thread Markus Mottl
). Registering the finalizer from within C during allocation rather than having to wrap up the value a second time with an OCaml-finalizer would seem much simpler. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com

Re: [Caml-list] Strange performance bug

2009-04-29 Thread Markus Mottl
setting would probably not solve performance bugs of the sort above anyway. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

Re: [Caml-list] Strange performance bug

2009-04-29 Thread Markus Mottl
-heap is large and you allocate regular expressions at very high rates. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

Re: [Caml-list] Strange performance bug

2009-04-28 Thread Markus Mottl
it in with label ~rex to solve this problem. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] caml trading

2009-03-16 Thread Markus Mottl
money by providing extra liquidity on financial markets. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml

Re: [Caml-list] typing problem with sexplib and mutually recursive polymorphic types

2009-03-11 Thread Markus Mottl
recursive way, you'd essentially end up with polymorphic recursion, which is undecidable. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] speeding up matrix multiplication (newbie question)

2009-02-20 Thread Markus Mottl
(probably 10x10). I guess you should be fine rolling your own implementation for such small matrices. Regards, Markus -- Markus Mottlhttp://www.ocaml.infomarkus.mo...@gmail.com ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] problem with LACAML and static linking

2009-01-28 Thread Markus Mottl
could do is to copy one of the static libraries to your build directory, remove the offending symbol using the ar command line tool, and then link the resulting library and the other one statically into your executable. Dirty, but what you're gonna do... Regards, Markus -- Markus Mottl

Re: [Caml-list] Heap implementations: Fibonacci, Brodal and relaxed

2009-01-12 Thread Markus Mottl
repository, where you can also look at individual files without downloading the archive, is here: http://hg.ocaml.info/release/pure-fun Note that leftist heaps are in chapter 3: http://hg.ocaml.info/release/pure-fun/file/tip/chp3.ml Regards, Markus -- Markus Mottlhttp

Re: [Caml-list] Issues with Sexplib (#1)

2008-12-02 Thread Markus Mottl
exactly all terminating programs extensionally, which would be very nice but is clearly impossible. Regards, Markus -- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] Issues with Sexplib (#2)

2008-12-02 Thread Markus Mottl
using it everywhere, hence the inevitability of every now and then running into problems... Thanks for the feedback! Regards, Markus -- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED] ___ Caml-list mailing list. Subscription

Re: [Caml-list] Re: Serialisation of PXP DTDs

2008-10-26 Thread Markus Mottl
, which does not diminish performance, would be to exchange protocol versions. Assuming that one side is always more recent than the other, they should be able to support old protocols directly. Regards, Markus -- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED

Re: [Caml-list] Re: Serialisation of PXP DTDs

2008-10-24 Thread Markus Mottl
be affected). Regards, Markus -- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list

Re: [Caml-list] Re: Serialisation of PXP DTDs

2008-10-23 Thread Markus Mottl
a little less storage space. Main problem here is actually that it doesn't support shared / cyclic datastructures. I don't think anybody would blame it for not being human-readable, because that's the nature of binary protocols ;-) Regards, Markus -- Markus Mottlhttp://www.ocaml.info

Re: [Caml-list] Re: Serialisation of PXP DTDs

2008-10-23 Thread Markus Mottl
, and there are no plans to change their representation. I think it is fair to say that both of them are reasonably future-safe. Regards, Markus -- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED] ___ Caml-list mailing list. Subscription

Re: [Caml-list] Re: Serialisation of PXP DTDs

2008-10-23 Thread Markus Mottl
-- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED] ___ 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

Re: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Markus Mottl
to work with newer releases of bin-prot. We will make a release within (probably) the next few weeks. In the meanwhile you might want to downgrade bin-prot to make it work with core. I'll add a patch to bin-prot to make it work on Macs in the meanwhile... Regards, Markus -- Markus Mottlhttp

Re: [Caml-list] Top-level with compiled libraries, Was: ANN OCaml Batteries Included

2008-10-12 Thread Markus Mottl
of the computation time is spent in external libraries written in Fortran or C. Regards, Markus -- Markus Mottlhttp://www.ocaml.info[EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo

Re: [Caml-list] ocamlnet and kernel poll

2008-09-24 Thread Markus Mottl
2008/9/24 Rich Neswold [EMAIL PROTECTED]: On Thu, Sep 11, 2008 at 11:31 AM, Markus Mottl [EMAIL PROTECTED] wrote: Look at our Core-library. It contains a module Bigstring, which provides many efficient I/O-functions for those. Look at bigstring_stubs.c, where you'll see how these functions

Re: [Caml-list] XML library for validating MathML

2008-09-18 Thread Markus Mottl
the adverb unnecessarily... ;-) Regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's

Re: [Caml-list] ocamlnet and kernel poll

2008-09-11 Thread Markus Mottl
, however, that select is usually more efficient for small (= tens) numbers of descriptors! Regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] ocamlnet and kernel poll

2008-09-11 Thread Markus Mottl
you can have many threads performing I/O-system calls simultaneously. Regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] Sexplib and types defined via constraint

2008-07-25 Thread Markus Mottl
why this bug went unspotted until now. An updated version is online already, including the Godi-package. Best regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] Sexplib and types defined via constraint

2008-07-25 Thread Markus Mottl
to happen in somewhat infrequent time intervals. Best regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] How to compile using sexplib?

2008-06-12 Thread Markus Mottl
quickly. Regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ 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

[Caml-list] Problem specializing types in signatures

2008-05-16 Thread Markus Mottl
= X include A with type t = x end Regards, Markus P.S.: A commentator on one of our blog articles also ran into a similar issue: http://ocaml.janestcapital.com/?q=node/26 -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list

Re: [Caml-list] Core has landed

2008-05-15 Thread Markus Mottl
this in the general case. Could anybody with access to a PPC platform please verify, whether this flag solved this compilation problem for the binary protocol library? Thanks! Regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list

Re: [Caml-list] Core has landed

2008-05-15 Thread Markus Mottl
On Thu, May 15, 2008 at 11:59 AM, Markus Mottl [EMAIL PROTECTED] wrote: It seems that this is related to the PPC architecture defaulting to unsigned as opposed to signed chars. I don't know what the best fix for this is. Maybe gcc 4.3.0 changes this default behavior. I guess that using

Re: [Caml-list] Core has landed

2008-05-04 Thread Markus Mottl
. this allows you to scale your applications to thousands of descriptors. Regards, Markus -- Markus Mottl http://www.ocaml.info [EMAIL PROTECTED] ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list