Беды с собственными типами в Ци

Question

Беды с собственными типами в Ци

Я тщетно пытался заставить примеры объявлений типов работать с Clozure CL, например, следующее:

(datatype fruit
   if (element? F [apples pears oranges])
   ______________________________________
   F : fruit;)

но единственный вывод, который я получаю:

type error

Кажется, проблема с Ccl, есть ли вероятность того, что он работает правильно?

PS: проверка типа включена, (tc +)

2

ccl qi

Источник

user504729 14 июн '11 в 09:15

1 ответ

Другие вопросы по тегам ccl qi

user271324 23 июн '11 в 15:59 2011-06-23 15:59 · Answer 1 · 2011-06-23 15:59

Это работает для меня на QiII1.06SBCL:

(0-) (tc +)
true

(1+) (datatype fruit
       if (element? F [apples pears oranges])
       ______________________________________
       F : fruit;)
fruit : symbol

(2+) apples : fruit
apples : fruit

(3+) steak : fruit
type error

Поэтому я бы посоветовал вам попробовать загрузить один из официальных пакетов с веб-сайта, поскольку, насколько мне известно, в настоящее время CCL официально не поддерживается.