[Caml-list] RTA'09 1st CFP

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

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

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

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] 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

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

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

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

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] 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] 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 without

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

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

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

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

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: val