From: 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
Structural recursive types (objects and polymorphic variants) must be
regul
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 = [
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 wi
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] http://
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' ses
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).
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
fo
On Tue, Jan 5, 2010 at 12:28 PM, Jon Harrop 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 jump directly to t
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):
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
> >
> > Se
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 mai
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 or
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 e
On Tue, Jan 5, 2010 at 13:59, Matej Kosik 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 surprised me.
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
On Tue, Jan 5, 2010 at 11:33 AM, Grant Rettke 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. Subscription management:
On 2009-12-31, at 00:30, Guillaume Yziquel wrote:
#include
#include
#include "../mylib/mylib.h"
CAMLprim value
my_print_stub(value v) {
CAMLparam1(v); /* is missing here, for garbage
collection purposes. */
char* str = (char*)String_val( v );
/* You
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]: http://www.c
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
Hello all,
a short update on my efforts to embed the ocaml runtime on amd64:
static linking the ocaml runtime works rather fine like this:
1. -fPIC
Make sure all files in asmrun are compiled with -fPIC by adapting the Makefile.
2) asmrun/amd64.S
use an adapted amd64.S where 3 symbols are
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
ar
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: http
Le Tue, 5 Jan 2010 11:23:53 +,
Jon Harrop 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 with OCaml code
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 m
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 OC
On Tue, Jan 05, 2010 at 12:03:39AM -0600, Grant Rettke wrote:
> What is your favorite editor for hacking with OCaml?
emacs + tuareg-mode
Rich.
--
Richard Jones
Red Hat
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin
Excerpts from Alain Frisch's message of Tue Jan 05 11:27:07 +0100 2010:
> 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 re
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,
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 easily.
Hi,
I'm surprised no one mentions vim:
You get 1,2,4,5,6 in Dan
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
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
___
Cam
Le Tue, 5 Jan 2010 00:03:39 -0600,
Grant Rettke 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 Chamo:
h
Update: The RTA webpage now contains the LIPIcs style file.
* *
* RTA 2010 *
* Rewriting Techniques and Applications
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
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 a
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 loo
36 matches
Mail list logo
