Changeset 11834


Ignore:
Timestamp:
Mar 21, 2009, 12:08:57 AM (10 years ago)
Author:
gz
Message:

Assorted tweaks for declaration checking

Location:
branches/working-0711/ccl
Files:
6 edited

Legend:

Unmodified
Added
Removed
  • branches/working-0711/ccl/compiler/optimizers.lisp

    r11822 r11834  
    20022002
    20032003(defun count-known-format-args (string start end)
    2004   (declare (fixnum start end))
     2004  (declare (fixnum end))
    20052005  (loop with count = 0
    20062006        do (setq start (position #\~ string :start start :end end))
  • branches/working-0711/ccl/level-1/l1-clos-boot.lisp

    r11821 r11834  
    13051305
    13061306(defun find-class (name &optional (errorp t) environment)
     1307  (declare (optimize speed))
    13071308  (let* ((cell (find-class-cell name nil)))
    1308     (declare (optimize speed) (type class-cell cell))
     1309    (declare (type class-cell cell))
    13091310    (or (and cell (class-cell-class cell))
    13101311        (let ((defenv (and environment (definition-environment environment))))
  • branches/working-0711/ccl/level-1/l1-io.lisp

    r11654 r11834  
    988988        (name (symbol-name symbol))
    989989        (package (symbol-package symbol)))
    990     (declare (type simple-string name) (type package package))
     990    (declare (type simple-string name))
    991991    (when (or *print-readably* *print-escape*)
    992992      (cond ((keywordp symbol)
  • branches/working-0711/ccl/lib/macros.lisp

    r11833 r11834  
    191191              (let ((,varsym (car ,lstsym)))
    192192                ,@decls
    193                 ,@forms
     193                (tagbody
     194                   ,@forms)
    194195                (setq ,lstsym (cdr (the list ,lstsym))))
    195196              ,tstlab
  • branches/working-0711/ccl/lib/pprint.lisp

    r10938 r11834  
    443443
    444444(defmacro xp-check-size (FORM ptr min-size entry-size
    445                            &optional (type 'simple-vector))
     445                           &optional (type '(simple-array * (*))))
    446446  `(let ((.old. ,form)
    447447         (.ptr. ,ptr))
  • branches/working-0711/ccl/library/loop.lisp

    r11810 r11834  
    19101910(defun loop-for-arithmetic (var val data-type kwd)
    19111911  (loop-sequencer
    1912     var (loop-check-data-type data-type *loop-real-data-type*) t
     1912    var (loop-check-data-type data-type 'number) t
    19131913    nil nil nil nil nil nil
    19141914    (loop-collect-prepositional-phrases
     
    19701970            (setq key-var (and other-p other-var) val-var variable))
    19711971        (push `(with-hash-table-iterator (,next-fn ,ht-var)) *loop-wrappers*)
    1972         (when (consp key-var)
     1972        (when (or (consp key-var) data-type)
    19731973          (setq post-steps `(,key-var ,(setq key-var (loop-gentemp 'loop-hash-key-temp-))
    19741974                             ,@post-steps))
    19751975          (push `(,key-var nil) bindings))
    1976         (when (consp val-var)
     1976        (when (or (consp val-var) data-type)
    19771977          (setq post-steps `(,val-var ,(setq val-var (loop-gentemp 'loop-hash-val-temp-))
    19781978                             ,@post-steps))
Note: See TracChangeset for help on using the changeset viewer.