Changes between Version 8 and Version 9 of DeclareOptimize


Ignore:
Timestamp:
Jun 9, 2009, 2:31:55 PM (11 years ago)
Author:
gz
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DeclareOptimize

    v8 v9  
    8484   code, but code is still safe ("trust, but verify") unless
    8585   `POLICY.INHIBIT-SAFETY-CHECKING` suggests otherwise.
     86 * `POLICY.DECLARATIONS-TYPECHECK` controls whether type-declarations
     87   are checked at runtime.  It is true by default if `SAFETY` is 3 or
     88   `SPEED` is less than `SAFETY`, i.e. the opposite of the
     89   `POLICY.TRUST-DECLARATIONS` default.  If it is true, the compiler
     90   will compile THE forms as runtime typechecks, and will also
     91   generate typechecks whenever variables of declared types are bound
     92   or setq.
    8693
    8794With the exception of cases involving `FIXNUM` and `LIST` declarations,