mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-04-21 01:00:38 -07:00
Code Issues Projects Releases Packages Wiki Activity

When finding type errors in in ENFORCE-TYPES, emit a warning

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2010-06-19 16:02:23 +02:00
parent 5a47ccedd3
commit 0ae89e2494
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/cmp/cmptype-prop.lsp
View file

@ -52,8 +52,8 @@
(actual-type (location-primary-type value))
(intersection (type-and actual-type expected-type)))
(unless intersection
(cmperr "The argument ~d of function ~a has type~&~4T~A~&instead of expected~&~4T~A"
i fname actual-type expected-type))
(cmpwarn-stype "The argument ~d of function ~a has type~&~4T~A~&instead of expected~&~4T~A"
i fname actual-type expected-type))
#-new-cmp
(when (zerop (cmp-env-optimization 'safety))
(setf (c1form-type value) intersection))))))))