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:
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
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
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
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
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
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
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
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
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,
10 matches
Mail list logo