| blob | 4279049b379cdb247ae7773beb8ac1feb250db7b |
1 ;;;; Type checking of higher order functions.
2 ;;;;
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
20 :required
22 ;; Count ordinary types without annotations
28 :caller caller
29 :arg-specs arg-specs
30 :result-specs result-specs
31 :deps deps
36 policy))))))
66 value*)
67 when value
68 collect key
69 and
70 collect value))
79 collect
88 nconc
98 args))
100 seen
101 unknown)
114 unknown)))
116 ;;; Turn constant LVARs in keyword arg positions to constants so that
117 ;;; they can be passed to FUN-INFO-CALLABLE-CHECK.
126 args
127 type)))
130 unknown))
134 ;;; The function should accept
135 ;;; (lvar args results &key (unknown-keys boolean) (no-function-conversion boolean) (arg-lvars list-of-lvars))
150 collect arg)
151 else
152 collect arg)
153 results
154 :arg-lvars arg-lvars
155 :unknown-keys unknown
156 options))))
159 do
164 arg-lvars)
167 do
172 ;; Handle #'function, 'function and (lambda (x y))
184 (:declared
186 (:defined
188 asserted-type
194 lvar-type)
202 lvar-type)
210 leaf))
213 defined-type)
222 :returns
227 ;; Don't trust FUNCTION type declarations,
228 ;; they perform no runtime assertions.
232 lvar-type)))
239 #-sb-xc-host
243 value))))
254 lvar-type)
259 defined-here)
261 lvar-type
267 lvar-type)))
269 lvar-type))))
276 (multiple-value-bind (type fun-name leaf asserted) (node-fun-type use defined-here asserted-type)
278 ;; save the cast type
280 type)))
282 int
283 lvar-type)
284 fun-name leaf asserted)))
300 soft
301 hard))
309 test-not
321 test-not
327 combination-name))))))
339 elt-type)))
355 value-nth)
356 deps)))
359 nil)
363 nil)
397 type))
403 type)))
408 type)))))
422 ;;; Return MIN, MAX, whether it contaions &optional/&key/&rest
429 (+ min
435 ;;; Should have enough types for N
446 repeat n
451 condition-type
458 t)
472 nil)
476 "The function ~S is called~@[ by ~S~] with ~R argument~:P, but wants exactly ~R."
478 arg-count min)))
481 "The function ~S is called~@[ by ~S~] with ~R argument~:P, but wants at least ~R."
483 arg-count min))
485 nil)
488 "The function ~S called~@[ by ~S~] with ~R argument~:P, but wants at most ~R."
490 arg-count max)))
496 "The function ~s is called with odd number of keyword arguments."
502 ;; TODO: what if all destinations can disable arg count checking.
507 leaf))
518 ;;; This can provide better errors and better handle OR types than a
519 ;;; simple type intersection.
531 ;; If the destination is a combination-fun that means the function
532 ;; is called here and not passed somewhere else, there's no longer a
533 ;; need to check the function type, the arguments to the call will
534 ;; do the same job.
542 leaf
543 'simple-style-warning
554 type
555 arg-count
556 condition
557 nil
558 name)
564 ;; Need to check each OR seperately, a UNION could
565 ;; intersect with the function parameters
569 or-part)
573 spec))))
575 current-spec)
578 :format-control
579 "The function ~S is called by ~S with ~S but it accepts ~S."
580 :format-arguments
582 name
583 caller
588 for param-type in param-types
599 :format-control
600 "The function ~S called by ~S returns ~S but ~S is expected"
601 :format-arguments
603 name
604 caller
607 lvar)
608 t)
615 leaf
616 'type-style-warning
625 :format-control
626 "~@<MULTIPLE-VALUE-CALL calls ~a with with at least ~R ~
627 values when it expects at most ~R.~@:>"
629 max-accepted))))
636 (%compile-time-type-error-warn annotation