Вопросы по теме '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