mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge asdf-issues branch.

Browse Source
This commit is contained in:
gheber 2015-06-15 16:13:17 -05:00
parent 870466490b
commit 0f873a569b
5 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/chain-complexes.lisp
View File

@ -252,7 +252,7 @@
(map nil #'(lambda (rslt)
(declare (type result rslt))
(let ((rntm (result-rntm rslt)))
(declare (integer rntm))
(declare (single-float rntm))
(when (plusp rntm)
(push rntm time-list))))
drslt))

4
src/cobar.lisp
View File

@ -543,7 +543,7 @@
(gfgf-tail (term-cmbn 0 1 +null-allp+)))
(declare
(list cbgn-list rslt)
(fixnum sign)
(boolean sign)
(type cmbn gfgf-tail))
(unless cbgn-list
(return-from rslt (zero-cmbn 1)))
@ -557,7 +557,7 @@
(let ((h-gnrt (gnrt-? h degr gnrt)))
(declare (type cmbn h-gnrt))
(let ((hgfgf (cmbn-list (cmbn-allp-cmbn-tnpr h-gnrt gfgf-tail))))
(declare (type cmbn hgfgf))
(declare (type list hgfgf))
(when sign
(mapc #'(lambda (term)
(declare (type term term))

3
src/ls-twisted-products.lisp
View File

@ -372,8 +372,7 @@
(multiple-value-bind (expn y-n+1 gp-n) (pop-first-absm n g-n)
(declare
(fixnum expn)
(type absm y-n+1)
(type loop gp-n)) ;;; ***
(type absm y-n+1 gp-n))
(ecase expn
(0 (zero-cmbn (1+ n)))
(+1

2
src/smith.lisp
View File

@ -472,7 +472,7 @@
(declare
(list mtrx-list)
(fixnum begin il ic))
(the matrix (progn
(the list (progn
(when (< begin il)
(line-swap-5 mtrx-list begin begin il))
(when (< begin ic)

5
src/tensor-products.lisp
View File

@ -155,8 +155,9 @@
(list1 (cmbn-list (gnrt-? dffr1 degr1 gnrt1)))
(list2 (cmbn-list (gnrt-? dffr2 degr2 gnrt2))))
(declare
(fixnum degr1-1 degr2-1 sign)
(list list1 list2))
(fixnum degr1-1 degr2-1)
(boolean sign)
(list list1 list2))
(make-cmbn
:degr (1- degr)
:list (nconc