Fixed incorrect type declaration. GNRT-? returns a CMBN, not ICMBN.

This commit is contained in:
Gerd Heber 2015-07-10 19:41:45 -05:00
parent 89975ca8fa
commit 463f908c8c

View File

@ -245,8 +245,8 @@
(- degr degr1) (- degr degr1)
rest1))) rest1)))
(declare (declare
(type icmbn aprd-brgn1-brgn2 (type cmbn aprd-brgn1-brgn2)
aprd-rest1)) (type icmbn aprd-rest1))
(with-cmbn (degr12 icmbn12) (with-cmbn (degr12 icmbn12)
aprd-brgn1-brgn2 aprd-brgn1-brgn2
(incf degr12) (incf degr12)
@ -307,8 +307,8 @@
(fixnum degr) (fixnum degr)
(type abar abar)) (type abar abar))
(make-cmbn :degr (1- degr) (make-cmbn :degr (1- degr)
:list (append ;;; and not nconc, otherwise a terrible bug, when the :list (append ;;; and not nconc, otherwise a terrible bug,
;;; first result is stored in memory... ;;; when the first result is stored in memory
(cmbn-list (gnrt-? hrzn-dffr degr abar)) (cmbn-list (gnrt-? hrzn-dffr degr abar))
(cmbn-list (gnrt-? vrtc-dffr degr abar)))))) (cmbn-list (gnrt-? vrtc-dffr degr abar))))))
(the intr-mrph #'rslt))) (the intr-mrph #'rslt)))