guicho271828/type-i

Failure to infer types produces a full warning

Opened this issue · 0 comments

(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.