cmp: treat compilation-speed as a separate optimization option

Policy api works now with compilation speed (although we have no policies for
compilation-speed currently). Supersedes !241.
This commit is contained in:
Daniel Kochmański 2023-02-21 14:38:50 +01:00
parent dae023d2af
commit 7f5eb56055

View file

@ -47,7 +47,7 @@
(SAFETY (setq *safety* (second x)))
(SPACE (setq *space* (second x)))
(SPEED (setq *speed* (second x)))
(COMPILATION-SPEED (setq *speed* (- 3 (second x))))
(COMPILATION-SPEED (setq *compilation-speed* (second x)))
(t (warn "The OPTIMIZE quality ~s is unknown." (car x)))))))
(cl:TYPE
(if (consp (cdr decl))