diff --git a/src/cmp/cmpprop.lsp b/src/cmp/cmpprop.lsp index 5ff8faab2..28bb4ae2b 100644 --- a/src/cmp/cmpprop.lsp +++ b/src/cmp/cmpprop.lsp @@ -40,13 +40,13 @@ compute it. This version only handles the simplest cases." (def-type-propagator si::aset (fname obj array &rest indices) (let* ((array-type (c1form-primary-type array)) - (elt-type (or (type-from-array-elt array) t))) + (elt-type (or (type-from-array-elt array-type) t))) (values (list* elt-type array-type (make-list (length indices) :initial-element 'si::index)) elt-type))) (def-type-propagator aref (fname array &rest indices) (let* ((array-type (c1form-primary-type array)) - (elt-type (or (type-from-array-elt array) t))) + (elt-type (or (type-from-array-elt array-type) t))) (values (list* array-type (make-list (length indices) :initial-element 'si::index)) elt-type)))