From 463f908c8c2f306d46cdb947eda0264d303568cf Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Fri, 10 Jul 2015 19:41:45 -0500 Subject: [PATCH] Fixed incorrect type declaration. GNRT-? returns a CMBN, not ICMBN. --- src/bar.lisp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/bar.lisp b/src/bar.lisp index 7b4002c..13e2438 100644 --- a/src/bar.lisp +++ b/src/bar.lisp @@ -245,8 +245,8 @@ (- degr degr1) rest1))) (declare - (type icmbn aprd-brgn1-brgn2 - aprd-rest1)) + (type cmbn aprd-brgn1-brgn2) + (type icmbn aprd-rest1)) (with-cmbn (degr12 icmbn12) aprd-brgn1-brgn2 (incf degr12) @@ -307,8 +307,8 @@ (fixnum degr) (type abar abar)) (make-cmbn :degr (1- degr) - :list (append ;;; and not nconc, otherwise a terrible bug, when the - ;;; first result is stored in memory... + :list (append ;;; and not nconc, otherwise a terrible bug, + ;;; when the first result is stored in memory (cmbn-list (gnrt-? hrzn-dffr degr abar)) (cmbn-list (gnrt-? vrtc-dffr degr abar)))))) (the intr-mrph #'rslt)))