2015-03-30 2 views
0

Я пытаюсь реализовать full функцию Substring подписи следующим образом:не Substring.full работает в SML

val x = Substring.full "straight" 

Выход возвращает:

val x = - : substring 

Как я вижу, функция не возвращает никакого значения переменной x.

Что должно быть не так? (Я использую V110.77 SML/NJ на Windows 8.1.)

+0

Вы пытаетесь реализовать? не могли бы вы показать нам свой код? – HuStmpHrrr

+0

@HuStmpHrrr: код написан в вопросе. Функция 'full' уже определена в подписи' Substring'. – Gaurav

+0

Вы имеете в виду, что пытаетесь использовать. ОК. try 'Substring.string (Substring.full" straight ");'. вы слишком беспокоитесь. – HuStmpHrrr

ответ

3

Функция в порядке. Но подстрока является абстрактным типом, а значения абстрактного типа не могут быть напечатаны с помощью приглашения SML/NJ. Таким образом, они обозначаются только «-».

Смежные вопросы