Re: [Caml-list] OCaml and Boehm

2009-04-13 Thread Xavier Leroy
Is the OCaml runtime Boehm-safe? That is, can it be run with Boehm turned on and traversing OCaml's heap? (So that the OCaml heap can provide roots to Boehm.) I conjecture the answer is yes, although it's hard to tell for sure without a precise specification of what is/is not OK with the

Re: [Caml-list] Camlp4 help

2009-04-13 Thread Andre Nathan
On Sun, 2009-04-12 at 21:05 -0300, Andre Nathan wrote: If I simplify the rule above to forall; (; gen = expr; ); var = ipatt; .; e1 = expr; impl = OPT =; e2 = OPT expr - then everything after the dot is bound to e1, even when there's a =. For the archives, this happens because = is a

Re: [Caml-list] Re: How to achieve this camlp4 syntax extension

2009-04-13 Thread Christophe TROESTLER
On 4/2/2009 1:42 PM, Conglun Yao wrote: Different kinds of error happened, when trying to use it. Even the ordinary expression:  List.length [1; 2;3 ],  failed.  'List' is parsed as module_longident, try to match the rule I defined. Not sure whether you are still looking for a solution to

[Caml-list] [ANN]Amthing - a multi-threaded GUI library

2009-04-13 Thread Satoshi Ogasawara
Hello list, I'm please to announce the first public release of Amthing, a multi-threaded GUI library for OCaml. Features are: - Multi-threaded design using Concurrent ML style message passing. - Time-line animation and functional reactive sprite system. - X11 Binding. - 2D vector rendering by