Ошибка возврата определения типа в DrScheme

Когда я пытаюсь запустить define-type на DrScheme, я получаю сообщение об ошибке «ссылка на идентификатор перед его определением: define-type». Почему это происходит?

я ввожу:

(define-type GUI
    [label (text string?)]
    [button (text string?)
            (enabled? boolean?)])

и я возвращаюсь:

ссылка на идентификатор перед его определением: define-type


scheme
person Kevin    schedule 25.01.2010    source источник
comment
Задавая здесь вопросы, вы должны всегда публиковать актуальный код, иллюстрирующий вашу проблему.   -  person    schedule 25.01.2010

Ответы (1)


arrow_upward
4
arrow_downward

define-type не является частью «базовой» схемы, это часть «типизированной схемы». Чтобы использовать этот язык в Dr Scheme:

Убедитесь, что в раскрывающемся списке в левом нижнем углу окна выбран «Модуль». Затем в верхнем окне введите:

#lang typed-scheme

и нажмите кнопку «выполнить».

person Community    schedule 25.01.2010
comment
Спасибо. Я сделал это. Моя программа в верхнем окне теперь выглядит так: #lang typed-scheme (форма определения типа [квадрат (номер стороны?)] [прямоугольник (число высоты?) (число ширины?)] [круг (число радиуса?)]), но У меня все еще есть ошибка: расширить: несвязанный идентификатор в модуле в: определить тип, не могли бы вы мне помочь? - person Kevin; 25.01.2010
comment
@Robert Извините, похоже, я ошибся. Псевдоним определения типа взят из Typed Scheme, я не уверен, откуда вы берете определение типа. Можете ли вы опубликовать URL-адрес вашего источника? - person ; 25.01.2010
comment
define-type взято из языка, специфичного для PLAI. Спросите у инструктора, где его взять и как установить. - person Eli Barzilay; 26.01.2010
comment
У меня тоже была эта проблема с использованием plai, оказалось, что это какая-то проблема с кодировкой символов из-за копирования/вставки кода из другого источника. Мне просто нужно было удалить (define-type и ввести его заново. - person Nathan Schwermann; 11.03.2012