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

2008-10-16 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: http://yquem.inria.fr/cgi-bin/mailman/listinfo

Re: [Caml-list] Quantifier in the type

2008-10-16 Thread Florent Monnier
Yes you are right my first answer was totally out of scope, I will try to make it forgive and forget with this new one :) Still take it with care while it seems you are far more knowledged than me to answer to your own question ;-) > Just an elementary question. > > I put 'a in the interface: > va

Re: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread Andres Varon
On Oct 16, 2008, at 12:31 PM, Andres Varon wrote: Changing the Makefile to link against tk84.dll and tcl84.dll seems to fix the problem. Did you manage to do it with *.dll or *.lib? I don't have those dll's and have been unable to compile the MinGW port with a setup that succeeded since

Re: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread Andres Varon
On Oct 16, 2008, at 12:22 PM, Andres Varon wrote: On Oct 16, 2008, at 5:58 AM, David Allsopp wrote: Both the MSVC and MinGW ports seem to have an error in the Makefile - they're linking against tk83.dll and tcl83.dll - the OCaml 3.10.2 line to link against tk84.lib and tcl84.lib is commen

Re: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread Andres Varon
On Oct 16, 2008, at 5:58 AM, David Allsopp wrote: Both the MSVC and MinGW ports seem to have an error in the Makefile - they're linking against tk83.dll and tcl83.dll - the OCaml 3.10.2 line to link against tk84.lib and tcl84.lib is commented out. Changing the Makefile to link against tk84.

Re: Re : [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread Alain Frisch
Adrien wrote: How often should we expect new releases of flexlink ? Basically, the question is : will it have to be updated from time to time or can we just drop it somewhere and forget everything about it ? There will be new releases when bugs are found and fixed. It's hard to predict. I don'

Re : [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread Adrien
2008/10/16, Alain Frisch <[EMAIL PROTECTED]>: > David Allsopp wrote: >> There seems to be an interesting chicken-and-egg source dependency between >> flexdll and OCaml 3.11 - you can't build OCaml 3.11 from source or use it >> afterwards without flexdll and you can't build flexdll from source witho

Re: [Caml-list] Quantifier in the type

2008-10-16 Thread Dawid Toton
Thanks for your answer; now I'll try to sate my point in a clear way, since you misunderstood all my questions. I put 'a in the interface: val fu : 'a -> 'a and int in the implementation: let fu x = x + 1 this interface doesn't reflect the implementation, ocaml will reject it in any way OK,

Re: [Caml-list] File inclusion with Ocamldoc

2008-10-16 Thread Dario Teixeira
Hi, > The manual states that implementation files are not handled > because if you have a .ml and .mli then ocamlbuild will choose > the .mli. Thanks for the info. You may want to clarify that on the manual, because presently the language implies that implementation files are ignored altogether.

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

2008-10-16 Thread Ashish Agarwal
See this post on beginner's list: http://tech.groups.yahoo.com/group/ocaml_beginners/message/6905 On Wed, Oct 15, 2008 at 4:14 PM, Harrison, John R <[EMAIL PROTECTED] > wrote: > This discussion of dynamic loading in 3.11 reminded me of a more basic > question I meant to ask, but never did. On ce

Re: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread Alain Frisch
David Allsopp wrote: The install target of flexdll's Makefile suggests copying: flexdll_initer.c, flexdll.c Surely these aren't needed once it's compiled? Indeed. However, some people might want to recompile them (e.g. to keep debug symbols, or to use a specific version of their C com

[Caml-list] Camlp5 5.10 compatible with OCaml from 3.08.0 to 3.11.0 included OK

2008-10-16 Thread Daniel de Rauglaudre
Hi all, Camlp5 5.10 compatible with OCaml from 3.08.0 to 3.11.0 is OK. Documentation and download at: http://pauillac.inria.fr/~ddr/camlp5/ Thank you. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/ ___ Caml-list mailing list. Subscription m

RE: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread David Allsopp
I'm slowly testing my stuff on WinXP SP2 and will do Windows Vista SP1 (both MinGW build). Very much looking forward to adding plug-in support back into two products now that native Dynlink is available so many thanks to the OCaml team for the work on this release! Both the MSVC and MinGW ports s

RE: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread David Allsopp
Apologies if I missed them, but are there any installation instructions for flexdll for Win32 building OCaml 3.11? I copied flexdll.h, flexdll_initer_mingw.o, flexdll_mingw.o and flexlink.exe to my (empty) OCaml bin directory (C:\Dev\OCaml\bin which is in PATH) before starting to build which seemed

Re: [Caml-list] ocamlbuild: ml -> cmx & cmi & o ?

2008-10-16 Thread Romain Bardou
There is a deep reason for this, the short answer is: "if you want native-compilation only, then all your .ml files must have a .mli" Indeed ocamlbuild only generates .cmi from .ml using ocamlc, this is to avoid conflicting defaulting rules in the engine. Are conflicting rules a problem?

Re: [Caml-list] ocamlbuild: ml -> cmx & cmi & o ?

2008-10-16 Thread Nicolas Pouillard
Excerpts from romain.bardou's message of Thu Oct 16 10:30:49 +0200 2008: > > I observe that ocamlbuild does not build cmx cmi and o files from a ml > > file (which has no associated mli) directly. Do others see different > > behavior? Instead it builds cmo and cmi from the ml using ocamlc, and

Re: [Caml-list] ocamlbuild: ml -> cmx & cmi & o ?

2008-10-16 Thread Romain Bardou
I observe that ocamlbuild does not build cmx cmi and o files from a ml file (which has no associated mli) directly. Do others see different behavior? Instead it builds cmo and cmi from the ml using ocamlc, and then builds the cmx and o files from there using ocamlopt. Is there a reason I’m m

RE: [Caml-list] OCaml version 3.11.0+beta1

2008-10-16 Thread David Allsopp
The Win64 port is listed as requiring Windows XP 64 or Server 64 - is 64 bit Windows Vista not included in the list because it's not supported or because it's not been tested with it? David -Original Message- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Damien Doligez S

[Caml-list] RTA'09 1st CFP

2008-10-16 Thread Hitoshi Ohsaki
* * * RTA 2009 * * Rewriting Techniques and Applications* * 20th International Conference