Tuareg-mode y caml-mode

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 forma 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.

que tienen esta línea en mi init.el:

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

Sin embargo, los archivos no se cargan - al menos, ninguna de las definiciones de funciones o combinaciones de teclas son. Realmente pensé que estaba empezando a comprender 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 que tenía que require 'caml para que esto funcione. Aún así, las anotaciones no parecen funcionar aunque tengo tipos de cam a partir del http://caml.inria.fr/svn/ocaml/branches/gadts/emacs/. Compilo con -annot pero todavía me dicen que no hay ningún archivo de anotaciones.

Answer 1

Puede escribir una anotación con el modo tuareg. Si tengo esta exacta fichero ~/.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) 

luego pulsando F10 muestra el tipo de la expresión bajo el punto. Como saben, es necesario compilar el archivo foo.ml con

ocamlc -annot foo.ml 

de manera que hay un archivo foo.annot en el mismo directorio que foo.ml.