Skip to content
Snippets Groups Projects
Commit ffdb85b4 authored by ram's avatar ram
Browse files

Fixed FIND-LAMBDA-TYPES to notice when the arg count changes.

parent d1f840c5
No related branches found
No related tags found
No related merge requests found
......@@ -689,9 +689,16 @@
what where))))
(frob (function-type-optional type) "optional args")
(frob (function-type-keyp type) "keyword args")
(frob (function-type-rest type) "rest arg")
(try-type-intersections (lambda-vars lambda) (function-type-required type)
where)))
(frob (function-type-rest type) "rest arg"))
(let* ((vars (lambda-vars lambda))
(nvars (length vars))
(req (function-type-required type))
(nreq (length req)))
(unless (= nvars nreq)
(note-lossage
"Definition has ~R arg~:P, but the previous ~A had ~R."
nvars where nreq)
(try-type-intersections vars req where))))
;;; ASSERT-DEFINITION-TYPE -- Interface
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment