[Caml-list] Decent Java parser written in Ocml?
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: 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
re: [Caml-list] Decent Java parser written in Ocml?
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 PROTECTED] Sent: 16 October 2008 18:20 To: caml-list@yquem.inria.fr Subject: [Caml-list] Decent Java parser written in Ocml? 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: 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 ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] .annot files in 3.11
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: 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
[Caml-list] ocamlopt performance in 3.11
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 seconds in 3.11.0+beta1. The other two projects don't have as easy a way for me to calibrate speed (they spend most of their time blocked on I/O anyway!). Has anything apart from the linker changed much in the 3.11 code generator and has anyone else noticed a performance drop in any other programs? David (Machine setup: Windows XP SP3 + MinGW/gcc 3.4.4 running on an Intel Core Duo T7200 @ 2GHz with 2GB RAM) ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Camlp4 generate more than one (compiled) files?
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 a file, then preprocess (camlp4) it to generate two different *.cmo files, each one could be executed separately. Is it possible? Thanks, Conglun ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Quantifier in the type
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: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Camlp4 generate more than one (compiled) files?
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' file). In my case, I want to extend the syntax, and write a file, then preprocess (camlp4) it to generate two different *.cmo files, each one could be executed separately. Is it possible? Camlp4 extensions can open and write files normally. However it doesn't have access to crucial details of the 'OCaml environment' such as the current search path for libraries, which means that it usually cannot do anything sensible. For example, I wanted to load another module/library from a camlp4 extension - but that sort of thing isn't possible as far as I can tell. I wrote a bit more about this issue here: http://camltastic.blogspot.com/2008/05/persistent-matches-in-pabitmatch.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.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] ocamlopt performance in 3.11
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 from repeatedly taking ~38 seconds in 3.10.2 to ~46 seconds in 3.11.0+beta1. The other two projects don't have as easy a way for me to calibrate speed (they spend most of their time blocked on I/O anyway!). Has anything apart from the linker changed much in the 3.11 code generator and has anyone else noticed a performance drop in any other programs? The Changes list do mention a number of important changes in the runtime system. For most of my programs the bottleneck functions are implemented in C. For one of the few cases where OCaml is taking care of the core loop, ocaml 3.11.0beta1 produce a consistently slower native executable than 3.10.2 by a very small factor (around 0.5%). I have not timed in Windows, and I run Windows inside a virtual machine, so I'm not sure if the differences I will observe there are just an artifact of that setup. Andres My setup: System Software Overview: System Version: Mac OS X 10.5.5 (9F33) Kernel Version: Darwin 9.5.0 XCode: 3.1.1 Hardware Overview: Model Name: Mac Pro Model Identifier: MacPro2,1 Processor Name: Quad-Core Intel Xeon Processor Speed: 3 GHz Number Of Processors: 2 Total Number Of Cores: 8 L2 Cache (per processor): 8 MB Memory: 16 GB Bus Speed: 1.33 GHz David (Machine setup: Windows XP SP3 + MinGW/gcc 3.4.4 running on an Intel Core Duo T7200 @ 2GHz with 2GB RAM) ___ 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 reports: http://caml.inria.fr/bin/caml-bugs ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Camlp4 generate more than one (compiled) files?
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 marshalled representation of AST
If I understand correctly, the translated ext2sb would be kept in the
same cmo file(where the ext2sb is defined in the extended syntax),
rather than an additional (new) cmo file.
Currently I'm facing the problem that write a single file in extended
syntax, then camlp4 it into two different cmo files.
e.g. in extendFile.ml, we define a type t
type myextend t = * type definition in my extended syntax *
then I want to translate it into:
extendFile.cmo:
type t = * standard ocaml type definition *
module T and some t-related functions
and another file newFile.cmo :
some functions which doesn't rely on type t,
like checking the existence of some files (name mentioned in type
t's definition)
I know it's possible to generate the latter functions and pretty-print
them into newFile.ml, but don't know how to get a compiled cmo file
directly.
Conglun
Conglun
On Fri, Oct 17, 2008 at 12:52 PM, Richard Jones [EMAIL PROTECTED] wrote:
Camlp4 extensions can open and write files normally. However it
doesn't have access to crucial details of the 'OCaml environment' such
as the current search path for libraries, which means that it usually
cannot do anything sensible.
For example, I wanted to load another module/library from a camlp4
extension - but that sort of thing isn't possible as far as I can
tell.
I wrote a bit more about this issue here:
http://camltastic.blogspot.com/2008/05/persistent-matches-in-pabitmatch.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.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] ocaml 3.11 and lablgtk2
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 asleep. I'm not sure if it's caused by ocaml 3.11, lablgtk2, FreeBSD (I'm running 7-STABLE), or a combination of all these. Has anyone else seen the problem? Kind regards, Jaap Boender ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] ocaml 3.11 and lablgtk2
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 ^C. ps shows the process as being asleep. I'm not sure if it's caused by ocaml 3.11, lablgtk2, FreeBSD (I'm running 7-STABLE), or a combination of all these. Has anyone else seen the problem? I see no such problem using 7.1-BETA1. Even unison works fine. Note however that since 7.0 linking lablgtk programs under FreeBSD is very slow (1mn). I know how to fix it in the ocaml compiler, but this rather looks like a FreeBSD bug. Cheers, Jacques Garrigue ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Camelia progress
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 line counts), so that's hopefully good ;) The debugging will surely take quite some time. I'm in the process of getting admin rights to the sourceforge project and setting up an SVN repository for the code. The upcoming version will be 2.0, and I hope to add some features to it before it's final. I'm sure of Ocamlbuild support. Any other features that people would like? I'll keep you guys posted, this is obviously a slightly* larger project than initially anticipated, but the codebase is OK to work with, and it'll have way more features than anything done from scratch in a weekend would ;) My plan is to have the final 2.0 release support all OCaml builds out of the box on Windows (MSVC, MinGW and Cygwin), although I will put 3.11.0 as the minimum supported version of OCaml due to debugger and other woes. Linux and OSX will also be supported; Linux-wise I can only test on FC9, but bug reports will be welcome of course. Cheers, Kuba * - slightly in the log scale, so just one order of magnitude is not much ;) ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Camelia progress
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 Ocamlbuild support. Any other features that people would like? * - slightly in the log scale, so just one order of magnitude is not much ;) -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Re: Camelia progress
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 get more visibility to the OCaml community being hosted along other OCaml projects ? http://forge.ocamlcore.org You could then just made a redirection from camelia home webpage to OCamlCore forge. Regards, Sylvain Le Gall ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
RE: [Caml-list] Dynamic loading on Mac OS X
| 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. ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] .annot files in 3.11
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 could that please be added for 3.11 ? Best, Daniel ___ 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 reports: http://caml.inria.fr/bin/caml-bugs
