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
Sent: 15 October 2008 15:40
To: caml users
Subject: [Caml-list] OCaml version 3.11.0+beta1
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
from something, right?
David
-Original Message-
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of Damien Doligez
Sent: 15 October 2008 15:40
To: caml users
Subject: [Caml-list] OCaml version 3.11.0+beta1
Dear OCaml Users,
We are pleased to celebrate the birthday of Friedrich
: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of Damien Doligez
Sent: 15 October 2008 15:40
To: caml users
Subject: [Caml-list] OCaml version 3.11.0+beta1
Dear OCaml Users,
We are pleased to celebrate the birthday of Friedrich Nietzsche
by releasing OCaml version 3.11.0+beta1. We need YOU
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
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
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
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
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
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
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?
It is available as a source release only (plus
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?
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
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
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
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 Linux x86,
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 ease
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
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
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:
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:
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
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 configure
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?
24 matches
Mail list logo
