[Caml-list] Decent Java parser written in Ocml?

2008-10-17 Thread Sung Kim
Hi All, Currently I'm looking for a Java parser. Is there anyone aware of a decent Java source code parser written in Ocaml? Thanks in advance, Sung Kim ___ Caml-list mailing list. Subscription management:

re: [Caml-list] Decent Java parser written in Ocml?

2008-10-17 Thread Robert Pickering
There's the Fjavac: a functional Java compiler: http://www.cis.upenn.edu/~stevez/stse-work/javac/index.html I know it's not exactly what you're looking for but I maybe you can make use of just the parsing modules? Cheers,Rob From: Sung Kim [EMAIL

[Caml-list] .annot files in 3.11

2008-10-17 Thread David Allsopp
Has anyone else found that ocamlopt in 3.11 seems to ignore the -dtypes option? ocamlc creates .annot files as normal when passed -dtypes. Are bug reports for the 3.11 wanted in 3.11+dev? David ___ Caml-list mailing list. Subscription management:

[Caml-list] ocamlopt performance in 3.11

2008-10-17 Thread David Allsopp
Pleased to say that I've got my 3 current projects compiled and running under 3.11+beta1 Unfortunately for one of the projects, its reference run (a computationally intensive, repeatable operation the speed of which interests me) has gone from repeatedly taking ~38 seconds in 3.10.2 to ~46

[Caml-list] Camlp4 generate more than one (compiled) files?

2008-10-17 Thread Conglun Yao
Dear all, I'm just wondering is it possible to use camlp4 to generate more than one compiled files. Normally, camlp4 preprocesses a file and then pass it directly to compiler (for *.cmo), or its pretty-printer (for *.ml or other 'plain' file). In my case, I want to extend the syntax, and write

Re: [Caml-list] Quantifier in the type

2008-10-17 Thread Dawid Toton
Hope this helps, Exactly what I wanted to know! Thanks! Dawid ___ 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] Camlp4 generate more than one (compiled) files?

2008-10-17 Thread Richard Jones
On Fri, Oct 17, 2008 at 12:15:08PM +0100, Conglun Yao wrote: I'm just wondering is it possible to use camlp4 to generate more than one compiled files. Normally, camlp4 preprocesses a file and then pass it directly to compiler (for *.cmo), or its pretty-printer (for *.ml or other 'plain'

Re: [Caml-list] ocamlopt performance in 3.11

2008-10-17 Thread Andres Varon
On Oct 17, 2008, at 5:59 AM, David Allsopp wrote: Pleased to say that I've got my 3 current projects compiled and running under 3.11+beta1 Unfortunately for one of the projects, its reference run (a computationally intensive, repeatable operation the speed of which interests me) has gone

Re: [Caml-list] Camlp4 generate more than one (compiled) files?

2008-10-17 Thread Conglun Yao
Rich, Thanks for your reply. What you mentioned in your blog: In fact saving the AST into the cmo file is relatively simple: we just turn it into a string (using Marshal) and write out the string as a camlp4 substitution: let bitmatch ext2sb = { ... } becomes: let ext2sb = string containing

[Caml-list] ocaml 3.11 and lablgtk2

2008-10-17 Thread Jaap Boender
Hi, (Not sure where to report this, so I'm putting it on the list first...) Since installing the 3.11 beta, I can't run lablgtk2 programs anymore (they worked with 3.10). I start them, and then nothing happens, the process has to be killed with a KILL or ^C. ps shows the process as being

Re: [Caml-list] ocaml 3.11 and lablgtk2

2008-10-17 Thread Jacques Garrigue
From: Jaap Boender [EMAIL PROTECTED] (Not sure where to report this, so I'm putting it on the list first...) Since installing the 3.11 beta, I can't run lablgtk2 programs anymore (they worked with 3.10). I start them, and then nothing happens, the process has to be killed with a KILL or

[Caml-list] Camelia progress

2008-10-17 Thread Kuba Ober
Here's the update from the trenches: I'm about 75% done porting Camelia code to Qt4, the editor-related parts took longer than anticipated since a lot of code had to change due to the arguably better way that Qt4 handles text editing. The code shrinks quite a bit in the process (20% or so, per the

Re: [Caml-list] Camelia progress

2008-10-17 Thread David Teller
A notion of projects would be nice, which would give the ability to save/load multiple files. And slight thanks for your work, David :) On Fri, 2008-10-17 at 09:55 -0400, Kuba Ober wrote: The upcoming version will be 2.0, and I hope to add some features to it before it's final. I'm sure of

[Caml-list] Re: Camelia progress

2008-10-17 Thread Sylvain Le Gall
Hello, On 17-10-2008, Kuba Ober [EMAIL PROTECTED] wrote: I'm in the process of getting admin rights to the sourceforge project and setting up an SVN repository for the code. What about migrating it to forge.ocamlcore.org ? It seems to be a project 100% related to OCaml, so I think you will

RE: [Caml-list] Dynamic loading on Mac OS X

2008-10-17 Thread Harrison, John R
| See this post on beginner's list: | http://tech.groups.yahoo.com/group/ocaml_beginners/message/6905 Thanks, that almost certainly explains it: dynamic loading for Intel Macs started working in 3.10, though it worked earlier on PPC. John. ___

Re: [Caml-list] .annot files in 3.11

2008-10-17 Thread Daniel Bünzli
Le 17 oct. 08 à 11:25, David Allsopp a écrit : Has anyone else found that ocamlopt in 3.11 seems to ignore the - dtypes option? ocamlc creates .annot files as normal when passed -dtypes. According to the release notes -annot should now be used. However there's no annot tag for ocamlbuild