[Caml-list] reuse of abstract type

2012-05-08 Thread coste
Thank you for the answers. I tried to share the type while writing the signature, and the good way is to enforce sharing in the module implementation. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list:

Re: [Caml-list] reuse of abstract types

2012-05-08 Thread rossberg
Gabriel Scherer gabriel.sche...@gmail.com wrote: Now I want to design a module Q, with operations using type t. To refer to t in the signature of Q, I am obliged to declare a module Mt : MT inside the signature module type QT = sig  module Mt : MT  val g : Mt.t - end I don't

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Daniel Bünzli
Is it just me or is there a significant lag when using TypeRex in Emacs? This is particularly noticeable when deleting by using the backspace key. Here, the lag was due to auto complete mode. Don't invoke it automatically. That's what I have : (add-to-list 'load-path

[Caml-list] ocamlbuild + Coq

2012-05-08 Thread Dmitry Grebeniuk
Hello. Has anybody tried to compile OCaml + Coq project with ocamlbuild? Maybe you can share myocamlbuild.ml rules for such compilation? (I already wrote simple rule on %.v - %.ml, but dependencies' discovering is killing me, so I'm asking here, maybe there are some ready solutions.) I know

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Daniel Bünzli
In fact there is another source of lag on osx, syntax highlighting. https://github.com/OCamlPro/typerex/issues/2#issuecomment-4537263 I just use ocaml's emacs-mode for that, see the full dump of my config below, Best, Daniel ;; Typerex mode ;; Loading TypeRex mode for OCaml files

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Joel Reymont
What's the point of using TypeRex then? On Tue, May 8, 2012 at 10:44 PM, Daniel Bünzli daniel.buen...@erratique.ch wrote: In fact there is another source of lag on osx, syntax highlighting. https://github.com/OCamlPro/typerex/issues/2#issuecomment-4537263 I just use ocaml's emacs-mode for

Re: [Caml-list] TypeRex: indenting let open Mod in

2012-05-08 Thread Daniel Bünzli
Le mardi, 8 mai 2012 à 23:25, Joel Reymont a écrit : Is there a way to get this layout with TypeRex? I don't think so, I have the same problem; and that's just one example of a wrong identation pattern with typerex. It is unfortunately based on the completely broken tuareg-mode (which for

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Daniel Bünzli
Le mardi, 8 mai 2012 à 23:49, Joel Reymont a écrit : What's the point of using TypeRex then? * Refactoring tools (renaming). * Jumping from a name to its definition. * Name autocomplete and its documentation. Best, Daniel -- Caml-list mailing list. Subscription management and

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Francois Berenger
On 05/09/2012 06:44 AM, Daniel Bünzli wrote: In fact there is another source of lag on osx, syntax highlighting. It lags for me and I'm on Ubuntu. I guess syntax highlighting was the problem for me. https://github.com/OCamlPro/typerex/issues/2#issuecomment-4537263 I just use ocaml's

[Caml-list] Setting up donations for OASIS and odb.ml

2012-05-08 Thread Francois Berenger
Hello, How about setting up a donate button to each of these projects? I would personally like to give some of my pocket money to both of these projects and I am sure I am not the only one in this situation. Also, these two projects look very important for a wider adoption of OCaml. Regards,