mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-22 20:42:03 -08:00
Code Issues Projects Releases Packages Wiki Activity

cmpprop: fix repeated required arguments

Browse source 
Signed-off-by: Daniel Kochmański <daniel@turtleware.eu>
This commit is contained in:
Daniel Kochmański 2015-08-17 12:59:43 +02:00
parent 7b3373ece8
commit 6b2b2ac598
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/cmp/cmpprop.lsp
View file

@ -263,9 +263,10 @@ of the occurrences in those lists."
(p1propagate values assumptions))
(p1propagate body assumptions)))
(defun p1setq (c1form assumptions var c1form)
(defun p1setq (c1form assumptions var value-c1form)
(declare (ignore c1form))
(multiple-value-bind (value-type assumptions)
(p1propagate c1form assumptions)
(p1propagate value-c1form assumptions)
(values (type-and (var-type var) (values-type-primary-type value-type))
assumptions)))

5
src/new-cmp/cmpprop.lsp
View file

@ -293,9 +293,10 @@ of the occurrences in those lists."
(defun p1with-stack (c1form assumptions body-form)
(p1propagate body-form assumptions))
(defun p1setq (c1form assumptions var c1form)
(defun p1setq (c1form assumptions var value-c1form)
(declare (ignore c1form))
(multiple-value-bind (value-type assumptions)
(p1propagate c1form assumptions)
(p1propagate value-c1form assumptions)
(let ((type (type-and (var-type var) (values-type-primary-type value-type))))
(values type (p1expand-assumptions var type assumptions)))))