Re: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Mark Shinwell
On Tue, Oct 21, 2008 at 04:22:09PM -0400, Markus Mottl wrote: 2008/10/21 Ashish Agarwal [EMAIL PROTECTED]: 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

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

2008-10-22 Thread Kuba Ober
What would make me switch: a way to highlight the error when compiling, highlighting the line, a stronger highlight for the character range reported by the compiler, taking in consideration the tab mode used (real tab, n spaces) to interpret the value returned by the compiler. the error

Re: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Ashish Agarwal
Thank you for the replies. In type_class.ml and type_class.mli, I replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). The compilation gets further but now fails with:... ocamlfind ocamlc -package type-conv -c -I +camlp4 -for-pack Bin_prot binable.ml File binable.ml, line 36,

Re: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Markus Mottl
On Wed, Oct 22, 2008 at 9:08 AM, Ashish Agarwal [EMAIL PROTECTED] wrote: Thank you for the replies. In type_class.ml and type_class.mli, I replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). The compilation gets further but now fails with: ... ocamlfind ocamlc -package type-conv

Re: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Nobuyuki TOMIZAWA
Hi, list, Thank you for the replies. In type_class.ml and type_class.mli, I replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). Another option is to use /usr/bin/cpp-4.2 instead of /usr/bin/cpp. After making symbolic link ~/bin/cpp to /usr/bin/cpp-4.2 (and put `~/ bin' in

Fwd: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Ashish Agarwal
I only had cpp-4.0 and tried your suggestion with that; bin-prot compiles completely. On Wed, Oct 22, 2008 at 1:57 PM, Nobuyuki TOMIZAWA [EMAIL PROTECTED] wrote: Hi, list, Thank you for the replies. In type_class.ml and type_class.mli, I replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E

[Caml-list] Serialisation of PXP DTDs

2008-10-22 Thread Dario Teixeira
Hi, I am using PXP to parse the MathML2 DTD. This is a fairly large DTD, which even on a fast machine takes several seconds to parse. I am therefore looking at ways to serialise a parsed DTD, in a such a way that it can be reused by other processes. Does PXP already offer primitives for

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

2008-10-22 Thread David Teller
On Wed, 2008-10-22 at 08:42 -0400, Kuba Ober wrote: An integrated ocamlbrowser (the standard TK tend to jiggle and hang on my computer). OK, I'm adding this to my feature list. I didn't even know ocamlbrowser existed (never quite made it through the manual, I'm afraid). For information,

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

2008-10-22 Thread David Teller
Le me be more specific: we're not working on a ocamlbrowser replacement. We're just working on a on-line help system. In turn, this help system could be useful for someone wishing to write a ocamlbrowser replacement. Cheers, David On Wed, 2008-10-22 at 23:56 +0200, David Teller wrote: For

[Caml-list] Re: Serialisation of PXP DTDs

2008-10-22 Thread Sylvain Le Gall
On 22-10-2008, Dario Teixeira [EMAIL PROTECTED] wrote: Hi, I am using PXP to parse the MathML2 DTD. This is a fairly large DTD, which even on a fast machine takes several seconds to parse. I am therefore looking at ways to serialise a parsed DTD, in a such a way that it can be reused by

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

2008-10-22 Thread Peng Zang
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Tuesday 21 October 2008 03:31:26 pm Till Varoquaux wrote: There is a mix of Emacs,vim,texmate and other esoteric editors being used here. We are all free to choose what we use but I think a lot of us decide to cope with a steeper learning curve