Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1

2012-03-06 Thread Stefano Zacchiroli
On Wed, Feb 22, 2012 at 07:10:39PM +0100, Tiphaine Turpin wrote: > We are pleased to announce the first release candidate of TypeRex, a new > OCaml development environment, developed by OCamlPro and Inria Saclay. > This version of TypeRex only integrates with Emacs and brings a > collection of new

Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1

2012-03-06 Thread Tiphaine Turpin
On 06/03/2012 13:02, Stefano Zacchiroli wrote: [...] At the same time, I'm not thrilled at the idea of having to use a different ocamlc just to benefit from TypeRex. Having to do so brings a number of disadvantages, the first and foremost being that now the programmer needs to worry about having

[Caml-list] crazy ocaml compiler implementation question

2012-03-06 Thread Matej Košík
Hello, In the file: typing/path.mli contains the following definition: type t = Pident of Ident.t | Pdot of t * string * int | Papply of t * t What is the semantics of third parameter? In the implementation I see it either ignored or passed verb

Re: [Caml-list] crazy ocaml compiler implementation question

2012-03-06 Thread Alain Frisch
On 03/06/2012 05:38 PM, Matej Košík wrote: Hello, In the file: typing/path.mli contains the following definition: type t = Pident of Ident.t | Pdot of t * string * int | Papply of t * t What is the semantics of third parameter? In the impl

[Caml-list] ocamlopt -g

2012-03-06 Thread Martin Jambon
Dear all, Is there is any disadvantage of using -g with ocamlopt? A number of libraries are not compiled with -g and this prevents us from getting a complete stack backtrace when they raise an exception. Are there technical reasons for that, other than "this is an old library and we haven't touch

Re: [Caml-list] ocamlopt -g

2012-03-06 Thread Josh Berdine
In some cases ocamlopt -g disabled some optimizations. This now seems to be fixed in 3.13, see http://caml.inria.fr/mantis/view.php?id=5426 . Cheers, Josh > Dear all, > > Is there is any disadvantage of using -g with ocamlopt? > > A number of libraries are not compiled with -g and this prev

[Caml-list] Semantic Web Journal: Special Call for Surveys on Application Areas of Semantic Technologies

2012-03-06 Thread Pascal Hitzler
Semantic Web journal Special Call for Surveys on Application Areas of Semantic Technologies Semantic Web technologies are currently in a transition from research to pra