Описание тега sml-mode
SML-MODE - это основной режим Emacs для редактирования Standard ML. Он обеспечивает подсветку синтаксиса и автоматический отступ.
2
ответа
Sml-режим не будет работать в Emacs, отображает "Поиск программы: разрешение запрещено"
Я работаю с sml прямо сейчас, и я пытаюсь использовать Emacs для компиляции моего кода с помощью команды ctrl-c, ctrl-b, Я установил sml-режим в emacs, но он все еще не работает Вот что я печатаю: ctrl-c ctrl-b-> sml command:poly-> Searching for pro…
04 дек '13 в 14:09
1
ответ
run-sml не работает в sml-режиме emacs
Я хочу использовать sml-mode в emacs на Fedora. мой ~/.emacs файл содержит (add-to-list 'load-path "/home/gbuday/prooftheory/sml-mode") (autoload 'sml-mode "sml-mode" "Major mode for editing SML." t) (autoload 'run-sml "sml-proc" "Run an inferior SM…
10 май '17 в 14:33
2
ответа
Формат исключения SML
Я использую Linux Mint 17, и недавно я установил smlnj (стандартный ML в Нью-Джерси) и sml-режим для Emacs с помощью apt-get. Когда я пытаюсь увеличить глубину печати с помощью командыControl.Print.PrintDepth := 100; Я получаю следующую ошибку: - Co…
20 ноя '14 в 13:26
1
ответ
sml: невозможно определить операционную систему в emacs, но нормально работает в терминале
Мне удалось установить smlnj на мою MAC OS 10.14 Mojave. Это работает просто отлично в терминале. Затем у меня возникли проблемы с установкой пакета sml в emacs. Когда я что-то печатаю в файле.sml, цвет и отступы будут правильными. Однако, когда я д…
29 янв '19 в 21:30
2
ответа
Поддерживает ли SML вложенный список?
Вложенный список может существовать в схеме, но законно ли использовать вложенный список в SML? или мы можем использовать только простой список в SML? и если законно, 1) как проверить, имеют ли два списка ввода одинаковую структуру списка. По алгори…
15 окт '14 в 09:05
1
ответ
Ошибка SML: Win32TextPrimIO:openRd: не удалось
Итак, у меня есть 2 файла, file1.sml & file2.sml оба из которых имеют правильный код, и я использую операционную систему Windows. Когда я запускаю Emacs и выполняю: используйте "file1.sml", он работает нормально, но потом, когда я просто перехожу на…
17 янв '17 в 19:24
2
ответа
Синтаксис SML не распознается в Emacs, несмотря на то, что установлен sml-mode
Я установил пакет sml-mode (версия 6.9) в Emacs (версия 26.2), но когда я пытаюсь открыть файл.sml, в минибуфере появляется следующая ошибка:File mode specification error: (invalid-read-syntax ?). Таким образом, синтаксис SML не распознается редакто…
12 сен '19 в 15:38
0
ответов
REPL в режиме SML возвращает ошибку: Shell-init:… Операции запрещены
Я использую MacOS Big Sur. Я использую EMACS для запуска режима SML, и текст имеет цветовую маркировку. У меня возникла ошибка, когда я попытался запустить REPL «команда не найдена», поэтому я попытался добавить следующие команды в файл ~ / .emacs: …
20 янв '21 в 07:33