Define interface for OPTIMIZE proclamations

The lack of a default is pretty annoying though.

Code/Basic/compilation-environment.lisp

@@ -15,7 +15,11 @@
    (type-descriptions
     :initarg :type-descriptions
     :reader type-descriptions
-    :initform (make-hash-table :test #'eq))))
+    :initform (make-hash-table :test #'eq))
+   (optimize-description
+    ;; Unfortunately there's really nothing we can sensibly use as a default here.
+    :initarg :optimize-description
+    :accessor optimize-description)))
 
 (defmethod sys:evaluation-environment (client (env compilation-environment))
   (declare (ignore client))
@@ -65,3 +69,11 @@
      symbol)
   (setf (gethash symbol (type-descriptions env))
         description))
+
+(defmethod sys:optimize-description (client (env compilation-environment))
+  (declare (ignore client))
+  (optimize-description env))
+
+(defmethod (setf sys:optimize-description) (new client (env compilation-environment))
+  (declare (ignore client))
+  (setf (optimize-description env) new))

Code/Trucler/trucler.lisp

@@ -53,6 +53,10 @@
       (env:function-description
        client (env:evaluation-environment client environment) name)))
 
+(defmethod trucler:describe-optimize
+    (client (environment env:compilation-environment))
+  (env:optimize-description client environment))
+
 (defmethod trucler:describe-block
     (client (environment env:compilation-environment) name)
   (declare (ignore client name))

Code/clostrum.lisp

@@ -46,6 +46,7 @@
 (define-accessor sys:function-description (client environment function-name))
 (define-accessor sys:variable-description (client environment variable-name))
 (define-accessor sys:type-description (client environment type-name))
+(define-accessor sys:optimize-description (client environment))
 
 ;;; High level API
 

Code/packages.lisp

@@ -24,7 +24,8 @@
   ;; Proclamations
   (:export #:proclamation)
   ;; Compilation environment accessors
-  (:export #:function-description #:variable-description #:type-description))
+  (:export #:function-description #:variable-description
+           #:type-description #:optimize-description))
 
 ;;; High level API.
 (defpackage #:clostrum
@@ -35,8 +36,8 @@
                           #:symbol-plist)
   (:import-from #:clostrum-sys #:type-expander
                 #:function-description #:variable-description
-                #:type-description #:proclamation #:evaluation-environment
-                #:map-all-packages)
+                #:type-description #:optimize-description #:proclamation
+                #:evaluation-environment #:map-all-packages)
   ;; Protocol classes:
   (:export #:run-time-environment #:compilation-environment)
   ;; Protocol functions:
@@ -65,7 +66,8 @@
   (:shadow #:macroexpand-1 #:macroexpand #:constantp)
   (:export #:macroexpand-1 #:macroexpand #:constantp)
   ;; Compilation environment
-  (:export #:function-description #:variable-description #:type-description)
+  (:export #:function-description #:variable-description
+           #:type-description #:optimize-description)
   ;; Condition types:
   (:export #:attempt-to-set-constant-value
            #:attempt-to-define-special-variable-for-existing-constant