cmp: p1fset type propagator returns FUNCTION

Previously the propagator incorrectly returned the type of the function lambda.
This commit is contained in:
Daniel Kochmański 2021-05-12 14:34:53 +02:00
parent e4fca7e8e7
commit 8716c62f6d

View file

@ -25,7 +25,7 @@
(p1propagate form assumptions))
(defun p1fset (c1form assumptions fun fname macro pprint c1forms)
(p1propagate (fun-lambda fun) assumptions))
(values 'function assumptions))
(defun p1propagate (form assumptions)
(unless form