Вопросы по теме 'polyml'
Печать символов Unicode в Poly/ML
Как я могу напечатать epsilon строчными буквами греческого языка в SML (используя Poly /мл)?
Я пробовал следующее:
print "ε"; (* Error-unprintable character found in file *)
print "\u03B5"; (* Error-Conversion exception (Invalid string...
312 просмотров
schedule
19.03.2023
PolyML/Motif: как одновременно нарисовать окно, содержащее кнопку XmLabelPixmap?
В PolyML я пытаюсь нарисовать кнопку с растровым изображением внутри, но не могу найти способ создать растровое изображение перед вызовом XtRealizeWidget в виджете оболочки.
Использование XCreateBitmapFromData после XtRealizeWidget приводит к...
83 просмотров
schedule
11.07.2022
Как перейти к трассировкам стека из `polyc`?
Я использую компилятор PolyML версии 5.6 в Mac OS. Я компилирую и запускаю код, который вызывает исключение ( Fail "undefined" ). Я ожидаю, что мое скомпилированное приложение выйдет с трассировкой стека при возникновении исключения; но вместо...
133 просмотров
schedule
07.11.2022
Не удается объединить символ со строкой ML
Привет, я пытаюсь сделать функцию incFirst в ML. Функция делает следующее: incFirst "bad" = "cad" incFirst "shin" = "thin". Это то, что я пытаюсь сделать fun incFirst s = chr(ord s + 1) ^ substring(s, 1, size s -1); Я получаю следующую ошибку:...
981 просмотров
schedule
30.06.2023
Полиморфное приведение к Word64 в Standard ML
Я хотел бы создать полиморфную функцию, которая преобразует 8,16,32-битные слова в 64-битные слова. Как мне это сделать?
ОБНОВЛЕНИЕ1
В базовой библиотеке все структуры слов имеют функции toLarge и fromLarge для преобразования в/из...
102 просмотров
schedule
23.11.2022
FreeBSD - как мне скомпилировать PolyML, включая модуль XWindows
На freebsd 12 модуль xwindows в PolyML не реализован, поэтому я пытаюсь скомпилировать его исходный код вне дерева портов. Он компилируется, но я не могу открыть модуль XWindows в poly.
Что я сделал:
для верности скопировал libX11 в /usr/lib...
36 просмотров
schedule
19.08.2022
Я не знаю, как открывать и запускать sml-файлы с помощью PolyML.
Я совершенно новичок в SML и не понимаю, что мне делать, чтобы создавать, редактировать, компилировать и запускать sml-файл с помощью PolyML. Я использую Windows и не знаю, нужно ли мне загружать другую среду IDE или какой-нибудь комплект для...
166 просмотров
schedule
30.05.2023