OCaml Emacs Tuareg: Оцените сочетание клавиш и как отображать настоящие греческие символы?

Два вопроса об Emacs Tuareg для OCaml:

  1. Я видел некоторые конфигурации, где он отображает символ альфа вместо ". Как я могу включить это?

  2. Что такое сочетание клавиш для "оценивать фразу" или "оценивать буфер"?

4 ответа

Я могу ответить только на часть (2):

  • Чтобы запустить Ocaml верхнего уровня: C-c C-s
  • Чтобы оценить фразу: C-x C-e
  • Чтобы оценить буфер: C-c C-b
  • Чтобы оценить регион: C-c C-r

Запустите режим туарегов (например, M-x tuareg-mode), и посмотрите на его документацию, нажав C-h m,

Символы, отображаемые в режиме sym-lock, работают только для Xemacs и его вариантов, я боюсь, но вы найдете, как настроить его в вашем.emacs в справке, упомянутой выше. Ярлык для выполнения инструкции C-x C-e (см. раздел "Специальные клавиши" справки).

Вы можете посмотреть мои существующие конфиги, основанные на коде из EmacsWiki с некоторыми расширениями - функция для обработки преобразования из текста в символы и пример его использования для режима erlang - вы также можете изменить его для режима ocaml

PS но у этого кода есть один недостаток - он также отображает эти символы внутри строк и комментариев

Я не уверен, что это именно то, что вы имеете в виду для первой части вашего вопроса, но у меня есть ключевое слово font-lock-mode для отображения lambda Ключевое слово как греческий символ лямбда, который может быть адаптирован, чтобы делать то, что вы просите. Требуется только, чтобы был включен режим font-lock-mode. (Я не писал это, просто нашел его где-то плавающим).

;; real lisp hackers use the lambda character
;; courtesy of stefan monnier on c.l.l
(defun sm-lambda-mode-hook ()
  (font-lock-add-keywords
   nil `(("\\<lambda\\>"
   (0 (progn (compose-region (match-beginning 0) (match-end 0)
        ,(make-char 'greek-iso8859-7 107))
      nil))))))
(add-hook 'emacs-lisp-mode-hook 'sm-lambda-mode-hook)
(add-hook 'lisp-interactive-mode-hook 'sm-lamba-mode-hook)
(add-hook 'scheme-mode-hook 'sm-lambda-mode-hook)
Другие вопросы по тегам