Codebase list cafeobj / dd72785
Prevent crash caused by SBCL compiler's optimization. Toshimi Sawada 5 years ago
1 changed file(s) with 2 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
+2
-2
chaos/primitives/term-utils.lisp less more
202202 ;;; returns the image of variable under sigma.
203203 ;;;
204204 (defmacro variable-image (*_sigma *_variable)
205 `(cdr (assoc ,*_variable ,*_sigma :test #'variable-eq)))
205 `(and ,*_sigma (cdr (assoc ,*_variable ,*_sigma :test #'variable-eq))))
206206
207207 (defmacro variable-image-fast (_*sigma _*variable)
208208 `(cdr (assoc ,_*variable ,_*sigma :test #'eq)))
209209
210210 (defmacro variable-image-slow (_*sigma _*variable)
211 `(cdr (assoc ,_*variable ,_*sigma :test #'variable-equal)))
211 `(and ,_*sigma (cdr (assoc ,_*variable ,_*sigma :test #'variable-equal))))
212212
213213 ;;; SUBSTITUTION-LIST-OF-PAIRS sigma
214214 ;;; returns the list of pair in substitution-