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
Hi Jun,
If it's a bug, it should go to mantis... but it's not one.
From: Jun Furuse [EMAIL PROTECTED]
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
Hi Jacques,
Thanks for your insightful answer.
I misunderstood it was a new problem to 311, since here we use a
slightly older version (3.10dev0) for our work, which compiles the
code.
=
j
On Tue, Oct 21, 2008 at 5:32 PM, Jacques Garrigue
[EMAIL PROTECTED] wrote:
Hi Jun,
If it's a bug, it
Robert Morelli schrieb:
The emacs tags system didn't work for you?
There is no way to produce tags files for emacs that does actually work, no?
exuberant-ctags doesn't support caml, otags is still on 3.09 and ocamltags
doesn't understand files in directories...
Am I missing something?
-
On Mon, Oct 20, 2008 at 5:19 PM, Kuba Ober [EMAIL PROTECTED] wrote:
I have questions to the kind folks at Jane Street,
and others who use OCaml for commercial/non-research
development: what do you guys use for your development
environment? What would be the minimal set of functionality
that
(I know it's off-topic, but anyway...)
You should be happy to find out about Yi, an editor written in Haskell:
http://www.haskell.org/haskellwiki/Yi
On Mon, Oct 20, 2008 at 05:02:46PM -0600, Robert Morelli wrote:
...
PS: Almost exactly the same pattern of poor quality and glacially
I am having trouble installing JaneStreet's Core library through godi.
On Mac OS X, it fails while installing the prerequisite bin-prot:
...
ocamlfind ocamlc -package type-conv -c -pp cpp $ARCH_FLAGS -I +camlp4
type_class.mli
File type_class.mli, line 93, characters 15-16:
Syntax error
...
I really like OcaIDE (http://ocaml.eclipse.ortsa.com:8480/ocaide/).
It's Eclipse plugin so Windows is fully supported (including graphical
debugging). IMHO it's (almost) ready for commercial development. Many
features are very convenient: hyperlink jumps, code outline, type
tooltip on
