Re: Buglet in environment functions?

Unable to parse email body. Email id is 12900

Re: Buglet in environment functions?

Hi!
  This might be useful in some cases (sometimes)

(defmacro let1 (variable + &body progn)
  "Shortcut for (let ((a b)) . c) or (destructuring-bind a b . c)"
  (if (atom variable)
      `(let ((,variable ,+)) ,@progn)
    `(destructuring-bind ,variable ,+ ,@progn)))

; and also iterate-keywords is used, but you can simply avoid that.

(defun variable-type-or-class (VAR ENV)
  "Returns type of a class of var in env"
  #+:LISPWORKS4.4
  (cond
   ((constantp VAR ENV)
    (class-of var))
   (ENV
    (let1 remote-environment (slot-value env 'lexical::remote-environment)
      (when remote-environment
        (let1 variable-types
            (iter (:for venv in (slot-value remote-environment 'compiler::venv))
              (ignored (struct-to-alist venv))
              (:collect `(,(slot-value venv 'compiler::name)
                          ,(slot-value venv 'type))))
          (cadr (assoc var variable-types))))
      )))
  #+lispworks6
  (cond
   ((constantp var env)
    (class-of var))
   (env
    (let1 venvs (slot-value env 'compiler::venv)
      (when venvs
        (let1 variable-types
            (iter (:for venv in venvs)
              (ignored (struct-to-alist venv))
              (:collect `(,(slot-value venv 'compiler::name)
                          ,(slot-value venv 'type))))
          (cadr (assoc var variable-types))))))
   );cond
  #-(or :LISPWORKS4.4 :lispworks6)
  (when (constantp var env) (class-of var)))

Sometimes it is known to work. Might be wrong in general case though.
Use at your risk.

_______________________________________________
Lisp Hug - the mailing list for LispWorks users
lisp-hug@lispworks.com
http://www.lispworks.com/support/lisp-hug.html