CCL can't initialize the INTR slot with NIL.

This commit is contained in:
Gerd Heber 2015-07-15 18:45:51 -05:00
parent f836b37aff
commit c1a9b6977a

View File

@ -85,7 +85,7 @@
;; (function (degr) (list gnrt)) ;; (function (degr) (list gnrt))
;; INTR-MRPH = INTeRnal-MoRPHism ;; INTR-MRPH = INTeRnal-MoRPHism
(DEFTYPE INTR-MRPH () '(or function morphism)) (DEFTYPE INTR-MRPH () '(or function morphism +ccl null))
;; (or (function (degr gnrt) cmbn) ;; if :gnrt strategy ;; (or (function (degr gnrt) cmbn) ;; if :gnrt strategy
;; (function (cmbn) (cmbn)) ;; if :cmbn strategy ;; (function (cmbn) (cmbn)) ;; if :cmbn strategy