emacs - Tuareg-mode y caml-mode

annotations ocaml

Question

Actualmente estoy usando tuareg-mode, pero me gustaría poder utilizar la funcionalidad de caml-mode también. En particular, quiero poder usar anotaciones tipo de manera interactiva, y aparentemente esto ocurre con caml-types. Intenté poner http://cristal.inria.fr/~remy/poly/emacs/index.html en mi .emacs.d, pero estoy confundido sobre cómo y si estos dos modos pueden funcionar juntos. De hecho, no puedo hacer que cam-mode funcione en absoluto.

Tengo esta línea en mi init.el:

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

Pero los archivos no están cargados, al menos, ninguna de las definiciones de función o combinaciones de teclas son. Realmente pensé que estaba empezando a entender cómo funcionan estos complementos de emacs, pero estoy empezando a preguntarme. ¿Tal vez alguien puede explicar qué más debe suceder?

Editar: No me di cuenta de que tenía que require ''caml para que esto funcione. Aún así, las anotaciones no parecen funcionar aunque tengo caml-types de http://caml.inria.fr/svn/ocaml/branches/gadts/emacs/ . -annot con -annot pero todavía me dicen que no hay ningún archivo de anotaciones.

Answer 1

Puede tener una anotación de tipo con el modo tuareg. Si tengo este archivo ~ / .emacs exacto:

(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)

luego al presionar F10 muestra el tipo de expresión debajo del punto. Como sabes, necesitas compilar tu archivo foo.ml con

ocamlc -annot foo.ml

para que haya un archivo foo.annot en el mismo directorio que foo.ml