Failure to infer types produces a full warning
Opened this issue · 0 comments
no-defun-allowed commented
(from guicho271828/trivia#133)
This library generates a full warning when it fails to infer a type, often when there isn't a type to infer. For example,
CL-USER> (type-i:test-type '(evenp ?))
WARNING: failed to infer the type from test (EVENP ?) !
NIL
NIL
This behaviour is an issue when trying to use a satisfies
pattern in Trivia, as Trivia will attempt to perform type inference, passes on the full warning, and full warnings are considered signs of a bug when submitting code to Quicklisp. Is there a way to not produce a full warning when type inference fails? I'd like to use some predicates that intentionally do not correspond to Common Lisp types, but unconditionally signalling full warnings makes this impossible.