Hi,
I found a strange bug in 3.11.0 beta 1. The following typical example
of phantom types does not compile any more. (It is compilable in
3.10.2, but not in release311):
module M : sig
type +'a t constraint 'a = [< `checked | `unchecked ]
val check : _ t -> [ `checked ] t
end = struct
type
David Allsopp wrote:
> 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?
Because it hasn't been tested with Vista 64. But I'm pretty sure that
if Microsoft's P
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
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
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.
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'
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
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
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
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
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
On Oct 15, 2008, at 12:03 PM, Xavier Leroy wrote:
Native dynlink used to work on Mac OS X < 10.5 (x86 only). The new
linker in 10.5 does not support linking shared libraries with non-
PIC
code. It is still possible to use the old linker, called ld_classic,
but some libraries (like X11) does n
On Wed, Oct 15, 2008 at 03:40:01PM +0200, Damien Doligez wrote:
> We are pleased to celebrate the birthday of Friedrich Nietzsche
> by releasing OCaml version 3.11.0+beta1. We need YOU to test
> it thoroughly and report any problems you might have. Does
> your favorite software work with it?
Exc
Le 15 oct. 08 à 17:27, Andres Varon a écrit :
The native Dynlink is known to work under Linux x86, Linux AMD64,
Win32 (mingw/msvc ports). It has been lightly tested under Win64,
some flavors of BSDs and also the Cygwin port.
And on macosx ? It seems here on 10.5.5 that only dynlink.cma and
>> Native dynlink used to work on Mac OS X < 10.5 (x86 only). The new
>> linker in 10.5 does not support linking shared libraries with non-PIC
>> code. It is still possible to use the old linker, called ld_classic,
>> but some libraries (like X11) does not work, so this has been disabled
>> in the
On Oct 15, 2008, at 11:32 AM, Alain Frisch wrote:
Daniel Bünzli wrote:
And on macosx ? It seems here on 10.5.5 that only dynlink.cma and
dynlink.cmi for bytecode get installed. So I guess there's no
support. What about the future ?
Native dynlink used to work on Mac OS X < 10.5 (x86 only)
Andres Varon wrote:
OK. Would you recommend that configure scripts use this test to verify
if the functionality is supported?
Yes.
-- Alain
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
On Oct 15, 2008, at 11:37 AM, Alain Frisch wrote:
Andres Varon wrote:
One more question: is it always compiled? or is dynlink.cmxa simply
not available in some architectures? if yes, what are those?
As far as I can tell, dynlink.cmxa is always compiled. You will get
error when "ocamlopt -
Andres Varon wrote:
One more question: is it always compiled? or is dynlink.cmxa simply not
available in some architectures? if yes, what are those?
As far as I can tell, dynlink.cmxa is always compiled. You will get
error when "ocamlopt -shared" on those architecture where natdynlink is
not
Daniel Bünzli wrote:
And on macosx ? It seems here on 10.5.5 that only dynlink.cma and
dynlink.cmi for bytecode get installed. So I guess there's no support.
What about the future ?
Native dynlink used to work on Mac OS X < 10.5 (x86 only). The new
linker in 10.5 does not support linking shar
On Wednesday 15 October 2008 15:40:01 Damien Doligez wrote:
> We are pleased to celebrate the birthday of Friedrich Nietzsche
> by releasing OCaml version 3.11.0+beta1. We need YOU to test
> it thoroughly and report any problems you might have. Does
> your favorite software work with it?
For eas
On Wed, Oct 15, 2008 at 05:04:46PM +0200, Alain Frisch wrote:
> Andres Varon wrote:
>> Thanks for the good work. I would like to know exactly what
>> architectures support the native Dynlink? I did not see this
>> information in the release notes.
> The native Dynlink is known to work under Linu
On Oct 15, 2008, at 11:22 AM, Daniel Bünzli wrote:
The native Dynlink is known to work under Linux x86, Linux AMD64,
Win32 (mingw/msvc ports). It has been lightly tested under Win64,
some flavors of BSDs and also the Cygwin port.
And on macosx ? It seems here on 10.5.5 that only dynlink.c
Le 15 oct. 08 à 16:55, Andres Varon a écrit :
Thanks for the good work. I would like to know exactly what
architectures support the native Dynlink? I did not see this
information in the release notes.
I was looking for the same information. This should be added to the
release notes.
Le
On Oct 15, 2008, at 11:04 AM, Alain Frisch wrote:
Andres Varon wrote:
Thanks for the good work. I would like to know exactly what
architectures support the native Dynlink? I did not see this
information in the release notes.
The native Dynlink is known to work under Linux x86, Linux AMD64
Andres Varon wrote:
Thanks for the good work. I would like to know exactly what
architectures support the native Dynlink? I did not see this information
in the release notes.
The native Dynlink is known to work under Linux x86, Linux AMD64, Win32
(mingw/msvc ports). It has been lightly tested
On Oct 15, 2008, at 9:40 AM, Damien Doligez wrote:
Dear OCaml Users,
We are pleased to celebrate the birthday of Friedrich Nietzsche
by releasing OCaml version 3.11.0+beta1. We need YOU to test
it thoroughly and report any problems you might have. Does
your favorite software work with it?
Hi,
> We are pleased to celebrate the birthday of Friedrich
> Nietzsche by releasing OCaml version 3.11.0+beta1. We need YOU
> to test it thoroughly and report any problems you might have.
> Does your favorite software work with it?
Great news, thanks! One note to GODI users: trying out the bet
28 matches
Mail list logo