7

私は現在 tuareg-mode を使用していますが、caml-mode の機能も使用できるようにしたいと考えています。特に、型注釈をインタラクティブに使用できるようにしたいのですが、明らかにこれは caml 型で発生します。http://cristal.inria.fr/~remy/poly/emacs/index.htmlを .emacs.d に入れてみましたが、これら 2 つのモードがどのように、または連携できるかについて混乱しています。実際、caml-mode をまったく動作させることができません。

init.el に次の行があります。

(add-to-list 'load-path "~/.emacs.d/modes/caml")

しかし、ファイルはロードされません。少なくとも、関数定義やキーバインドはロードされません。これらの emacs プラグインがどのように機能するかを理解し始めたと本当に思っていましたが、不思議に思っています。多分誰かが他に何が起こる必要があるかを説明できますか?

編集：これが機能するために必要であることに気づきませんでしたrequire 'caml。http://caml.inria.fr/svn/ocaml/branches/gadts/emacs/のcamlタイプがありますが、注釈は機能していないようです。でコンパイルしまし-annotたが、まだ注釈ファイルがないと言われています。

4

1 に答える 1

5

tuareg モードで型注釈を付けることができます。この正確な ~/.emacs ファイルがある場合:

(add-hook 'tuareg-mode-hook '(lambda ()
  (define-key tuareg-mode-map [f10] 'caml-types-show-type); requires caml-types
  ))
(add-to-list 'auto-mode-alist '("\\.ml\\w?" . tuareg-mode))
(autoload 'caml-types-show-type "caml-types" "Show the type of expression or pattern at point." t)

次に を押すF10と、ポイントの下の式のタイプが表示されます。ご存知のように、ファイルをコンパイルする必要がありfoo.mlます

ocamlc -annot foo.ml

foo.annotと同じディレクトリにファイルがあるようにしますfoo.ml。

于 2012-07-09T07:19:23.367 に答える