Removed unnecessary read-time conditionals.
This commit is contained in:
parent
b4c7ad119a
commit
eba4e41e1f
@ -220,12 +220,13 @@
|
|||||||
;;;
|
;;;
|
||||||
|
|
||||||
(DEFSTRUCT (CONE (:conc-name nil) (:print-function cone-print))
|
(DEFSTRUCT (CONE (:conc-name nil) (:print-function cone-print))
|
||||||
(conx #+allegro :type #+allegro (member 0 1))
|
(conx (:type '(member 0 1)))
|
||||||
(icon #+allegro :type #+allegro gnrt))
|
(icon (:type 'gnrt)))
|
||||||
|
|
||||||
|
|
||||||
(DEFSTRUCT (BICN (:conc-name nil) (:print-function bicn-print))
|
(DEFSTRUCT (BICN (:conc-name nil) (:print-function bicn-print))
|
||||||
(bcnx #+allegro :type #+allegro (member :bcnb :bcnc :bcnd))
|
(bcnx (:type '(member :bcnb :bcnc :bcnd)))
|
||||||
(ibicn #+allegro :type #+allegro gnrt))
|
(ibicn (:type 'gnrt)))
|
||||||
|
|
||||||
|
|
||||||
;;;
|
;;;
|
||||||
@ -270,7 +271,7 @@
|
|||||||
(DEFTYPE IALLP () '(satisfies iallp-p))
|
(DEFTYPE IALLP () '(satisfies iallp-p))
|
||||||
|
|
||||||
(DEFSTRUCT (ALLP (:print-function allp-print))
|
(DEFSTRUCT (ALLP (:print-function allp-print))
|
||||||
(list #+allegro :type #+allegro iallp))
|
(list (:type 'iallp)))
|
||||||
|
|
||||||
#+ccl
|
#+ccl
|
||||||
(DEFMETHOD make-load-form ((a allp) &optional env)
|
(DEFMETHOD make-load-form ((a allp) &optional env)
|
||||||
@ -326,7 +327,7 @@
|
|||||||
|#
|
|#
|
||||||
|
|
||||||
(DEFSTRUCT (ABAR (:print-function abar-print))
|
(DEFSTRUCT (ABAR (:print-function abar-print))
|
||||||
(list #+allegro :type #+allegro list))
|
(list (:type 'list)))
|
||||||
|
|
||||||
#+ccl
|
#+ccl
|
||||||
(DEFMETHOD make-load-form ((a abar) &optional env)
|
(DEFMETHOD make-load-form ((a abar) &optional env)
|
||||||
@ -357,8 +358,8 @@
|
|||||||
(DEFTYPE IABSM () '(satisfies iabsm-p))
|
(DEFTYPE IABSM () '(satisfies iabsm-p))
|
||||||
|
|
||||||
(DEFSTRUCT (ABSM (:conc-name nil) (:print-function absm-print))
|
(DEFSTRUCT (ABSM (:conc-name nil) (:print-function absm-print))
|
||||||
(dgop #+allegro :type #+allegro dgop)
|
(dgop (:type 'dgop))
|
||||||
(gmsm #+allegro :type #+allegro gmsm))
|
(gmsm (:type 'gmsm)))
|
||||||
|
|
||||||
#|
|
#|
|
||||||
()
|
()
|
||||||
@ -409,10 +410,10 @@
|
|||||||
|
|
||||||
|
|
||||||
(DEFSTRUCT (CRPR (:print-function crpr-print) (:conc-name nil))
|
(DEFSTRUCT (CRPR (:print-function crpr-print) (:conc-name nil))
|
||||||
(dgop1 #+allegro :type #+allegro dgop)
|
(dgop1 (:type 'dgop))
|
||||||
(gmsm1 #+allegro :type #+allegro gmsm)
|
(gmsm1 (:type 'gmsm))
|
||||||
(dgop2 #+allegro :type #+allegro dgop)
|
(dgop2 (:type 'dgop))
|
||||||
(gmsm2 #+allegro :type #+allegro gmsm))
|
(gmsm2 (:type 'gmsm)))
|
||||||
|
|
||||||
;;;;
|
;;;;
|
||||||
;;;; KAN
|
;;;; KAN
|
||||||
@ -496,7 +497,7 @@
|
|||||||
(sb-ext:unlock-package :common-lisp))
|
(sb-ext:unlock-package :common-lisp))
|
||||||
|
|
||||||
(DEFSTRUCT (LOOP (:print-function loop-print))
|
(DEFSTRUCT (LOOP (:print-function loop-print))
|
||||||
(list #+allegro :type #+allegro iloop))
|
(list (:type 'iloop)))
|
||||||
|
|
||||||
#+allegro
|
#+allegro
|
||||||
(eval-when (:compile-toplevel :load-toplevel :execute)
|
(eval-when (:compile-toplevel :load-toplevel :execute)
|
||||||
|
|||||||
@ -132,9 +132,10 @@ degree DEGR."
|
|||||||
((endp mark) (nreverse rslt))
|
((endp mark) (nreverse rslt))
|
||||||
(declare (list rslt mark))))))
|
(declare (list rslt mark))))))
|
||||||
|
|
||||||
#+allegro
|
|
||||||
(setf *print-pretty* nil)
|
(setf *print-pretty* nil)
|
||||||
|
|
||||||
|
|
||||||
(DEFUN CHECK-CMBN (chcm cmbn)
|
(DEFUN CHECK-CMBN (chcm cmbn)
|
||||||
(declare
|
(declare
|
||||||
(type chain-complex chcm)
|
(type chain-complex chcm)
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user