Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Richard Jones
t I would add that such a thing exists as the 'Std.dump' function in extlib. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria

Re: [Caml-list] What should the "size" in "caml_alloc_custom" be?

2010-05-20 Thread Richard Jones
ttp://oirase.annexia.org/libguestfs-1.3.13/ocaml/ Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: htt

Re: [Caml-list] Static exception analysis or alternative to using exceptions

2010-05-27 Thread Richard Jones
in all, this is not ideal for writing correct programs. Some sort of exception analysis would be most welcome. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-li

Re: [Caml-list] Soap client library?

2010-06-26 Thread Richard Jones
elp on the subject. I wish you luck with this. SOAP/WSDL is a crazy non standard, and the best thing to do is to add the bits you need to OC-SOAP to enable it to work against the particular service you want to use. Rich. -- Richard Jones Red Hat ___

Re: [Caml-list] adding a scripting language to an ocaml program

2010-07-06 Thread Richard Jones
e the values going between the Perl and the OCaml code, and detect errors at runtime (at compile time too in some circumstances). http://git.annexia.org/?p=perl4caml.git;a=blob;f=perl.mli;h=64d7904eb633bcc410f796d19e289bca49931bb5;hb=HEAD#l258 Your users might not thank you for this ... Ri

Re: [Caml-list] Distinguish between osx and linux programmatically

2010-07-08 Thread Richard Jones
X it prints: $ uname Darwin On all Linux distros it prints: $ uname Linux Of course, only run external "uname" if Sys.os_type = "Unix". Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://

Re: [Caml-list] Distinguish between osx and linux programmatically

2010-07-08 Thread Richard Jones
On Thu, Jul 08, 2010 at 01:09:41PM +0200, Daniel Bünzli wrote: > On Thu, Jul 8, 2010 at 12:23 PM, Richard Jones wrote: > > > How about running the external "uname" program. > > Yes, why not. I was hoping that I wouldn't have to resort to that kind > of hacks,

Re: [Caml-list] Distinguish between osx and linux programmatically

2010-07-08 Thread Richard Jones
On Thu, Jul 08, 2010 at 10:42:40AM -0500, Romain Beauxis wrote: > Le jeudi 8 juillet 2010 06:44:34, Richard Jones a écrit : > > Stdlib could bind the uname(2) syscall, but it's legendary in its > > complexity. Seems more likely to cause problems than just calling out > &g

Re: [Caml-list] scalable web apps

2010-07-25 Thread Richard Jones
use, what to cache, optimizing HTML. Here are a couple I like: http://www.amazon.com/Building-Scalable-Web-Sites-Applications/dp/0596102356 http://www.amazon.com/Speed-Up-Your-Site-Optimization/dp/toc/0735713243 Rich. -- Richard Jones Red Hat ___ Caml

Re: [Caml-list] scalable web apps

2010-07-26 Thread Richard Jones
On Sun, Jul 25, 2010 at 10:56:22PM +0100, Joel Reymont wrote: > How does Ocsigen handle database operations? I thought it was using PG'OCaml, but maybe I'm wrong. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscripti

Re: [Caml-list] GC hangs application

2010-08-11 Thread Richard Jones
one potential solution to this. > I'm using OCaml 3.11 on Fedora 12. There are no specific issues with OCaml in Fedora 12 that I know of. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria

Re: [Caml-list] More re GC hanging

2010-08-20 Thread Richard Jones
0 > /proc/sys/kernel/randomize_va_space > but first learn more about it. > > I believe recent Ocaml versions (did you try 3.12?) have GC improvements > for that. Would that be: https://bugzilla.redhat.com/show_bug.cgi?id=445545 (fixed in OCaml 3.11)? Rich. -- Richard Jones Red H

Re: [Caml-list] Tracking memory usage: GC output not same order as unix top command

2010-08-30 Thread Richard Jones
escapes me at the moment. Rich. -- Richard Jones Red Hat ___ 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/ocaml_beginn

Re: [Caml-list] Tracking memory usage: GC output not same order as unix top command

2010-08-30 Thread Richard Jones
On Mon, Aug 30, 2010 at 11:02:52AM +0100, Richard Jones wrote: > On Mon, Aug 30, 2010 at 10:43:42AM +0100, Hugo Ferreira wrote: > > The output > > shows memory usage below the 100M mark, however the unix command > > "top" shows usage in the order of Gigabytes

Re: [Caml-list] Tracking memory usage: GC output not same order as unix top command

2010-08-30 Thread Richard Jones
t;, $sum, $sum/1024/1024); print " segments:\n"; foreach (@recs) { printf ("%x-%x (%d bytes %.1f MB) %s %d\n", $_->{start}, $_->{end}, $_->{size}, $_->{size}/1024/1024, $_->{perms}, $_->{offset}); } } }

Re: [Caml-list] SOAP

2010-09-05 Thread Richard Jones
: Merjis' looks outdated. Well, Merjis's library needs some love, but it could be brought up to date given some time and effort. If you want to access Adwords API from OCaml I think this is your best (in fact, only) choice. Rich. -- Richard Jones Red Hat _

[Caml-list] Re: ancient module

2010-09-14 Thread Richard Jones
the same way. They are always compared using pointer equality, so there's no issue. I've only used ancient to store simple arrays, and when we needed to do string equality I remember writing a function which was aware of the above issue (you can compare t

Re: [Caml-list] Re: ancient module

2010-09-14 Thread Richard Jones
On Tue, Sep 14, 2010 at 09:46:24PM +0100, Richard Jones wrote: > I've only used ancient to store simple arrays, and when we needed to > do string equality I remember writing a function which was aware of > the above issue (you can compare them byte for byte just fine, even >

Re: [Caml-list] web server interface for Ocaml ( like rack, wsgi, ...)?

2010-09-19 Thread Richard Jones
offer both a concurrent/asynchronous and a direct-style > interface. Maybe I'm missing the point, but what's wrong with simply proxying the HTTP connections through your favorite webserver to the backend ocsigen/ocamlnet server? Rich. -- Richard Jones Red Hat ___

Re: [Caml-list] web server interface for Ocaml ( like rack, wsgi, ...)?

2010-09-21 Thread Richard Jones
em is you'll be wanting to parse parameters, cookies and the rest of it, and there it does get a little bit more complicated. I'm fairly sure ocamlnet can write standalone scripts like that? Gerd?? Rich. -- Richard Jones Red Hat ___ Caml-list ma

[Caml-list] Bans in #ocaml IRC channel

2010-10-05 Thread Richard Jones
(and the others). 18:03 < rwmjones> [I said something here] 18:03 -!- #ocaml Cannot send to channel Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives:

Re: [Caml-list] Bans in #ocaml IRC channel

2010-10-05 Thread Richard Jones
On Tue, Oct 05, 2010 at 06:54:21PM +0100, Gareth Smith wrote: > On 05/10/10 18:06, Richard Jones wrote: > > [I'm sorry this isn't really the right place to bring this up, but > > since I can't communicate on IRC, there wasn't much alternative] > > >

Re: [Caml-list] OPLP: Ocaml APache Log Parser

2010-10-13 Thread Richard Jones
bug reports are very > welcome. The code lives on github (http://github.com/cyocum/OPLP). These projects are not maintained any more but may be of interest: http://merjis.com/developers/weblogs http://merjis.com/developers/hostip Rich. -- Richard Jones Red Hat __

Re: [Caml-list] Asynchronous IO programming in OCaml

2010-10-25 Thread Richard Jones
want to consider your whole architecture. Putting nginx or a very cut-down Apache on the front and memcached between the webserver and the database. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yqu

Re: [Caml-list] type inference problem with Printf.sprintf ?

2010-10-27 Thread Richard Jones
internationally standardized format for dates: # Printer.Calendar.print "%F %T\n" (Calendar.now ()) ;; 2010-10-27 11:28:59 - : unit = () http://en.wikipedia.org/wiki/ISO_8601 Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscrip

Re: [Caml-list] How does OCaml update references when values are moved by the GC?

2010-11-03 Thread Richard Jones
reading the C code of the garbage collector and sometimes the generated assembler from ocamlopt -S. It's pretty straightforward to follow. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria

Re: [Caml-list] Re: Is OCaml fast?

2010-11-23 Thread Richard Jones
ng for modern processors. I bet the C programs are doing this, except that it won't obviously be called "tuning the GC" although it amounts to precisely the same thing. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subsc

Re: [Caml-list] Desktop GUI toolkits - current state of the art?

2010-11-26 Thread Richard Jones
syntax, how about starting a project to do something similar on top of lablgtk2? I for one would welcome this since my current project uses lablgtk2 and Gtk is a pain in the rear. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. S

Re: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT)

2010-12-06 Thread Richard Jones
case (pointers to handles) so it's not really useful for this. I do agree with the rest of your points though, and it's good to have intelligent discussion of the real issues at long last. Rich. -- Richard Jones Red Hat ___ Caml-list mai

Re: [Caml-list] The closing gap (warning: long, inflammatory rant)

2008-04-21 Thread Richard Jones
On Mon, Apr 21, 2008 at 03:44:08PM +0100, Jon Harrop wrote: > On Monday 21 April 2008 14:11:51 Richard Jones wrote: > > Your threaded code is going to look really stupid when you have NUMA > > machines with dozens of cores. Why are we optimizing for a case (SMP) > > which wi

Re: [Caml-list] The closing gap (warning: long, inflammatory rant)

2008-04-21 Thread Richard Jones
On Mon, Apr 21, 2008 at 06:26:54PM +0200, Elliott Oti wrote: > Richard Jones wrote: > >OCaml supports fork, event channels & shared memory right now > >(and has done for years) so there is no penalty to writing it > >properly. > > > Not on Win32. I use Sola

Re: [Caml-list] [OSR] Standard syntax extensions ?

2008-04-25 Thread Richard Jones
-- test.ml open Printf let () = let xs = List.filter (matches 7) [ 1; 2; 3; 4; 5; 6; 7; 7; 7; 8; 9; 10 ] in printf "result = %s\n" (String.concat ";" (List.map string_of_int xs))

Re: [Caml-list] [OSR] Standard syntax extensions ?

2008-04-25 Thread Richard Jones
ded > in the compiler and used for the .cmo/.cmi/.cmxa files. Why? Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr

[Caml-list] ANNOUNCE: pa_bitmatch 0.5

2008-04-25 Thread Richard Jones
t { ... } around all fields. Sorry, this breaks the syntax, but (a) it makes it much easier to use the extension with common editors, and (b) it's a very simple mechanical change to existing code. I'll try not to change the syntax again if

[Caml-list] Two camlp4 questions

2008-04-25 Thread Richard Jones
x27;d want to generate this code instead to avoid the warning: <:expr< match $someexpr$ with $mypatt$ -> $code$ >> I hacked around it a little with this function: let pattern_is_exhaustive = function | <:patt< $lid:_$ >> -> true | _ -> false but I guess yo

Re: [Caml-list] Two camlp4 questions

2008-04-25 Thread Richard Jones
nks. In this case I don't want the exhaustiveness checks at all so this works out fine for me. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: ht

Re: [Caml-list] [OSR] Standard syntax extensions ?

2008-04-25 Thread Richard Jones
the type system is the main point of OCaml which is why it changes so much. Anyway we already have (safe) meta-tools. We don't need ones which hack away at internal representations, even if that is a common development model for Java class files.

Re: [Caml-list] [OSR] Standard syntax extensions ?

2008-04-26 Thread Richard Jones
#x27;. However I'm not sure why you don't just use 'List.mem', or even: let mem = List.mem ;; mem 1 [1;2;3] Did I miss something about how the Python syntax works? Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subsc

Re: [Caml-list] marshalling objects

2008-04-26 Thread Richard Jones
ccomplish? Rich. -- Richard Jones Red Hat ___ 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/ocaml_beginners Bug

Re: [Caml-list] Two camlp4 questions

2008-04-26 Thread Richard Jones
gt; match mypatt with > > | <:patt< _ >> -> ... > > > > seems like it matches any pattern. > > I don't think so, it's supposed to match only the wildcard pattern. > > Proof: > $ camlp4oof -str 'match x with <:patt< _ >&g

[Caml-list] Cross-module data in camlp4

2008-04-27 Thread Richard Jones
ile (*.cmo). It would be easy enough to marshal the AST into a string at the point of definition. I don't quite see how it can be accessed & unmarshalled at the point of use however. Any insights here gratefully accepted! Rich. -- Richard Jones Red Hat ___

Re: [Caml-list] GODI News: The library browser

2008-04-27 Thread Richard Jones
ocs/godilib/3.10 Nice .. Does GODI track package popularity, like Debian's popcon? Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://

Re: [Caml-list] [OSR] Standard syntax extensions ?

2008-05-01 Thread Richard Jones
For the record, here's a better version by bluestorm: http://bluestorm.info/camlp4/pa_matches.ml.html Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml

[Caml-list] Should a /\ operator be possible?

2008-05-01 Thread Richard Jones
8: Illegal character (\\) Rich. -- Richard Jones Red Hat ___ 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/ocaml_be

Re: [Caml-list] Should a /\ operator be possible?

2008-05-01 Thread Richard Jones
On Thu, May 01, 2008 at 08:41:49PM +0100, Richard Jones wrote: > let ( /\ ) (a1, a2) (b1, b2) = a2 > b1 || b2 > a1 I've just reread the Lexical conventions section in the manual. For some reason when I read it first I thought it said that '\' was allowed, but in fact

Re: [Caml-list] camlp4 and quotations for c#: Two parsers needed?

2008-05-01 Thread Richard Jones
Is it possible to share a parser this way or do I need a special > parser for quotations and another parser to read C# files? You might want to look at the implementation of PG'OCaml. It passes SQL statements off to the database for parsing. Rich. --

Re: [Caml-list] Should a /\ operator be possible?

2008-05-02 Thread Richard Jones
this in OCaml already: http://camomile.sourceforge.net/dochtml-0.6/UCharInfo.html Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml

Re: [Caml-list] Core has landed

2008-05-03 Thread Richard Jones
edhat.com/showdependencytree.cgi?id=445074 It would be nice to have bin-prot working on all architectures ... Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml

Re: [Caml-list] Core has landed

2008-05-03 Thread Richard Jones
On Fri, May 02, 2008 at 05:39:41PM -0400, Yaron Minsky wrote: > along with three other libraries that you will need to use along with > it: type-conv, sexplib and bin-prot. I should add that the full list of deps includes also RES and oUnit. Rich. -- Richard Jones R

Re: [Caml-list] Core has landed

2008-05-03 Thread Richard Jones
Unicode library for OCaml, called Camomile. http://camomile.sourceforge.net/ It's been around for ages & works just fine. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] Core has landed

2008-05-03 Thread Richard Jones
having the corresponding changes in Camomile is dangerous - the two cannot then be used at the same time. This is really a problem with extlib, it just shouldn't be distributing this module. In any case, why don't you just use Camomile? Rich. -- Richard Jones Red Hat

Re: [Caml-list] Core has landed

2008-05-03 Thread Richard Jones
On Sat, May 03, 2008 at 11:14:12AM +0200, Berke Durak wrote: > On Sat, May 3, 2008 at 11:08 AM, Richard Jones <[EMAIL PROTECTED]> wrote: >> In any case, why don't you just use Camomile? > I needed UTF and I was already using ExtLib. But it's the same module > anyw

Re: [Caml-list] Core has landed

2008-05-03 Thread Richard Jones
ifdef __linux__ in the code and it's obvious there's a lot of Linux-specific work being done -- eg. bindings for non-standard Linux system calls. So there you go - it's open source, you can port it to Windows! Rich. -- Richard Jones Red Hat

[Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails

2008-05-07 Thread Richard Jones
. There's some evidence this may be a Fedora-specific problem, maybe some problem in the kernel or glibc or how we build OCaml, however I have no real idea so I'm wondering if anyone can try reproducing it. Rich. [1] https://bugzilla.redhat.com/show_bug.cgi?id=445545 -- Richard Jones Re

Re: [Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails

2008-05-07 Thread Richard Jones
are using includes this patch. I'd still like to know if anyone can reproduce this case. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: htt

Re: [Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails

2008-05-07 Thread Richard Jones
On Wed, May 07, 2008 at 02:46:49PM -0400, Markus Mottl wrote: > On Wed, May 7, 2008 at 2:34 PM, Richard Jones <[EMAIL PROTECTED]> wrote: > > Also I checked the source to our caml_aligned_mmap function and it is > > essentially the same as Markus Mottl's version in his c

Re: [Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails

2008-05-08 Thread Richard Jones
On Wed, May 07, 2008 at 03:24:07PM -0400, Markus Mottl wrote: > On Wed, May 7, 2008 at 2:49 PM, Richard Jones <[EMAIL PROTECTED]> wrote: > > OK, but is there any case where ocamlc.opt should try to allocate > > 34 _gigabytes_ (in the 2nd [length] param of mmap(2)). >

Re: [Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails

2008-05-08 Thread Richard Jones
no idea how to solve this, certainly it seems there is no simple fix ... (I tried to set vm.overcommit_memory policy, but that doesn't work because the page table is initialized right after allocation). Rich. -- Richard Jones Red Hat ___ Ca

Re: [Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails

2008-05-08 Thread Richard Jones
On Thu, May 08, 2008 at 09:40:12AM -0400, Markus Mottl wrote: > On Thu, May 8, 2008 at 6:14 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > > Growing heap to 4320k bytes > > Growing page table to 34359705221 entries > > No room for growing page table >

Re: [Caml-list] Re: Why OCaml sucks

2008-05-09 Thread Richard Jones
the whole thing was tiny, I think a UTF-8-sensitive string truncation function, and a little bit of collation (mostly handled by the database, but could easily have been done using Camomile). My conclusion: UTF-8 is easy. Rich. -- Richard Jones Red Hat __

Re: [Caml-list] OCaml 3.10.2 on Tru64

2008-05-09 Thread Richard Jones
use OCaml 3.11 from CVS. Rich. -- Richard Jones Red Hat ___ 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/gro

Re: [Caml-list] Re: Why OCaml sucks

2008-05-09 Thread Richard Jones
On Fri, May 09, 2008 at 09:10:12AM +0100, Jon Harrop wrote: > On Friday 09 May 2008 08:45:09 Richard Jones wrote: > > > 1. Lack of Parallelism: Yes, this is already a complete show stopper. > > > > Why can't you just fork off enough processes to cover each core? >

[Caml-list] camlp4 - can you customize the lexer?

2008-05-09 Thread Richard Jones
The Camlp4 wiki contains an intriguing line "Connecting your own Lexer.", but no link or information. I want to modify the OCaml lexer to add a syntax for integer literals of my own type. Can this be done? How? Rich. -- Richard Jon

Re: [Caml-list] Re: Why OCaml rocks

2008-05-09 Thread Richard Jones
t > extern.c currently does could speed > things up. At the risk of sounding like a broken record ... OR you could use Ancient which does the above, right. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: htt

Re: [Caml-list] Re: Why OCaml rocks

2008-05-09 Thread Richard Jones
s of the F# license would prevent them from fixing it themselves (unlike if they'd decided to go with an open source solution). Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/ma

Re: [Caml-list] Re: Why OCaml rocks

2008-05-10 Thread Richard Jones
n ancient value in the heap so > that it can be used normally Should you want to copy a value back to the heap (almost always unnecessary), you can just copy it like you would any other value. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list.

Re: [Caml-list] OCaml 3.10.2 on Tru64

2008-05-10 Thread Richard Jones
ru64 supports some equivalent of 'strace', but you could try stracing the failing process to see why it's really failing. (eg. stack? heap?) Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yq

Re: [Caml-list] Re: Why OCaml rocks

2008-05-10 Thread Richard Jones
anywhere else in the program. You can pass them to functions, print them out, add them up, do whatever else you would normally do, with very few restrictions. The differences are: - the polymorphic primitives don't work (so you can't compare or hash them) - they don't get g

[Caml-list] Re: Ancient, concurrency, etc.

2008-05-10 Thread Richard Jones
On Sat, May 10, 2008 at 11:09:04AM +0200, Berke Durak wrote: > On Sat, May 10, 2008 at 10:51 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > 'Deep copying' of ancient data can be done just like deep copying any > > other OCaml value. > > As in: it can't be

Re: [Caml-list] Re: Ancient, concurrency, etc.

2008-05-11 Thread Richard Jones
nmarshal something with the wrong type). Rich. -- Richard Jones Red Hat ___ 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.

Re: [Caml-list] ocamlc freezes

2008-05-12 Thread Richard Jones
#x27;a foo_typ option; get_right_sibling : node option > is not compatible with type < get_left_sibling : 'a foo_typ option; get_right_sibling : node option > Types for method get_left_sibling are incompatible Rich. -- Richard Jones Red Hat _

Re: [Caml-list] Re: Why OCaml rocks

2008-05-12 Thread Richard Jones
ame : Intel(R) Core(TM)2 Quad CPU Q9450 @ 2.66GHz [1] Creation of the result matrix and copying it to shared memory is almost instantaneous in my tests. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem

[Caml-list] Re: [Ocaml-lib-devel] ExtLib/Camomile UTF8

2008-05-14 Thread Richard Jones
On Mon, May 05, 2008 at 11:55:08AM +0200, Berke Durak wrote: > As it's actually a patch against Camomile, (at the time I didn't know at the > time that UTF8 was taken from Camomile), > Richard Jones suggested that this is where the patch should go. Yup, I think this should go

Re: [Caml-list] Core has landed

2008-05-15 Thread Richard Jones
On Sat, May 03, 2008 at 06:56:44AM -0400, Yaron Minsky wrote: > On Sat, May 3, 2008 at 4:19 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > > It would be nice to have bin-prot working on all architectures ... > We're happy to receive bug reports My mail's been al

Re: [Caml-list] Core has landed

2008-05-15 Thread Richard Jones
I'll try a build on the main build servers tomorrow & see if this flag fixes it. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http:

Re: [Caml-list] Core has landed

2008-05-16 Thread Richard Jones
On Thu, May 15, 2008 at 08:06:08PM +0100, Richard Jones wrote: > On Thu, May 15, 2008 at 12:03:43PM -0400, Markus Mottl wrote: > > Oops, typo. The compilation flag in question is called > > "-fno-unsigned-char". > > Yes, unfortunately our dev ppc64 machine has b

Re: [Caml-list] Fedora Core 9

2008-05-16 Thread Richard Jones
On Fri, May 16, 2008 at 11:11:33AM +0100, Richard Jones wrote: > Is there a reason why you're compiling OCaml from source? F9 ships > with OCaml 3.10.2 and over 50 OCaml packages, in the standard release. Erm, I mean 3.10.1 in Fedora 9, of course. You can get 3.10.

Re: [Caml-list] Fedora Core 9

2008-05-16 Thread Richard Jones
Is there a reason why you're compiling OCaml from source? F9 ships with OCaml 3.10.2 and over 50 OCaml packages, in the standard release. yum install ocaml It also contains a fix for the large pagetable problem, for x86-64. Rich. -- Richard

Re: [Caml-list] Fedora Core 9

2008-05-16 Thread Richard Jones
> what most of the people in the bug-fix notes reported. These don't fix the problem on Fedora. The fix needs a patch to the OCaml compiler. The details are here, but as emphasized above, please use the Fedora packages, don't build stuff by hand. https://

Re: [Caml-list] Fedora Core 9

2008-05-16 Thread Richard Jones
ill the same problem. At > this point I think my original tests with ocaml 3.10.1 and 3.10.2 still > hold I believe. That is, the memory bug is still essentially unresolved > and I have to use 3.11 (at least on this particular machine > configuration). Unfortunately I've got to go out

[Caml-list] ANNOUNCE: bitmatch 1.0

2008-05-18 Thread Richard Jones
;path=/lib/ Bitmatch is available under the GNU LGPL version 2 or later with the usual OCaml linking exception. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml

Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

2008-05-19 Thread Richard Jones
is reason, and programs which use the library sometimes use the locks, although mostly they aren't needed. Rich. [1] Google it ... another contribution to the world of lightweight non-preemptable threading libs. -- Richard Jones Red Hat ___ Cam

Re: [Caml-list] picking / marshaling to strings in ocaml-revision-stable way

2008-06-02 Thread Richard Jones
.free.fr/json-wheel.html http://code.google.com/p/deriving/ and I guess maybe even: http://code.google.com/p/bitmatch/ if you wanted a way to generate and parse a stable binary format. Rich. -- Richard Jones Red Hat ___ Caml-list mailing list.

[Caml-list] Release date for 3.11?

2008-06-03 Thread Richard Jones
I'm sure the answer will be 'when it's ready', but is there a release date (month / year / ...) for 3.11 or release candidates of 3.11? Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yq

Re: [Caml-list] Release date for 3.11?

2008-06-04 Thread Richard Jones
ided no show-stopping problems > show up by then. If we wanted to follow CVS more closely, eg. in our development version, should we follow CVS head or are there other branches or tags that we should look at? I notice someone mentioned a "ocaml311+dev"(?) tag, but I can't find an

[Caml-list] ocamlopt generates binaries with executable stacks

2008-06-09 Thread Richard Jones
this patch affects every assembly target, far more than I could possibly test. Could people using OCaml on non-Linux platforms have a look at the patch, or even test it for me? Thanks, Rich. -- Richard Jones Red Hat ___ Caml-list mailing list

Re: [Caml-list] optimization of sequence of List.map and inlining

2008-06-10 Thread Richard Jones
hift operators in thousands of lines of code, then had to convert them back again: << and >> aren't a good choice for operator name because they clash with the quotation system in camlp4. So the original poster might want to choose another name if they&

Re: [Caml-list] ocamlopt, .cmxa and "not a compilation unit description" error Options

2008-06-10 Thread Richard Jones
On Tue, Jun 10, 2008 at 08:15:13PM +0200, Charles Hymans wrote: > I'd like to generate a library from a file that uses the nums library > (in a way such that the final user of my library does not have to > specify that nums is necessary). Don't fight it, use findlib! Rich. --

[Caml-list] ANNOUNCE: Bitmatch 1.9 released

2008-06-13 Thread Richard Jones
.openfile "/dev/sda1" in let bits = Bitmatch.bitstring_of_file_descr_max fd 4096 in bitmatch bits with | { :ext3_super_block } -> printf "free blocks = %ld\n" s_free_blocks_count | { _ } -> printf "/dev

Re: [Caml-list] ANN: patterns v0.4

2008-06-20 Thread Richard Jones
Jambon's > "Micmatch", which is along the same lines as active patterns: > > http://martin.jambon.free.fr/micmatch-manual.html#htoc10 Is anyone working on upgrading micmatch to 3.10? Rich. -- Richard Jones Red Hat _

Re: [Caml-list] A question about the ocaml man page

2008-06-20 Thread Richard Jones
laughs :-) camlp4 is ... how shall I put this ... very very powerful, but also only 'lightly' documented. The situation has slightly improved with the camlp4 wiki (http://brion.inria.fr/gallium/index.php/Camlp4) but one could write a book about camlp4, and I wish someone would. R

Re: [Caml-list] Strange behaviour of string_of_float

2008-06-22 Thread Richard Jones
ximate base 2 representation of the transcendental number pi). You might want to read a presentation called "What every computer programmer should know about floating point arithmetic". There's a PDF version here: http://blogs.sun.com/darcy/resource/Wecpskafpa-ACCU.pdf Rich.

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Richard Jones
w rare) 32 bit platforms. It is necessary for virt-df because we want ints which can comfortably hold the size (in bytes / sectors / blocks / etc) of a block device. You don't really need a 64 bit int for this, but you do need something which is

Re: [Caml-list] Custom lexer in Camlp4

2008-06-25 Thread Richard Jones
es, when can I use it :-) Rich. -- Richard Jones Red Hat ___ 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/oc

Re: [Caml-list] deriving Show with type-conf

2008-06-28 Thread Richard Jones
sing bug. Fix the bug in deriving?? Rich. -- Richard Jones Red Hat ___ 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/

Re: [Caml-list] CamlP4 lexer problem

2008-06-30 Thread Richard Jones
On Mon, Jun 30, 2008 at 08:46:57PM +0300, dream.designer wrote: > # ([% 5 %]) ;; > Characters 6-9: > ([% 5 %]);; > ^^^ > Parse error: [expr level simple] expected after "[%" (in [expr]) Is it not just the case that the scanner thinks %]) is a single token? Ric

[Caml-list] META file for bitmatch

2008-07-05 Thread Richard Jones
a good thing or not. Rich. -- Richard Jones Red Hat ___ 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/ocaml_b

Re: [Caml-list] Newbie question: OCaml equivalent of Haskell's show?

2008-07-06 Thread Richard Jones
retty- printer for your types, then you'll want to look at one of the following projects (and probably others ...) http://www.ocaml.info/home/ocaml_sources.html http://code.google.com/p/deriving/ http://tools.assembla.com/tywith/wiki Another alternative is to run your code in the OCaml top

Re: [Caml-list] Ocaml and lablgtk interface committed or not?

2008-07-07 Thread Richard Jones
ode to compile with multiple versions of lablgtk2. For this reason, Fedora freezes OCaml & lablgtk versions every six months and avoids upgrading them in old releases. We wouldn't upgrade them unless there was some absolutely unavoidable security problem or similar emergency. Rich

Re: [Caml-list] thousands of CPU cores

2008-07-10 Thread Richard Jones
l is already ~8x slower than F# on today's eight core desktops. You don't half talk a load of nonsense. MPI OCaml programs on 8 cores are just as fast, _and_ crucially can scale over clusters and to future multicore machines. Rich. -- Richard Jones Red Hat __

  1   2   3   4   >