Re: [Caml-list] ocaml as editor extension language

2010-01-05 Thread Gabriel Kerneis
On Tue, Jan 05, 2010 at 07:24:42AM +, Joel Reymont wrote: You cannot embed OCaml and use it as an editor extension language unless 1) your editor is open source, or 2) you are a member of the consortium and pay 2K EUR/year, or 3) You write your own OCaml compiler/interpreter without

Re: [Caml-list] ocaml as editor extension language

2010-01-05 Thread Alain Frisch
On 05/01/2010 08:24, Joel Reymont wrote: You cannot embed OCaml and use it as an editor extension language unless 1) your editor is open source, or 2) you are a member of the consortium and pay 2K EUR/year Is that correct? Depending on the level of integration you need, you might also call

Re: [Caml-list] ocaml as editor extension language

2010-01-05 Thread Jon Harrop
On Tuesday 05 January 2010 07:24:42 Joel Reymont wrote: You cannot embed OCaml and use it as an editor extension language unless 1) your editor is open source, or I believe there are several issues surrounding the QPL license that much of the OCaml distribution is under: 1. You do not have

[Caml-list] RTA 2nd CFP (July 11 - July 13, 2010, Edinburgh)

2010-01-05 Thread RTA publicity chair
Update: The RTA webpage now contains the LIPIcs style file. * * * RTA 2010 * * Rewriting Techniques and Applications

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Maxence Guesdon
Le Tue, 5 Jan 2010 00:03:39 -0600, Grant Rettke gret...@acm.org a écrit : Hi, Hello, What is your favorite editor for hacking with OCaml? Your favorite is key here here; I appreciate you human input as I can use a search engine to find any old OCaml editor easily. My favorite editor is

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Jon Harrop
On Tuesday 05 January 2010 08:45:04 Maxence Guesdon wrote: My favorite editor is Chamo: http://home.gna.org/cameleon/chamo.en.html Nice! Why do you prefer it? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e ___

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Jon Harrop
On Tuesday 05 January 2010 07:31:45 Daniel Bünzli wrote: Your favorite is key here here; I appreciate you human input as I can use a search engine to find any old OCaml editor easily. Then I think a more interesting question is, what features do you absolutely need to be productive ? I'm

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Alain Frisch
On 05/01/2010 09:13, Jon Harrop wrote: I think the best way to write a decent editor for OCaml would be to write one using LablGTK for the GUI and camlp4 to parse OCaml code. It is indeed very tempting to reuse an existing OCaml parser in order to support syntax-related features (indentation,

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Richard Jones
On Tue, Jan 05, 2010 at 11:24:29AM +0100, Vincent Aravantinos wrote: Le 5 janv. 10 à 07:03, Grant Rettke a écrit : What is your favorite editor for hacking with OCaml? Your favorite is key here here; I appreciate you human input as I can use a search engine to find any old OCaml editor

Re: [Caml-list] ocaml as editor extension language

2010-01-05 Thread Richard Jones
On Tue, Jan 05, 2010 at 10:04:24AM +, Jon Harrop wrote: 1. You do not have the right to distribute your source code freely and must distribute only independently (e.g. patches only). Tools like quilt and git-rebase are now so good at handling base + patches that I wouldn't say this is much

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Maxence Guesdon
Le Tue, 5 Jan 2010 11:23:53 +, Jon Harrop j...@ffconsultancy.com a écrit : On Tuesday 05 January 2010 08:45:04 Maxence Guesdon wrote: My favorite editor is Chamo: http://home.gna.org/cameleon/chamo.en.html Nice! Why do you prefer it? 1. It is written in OCaml and I can extend it

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Florent Ouchet
Hi, I've used emacs+touareg for a while but as soon as the projects become big, I switched to kate. No way back... - Florent ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives:

[Caml-list] Compiling a 32 bits version of OCaml with godi and OS X.6 ? (pcre problem)

2010-01-05 Thread Alan Schmitt
Hello, I'm trying to build a 32 bits version of ocaml, so I added this to my godi.conf OCAML_CONF_ARGS=-cc gcc -m32 -as as -arch i386 -aspp gcc -m32 -c The problem is that PCRE is built by default in 64 bits. Is there a similar environment variable that I can change to specify the target

[Caml-list] 2147483648l 2147483647l

2010-01-05 Thread Matej Kosik
Hello, I am sorry, I have a stupid question. I would like to ask if this: # 2147483648l 2147483647l;; - : bool = true should not regarded as a bug. In my project I need Int32 value and above behavior surprised me. Value 2147483648l should not be allowed at all because

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Alain Frisch
On 05/01/2010 11:44, Nicolas Pouillard wrote: Reusing the work done in the Yi [1][2] editor for the Haskell syntax should be pretty straightforward. Very long and painful however due to the complexity of the grammar of a real language. [1]: http://www.haskell.org/haskellwiki/Yi [2]:

Re: [Caml-list] problem creating .cma library

2010-01-05 Thread Damien Doligez
On 2009-12-31, at 00:30, Guillaume Yziquel wrote: #include stdio.h #include caml/mlvalues.h #include ../mylib/mylib.h CAMLprim value my_print_stub(value v) { CAMLparam1(v); /* is missing here, for garbage collection purposes. */ char* str =

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Martin DeMello
On Tue, Jan 5, 2010 at 11:33 AM, Grant Rettke gret...@acm.org wrote: Hi, What is your favorite editor for hacking with OCaml? Vim. I have some issues with the indentation, but otherwise it's excellent. martin ___ Caml-list mailing list.

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Nicolas Pouillard
Excerpts from Alain Frisch's message of Tue Jan 05 14:00:36 +0100 2010: On 05/01/2010 11:44, Nicolas Pouillard wrote: Reusing the work done in the Yi [1][2] editor for the Haskell syntax should be pretty straightforward. Very long and painful however due to the complexity of the grammar

Re: [Caml-list] 2147483648l 2147483647l

2010-01-05 Thread Olivier Andrieu
On Tue, Jan 5, 2010 at 13:59, Matej Kosik ko...@fiit.stuba.sk wrote: Hello, I am sorry, I have a stupid question. I would like to ask if this:        # 2147483648l 2147483647l;;        - : bool = true should not regarded as a bug. In my project I need Int32 value and above behavior

RE: [Caml-list] 2147483648l 2147483647l

2010-01-05 Thread David Allsopp
Matej Kosik wrote: I am sorry, I have a stupid question. I would like to ask if this: # 2147483648l 2147483647l;; - : bool = true The bug is in fact: # 2147483648l;; - : int32 = -2147483648l and given that behaviour, the above result makes sense! But... it cannot be encoded

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Hugo Ferreira
To the OP: Eclipse + OcalIDE Alain Frisch wrote: On 05/01/2010 09:13, Jon Harrop wrote: I think the best way to write a decent editor for OCaml would be to write one using LablGTK for the GUI and camlp4 to parse OCaml code. It is indeed very tempting to reuse an existing OCaml parser in

Re: [Caml-list] ocaml as editor extension language

2010-01-05 Thread Damien Doligez
On 2010-01-05, at 08:24, Joel Reymont wrote: You cannot embed OCaml and use it as an editor extension language unless 1) your editor is open source, or 2) you are a member of the consortium and pay 2K EUR/year 3k -- Damien ___ Caml-list

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

2010-01-05 Thread Richard Jones
On Tue, Dec 29, 2009 at 04:52:00PM +, Richard Jones wrote: On Tue, Dec 29, 2009 at 03:59:34PM +0100, Damien Doligez wrote: The release candidate is available as source code at this address: ftp://ftp.inria.fr/INRIA/Projects/cristal/ocaml/ocaml-3.11/ocaml-3.11.2+rc1.tar.bz2 See the

[Caml-list] CSL 2010 - 1st Call for Papers

2010-01-05 Thread Geoff Sutcliffe
CSL 2010 First Call for Papers The Annual Conference of the European Association for Computer Science Logic August 23-27, 2010, Brno, Czech Republic http://www.mat.uc.pt/~csl/ Submission (title abstract): March 26, 2010 Notification: May 17, 2010 Submission (full paper):

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Laurent Le Brun
On Tue, Jan 5, 2010 at 12:28 PM, Jon Harrop j...@ffconsultancy.com wrote: 2) Ability to invoke a build tool so that reported errors allow me to automatically jump to the offending lines. Yes but I'd rather have an IDE constantly recompiling and automatically flagging errors such that I can

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

2010-01-05 Thread Stéphane Glondu
Richard Jones a écrit : camlp5 - When you compile, it complains it doesn't know anything about 3.11.2 and that this will require an upstream change. The first patch attached adds support for 3.11.2 (see comments in it). I've also added some fixes to the manpage that are of course irrelevant for

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

2010-01-05 Thread Richard Jones
On Tue, Jan 05, 2010 at 06:06:38PM +0100, Stéphane Glondu wrote: Richard Jones a écrit : camlp5 - When you compile, it complains it doesn't know anything about 3.11.2 and that this will require an upstream change. The first patch attached adds support for 3.11.2 (see comments in it). I've

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Tim Hanson
Hey All - Yea, I used Emacs for a while, then Scite, now use Kate. Not going back either. Love the code folding ability to have many views of the same file (like emacs), which is needed since you can't so easily split modules across multiple files like C/C++. Usually I open a gnu 'screen'

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

2010-01-05 Thread Richard Jones
On Tue, Jan 05, 2010 at 06:06:38PM +0100, Stéphane Glondu wrote: You mean ocamlduce? cduce compiles fine. I've tagged in git [1] a new rc for ocamlduce. A tarball is available at [2]. I will wait for the final release of OCaml 3.11.2 to make a new formal release of ocamlduce. [1]

[Caml-list] OCaml jobs at MyLife

2010-01-05 Thread Martin Jambon
Dear fellow OCaml programmers, Our company, MyLife, is continuing to seek OCaml programmers to expand our team in the Silicon Valley. We develop back-end people search technologies and the vast majority of our code is written in Objective Caml and runs on Linux. We love that as it provides us

[Caml-list] Error: In the definition of t, type ('a, 'b) t should be ('b, 'a) t

2010-01-05 Thread Edgar Friendly
This error message was new to me, and I wondered what's going on and why: # type ('a, 'b) t = [ `A | `T of ('b, 'a) t ];; Error: In the definition of t, type ('a, 'b) t should be ('b, 'a) t I can get unhelpful suggestions through foolishness with three type parameters: # type ('a, 'b, 'c) t =

Re: [Caml-list] Error: In the definition of t, type ('a, 'b) t should be ('b, 'a) t

2010-01-05 Thread Jacques Garrigue
From: Edgar Friendly thelema...@gmail.com This error message was new to me, and I wondered what's going on and why: # type ('a, 'b) t = [ `A | `T of ('b, 'a) t ];; Error: In the definition of t, type ('a, 'b) t should be ('b, 'a) t Structural recursive types (objects and polymorphic