From 6b2b2ac5982ca396ad09c57ebf043941700155e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= Date: Mon, 17 Aug 2015 12:59:43 +0200 Subject: [PATCH] cmpprop: fix repeated required arguments MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Daniel Kochmański --- src/cmp/cmpprop.lsp | 5 +++-- src/new-cmp/cmpprop.lsp | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/cmp/cmpprop.lsp b/src/cmp/cmpprop.lsp index f2a6f8a16..17bf4ea44 100644 --- a/src/cmp/cmpprop.lsp +++ b/src/cmp/cmpprop.lsp @@ -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))) diff --git a/src/new-cmp/cmpprop.lsp b/src/new-cmp/cmpprop.lsp index c71fe88f4..ac1c05d45 100644 --- a/src/new-cmp/cmpprop.lsp +++ b/src/new-cmp/cmpprop.lsp @@ -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)))))