Беды с собственными типами в Ци - PullRequest
Новая
       5

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

2 голосов
/ 14 июня 2011

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

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

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

type error

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

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

1 Ответ

1 голос
/ 23 июня 2011

Это работает для меня на 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 официально не поддерживается.

...